Tomás Jasek

According to our database, Tomás Jasek authored at least 3 papers between 2020 and 2021.

Collaborative distances:

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

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

Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Symbiotic 7: Integration of Predator and More - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020