Edward Zulkoski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EASE | PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization. | Mohamed Salah Bouafif, Mohammad Hamdaqa, Edward Zulkoski |
| 2024 | QUATIC | Mutation Testing of Smart Contracts As a Service. | Morena Barboni, Andrea Morichetta, Andrea Polini, Sebastian Banescu, Edward Zulkoski |
| 2018 | CP | The Effect of Structural Measures and Merges on SAT Solver Performance. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | CP | Learning-Sensitive Backdoors with Restarts. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2016 | IJCAI | MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. | Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki |
| 2015 | CADE | MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. | Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki |