Edward Zulkoski

13 papers A* 2A 4C 2Misc 1Journal 3
YearRankTypeTitle / Venue / Authors
2025 C conf
Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method.
ICBC
Morena Barboni, Filippo Lampa, Andrea Morichetta, Andrea Polini, Edward Zulkoski
2025 A conf
PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization.
EASE
Mohamed Salah Bouafif, Mohammad Hamdaqa, Edward Zulkoski
2025 J jnl
PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization.
CoRR
Mohamed Salah Bouafif, Mohammad Hamdaqa, Edward Zulkoski
2024 C conf
Enhanced mutation testing of smart contracts in support of code inspection.
ICBC
Sebastian Banescu, Morena Barboni, Andrea Morichetta, Andrea Polini, Edward Zulkoski
2024 Misc conf
Mutation Testing of Smart Contracts As a Service.
QUATIC
Morena Barboni, Andrea Morichetta, Andrea Polini, Sebastian Banescu, Edward Zulkoski
2018 A conf
Learning-Sensitive Backdoors with Restarts.
CP
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2018 A conf
The Effect of Structural Measures and Merges on SAT Solver Performance.
CP
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2018 — —
Understanding and Enhancing CDCL-based SAT Solvers.
Edward Zulkoski
2017 J jnl
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
J. Autom. Reason.
Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
2017 J jnl
Relating Complexity-theoretic Parameters with SAT Solver Performance.
CoRR
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh
2016 A* conf
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
IJCAI
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
2015 A conf
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
CADE
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
2014 A* conf
Scaling exact multi-objective combinatorial optimization by parallelization.
ASE
Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee