Krystof Sykora

According to our database, Krystof Sykora authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Code Coverage Aware Test Generation Using Constraint Solver.

Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020