Mike Whalen

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 7

Top Topics

Boolean Satisfiability

Stochastic Local Search

Top Venues

Autom. Softw. Eng.

Publications

Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR (2024)
Soha Hussein, Stephen McCamant, Mike Whalen
Generator-Based Fuzzers with Type-Based Targeted Mutation. CoRR (2024)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) (2024)
Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. AST (2023)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker. CAV (2) (2018)
Lars Grunske, Mike Whalen
Guest editorial: advanced topics in automated software engineering. Autom. Softw. Eng. 25 (4) (2018)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker. CoRR (2017)
John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen
Requirements Analysis of a Quad-Redundant Flight Control System. CoRR (2015)
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
Resolute: an assurance case language for architecture models. HILT (2014)
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
Resolute: An Assurance Case Language for Architecture Models. CoRR (2014)
Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen
Incremental Verification with Mode Variable Invariants in State Machines. NASA Formal Methods (2012)
Jimin Gao, Mike Whalen, Eric Van Wyk
Extending Lustre with Timeout Automata. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)