Michael Simácek

According to our database, Michael Simácek authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Symbiotic 6: generating test cases by slicing and symbolic execution.

Marek Chalupa, Martina Vitovská, Tomás Jasek, Michael Simácek, Jan Strejcek

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