Benjamin Kushigian

According to our database, Benjamin Kushigian authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs.

Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts.

Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

FPGA Technology Mapping Using Sketch-Guided Program Synthesis.

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Generate Compilers from Hardware Models!

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock

CoRR, 2023

2019

Medusa: Mutant Equivalence Detection Using Satisfiability Analysis.

Benjamin Kushigian, Amit Rawat, René Just

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019