Optimizing Alloy for Multi-objective Software Product Line Configuration. - Ed Zulkoski; Chris Kleynhans; Ming-Ho Yee; Derek Rayside; Krzysztof Czarnecki 001 (ABZ, 2014)

Scaling exact multi-objective combinatorial optimization by parallelization. - Jianmei Guo; Edward Zulkoski; Rafael Olaechea; Derek Rayside; Krzysztof Czarnecki 001; Sven Apel; Joanne M. Atlee (ASE, 2014)

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. - Jia Hui Liang; Vijay Ganesh 001; Ed Zulkoski; Atulan Zaman; Krzysztof Czarnecki 001 (Haifa Verification Conference, 2015)

MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. - Edward Zulkoski; Vijay Ganesh 001; Krzysztof Czarnecki 001 (IJCAI, 2016)

Relating Complexity-theoretic Parameters with SAT Solver Performance. - Edward Zulkoski; Ruben Martins; Christoph M. Wintersteiger; Robert Robere; Jia Liang; Krzysztof Czarnecki 001; Vijay Ganesh 001 (CoRR, 2017)

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. - Edward Zulkoski; Curtis Bright; Albert Heinle; Ilias S. Kotsireas; Krzysztof Czarnecki 001; Vijay Ganesh 001 (J. Autom. Reason., 2017)

The Effect of Structural Measures and Merges on SAT Solver Performance. - Edward Zulkoski; Ruben Martins; Christoph M. Wintersteiger; Jia Hui Liang; Krzysztof Czarnecki 001; Vijay Ganesh 001 (CP, 2018)

Learning-Sensitive Backdoors with Restarts. - Edward Zulkoski; Ruben Martins; Christoph M. Wintersteiger; Robert Robere; Jia Hui Liang; Krzysztof Czarnecki 001; Vijay Ganesh 001 (CP, 2018)

Understanding and Enhancing CDCL-based SAT Solvers. - Edward Zulkoski (2018)

Enhanced mutation testing of smart contracts in support of code inspection. - Sebastian Banescu; Morena Barboni; Andrea Morichetta 001; Andrea Polini; Edward Zulkoski (ICBC, 2024)

Mutation Testing of Smart Contracts As a Service. - Morena Barboni; Andrea Morichetta 001; Andrea Polini; Sebastian Banescu; Edward Zulkoski (QUATIC, 2024)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter. - Mohamed Salah Bouafif; Chen Zheng; Ilham Ahmed Qasse; Ed Zulkoski; Mohammad Hamdaqa; Foutse Khomh (CoRR, 2024)

Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method. - Morena Barboni; Filippo Lampa; Andrea Morichetta 001; Andrea Polini; Edward Zulkoski (ICBC, 2025)

PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization. - Mohamed Salah Bouafif; Mohammad Hamdaqa; Edward Zulkoski (CoRR, 2025)