Grzegorz Anielak

According to our database, Grzegorz Anielak authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Incremental test case generation using bounded model checking: an application to automatic rating.

Grzegorz Anielak, Grzegorz Jakacki, Slawomir Lasota

Int. J. Softw. Tools Technol. Transf., 2015