Grzegorz Jakacki

Publication Activity (10 Years)

Years Active: 2001-2015
Publications (10 Years): 0

Top Topics

Linear Temporal Logic

Test Case Generation

Bounded Model Checking

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Grzegorz Anielak, Grzegorz Jakacki, Slawomir Lasota
Incremental test case generation using bounded model checking: an application to automatic rating. Int. J. Softw. Tools Technol. Transf. 17 (3) (2015)
Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer
Dynamic Assertions Using TXP. Electron. Notes Theor. Comput. Sci. 55 (2) (2001)