Grzegorz Jakacki

According to our database1, Grzegorz Jakacki authored at least 2 papers between 2001 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Incremental test case generation using bounded model checking: an application to automatic rating.
Int. J. Softw. Tools Technol. Transf., 2015

2001
Dynamic Assertions Using TXP.
Proceedings of the Workshop on Runtime Verification, 2001


  Loading...