Sotabase

Career

· PhD, Computer Science, University of Washington2019–2025
· PhD Student, University of Washington (Current)2019–
· Master of Science - MS, Computer Science, University of Massachusetts Amherst2017–2019

Publications (5)

Medusa: Mutant Equivalence Detection Using Satisfiability Analysis
International Conference on Software Testing, Verification and Validation Workshops · 2019
8
cited
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
International Symposium on Software Testing and Analysis · 2024
7
cited
FPGA Technology Mapping Using Sketch-Guided Program Synthesis
International Conference on Architectural Support for Programming Languages and Operating Systems · 2024
5
cited
Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts
International Conference on Information Control Systems & Technologies · 2024
1
cited
Generate Compilers from Hardware Models!
arXiv.org · 2023
Sotabase
Benjamin Kushigian | Researcher Profile | Sotabase | Sotabase