Login / Signup
Krystof Sykora
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Sat Solvers
Real Numbers
Code Coverage
Constraint Solver
Top Venues
CoRR
SEFM
</>
Publications
</>
Krystof Sykora
,
Bestoun S. Ahmed
,
Miroslav Bures
Code Coverage Aware Test Generation Using Constraint Solver.
SEFM
(2020)
Krystof Sykora
,
Bestoun S. Ahmed
,
Miroslav Bures
Code Coverage Aware Test Generation Using Constraint Solver.
CoRR
(2020)