Mike Whalen

13 papers C 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
TACAS (1)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2024 J jnl
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
CoRR
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2024 J jnl
Generator-Based Fuzzers with Type-Based Targeted Mutation.
CoRR
Soha Hussein, Stephen McCamant, Mike Whalen
2023 C conf
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.
AST
Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen
2019 — ed.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2019, Montreal, QC, Canada, May 25-31, 2019
ICSE (SEIP)
Helen Sharp, Mike Whalen
2018 J jnl
Guest editorial: advanced topics in automated software engineering.
Autom. Softw. Eng.
Lars Grunske, Mike Whalen
2018 — conf
The JKind Model Checker.
CAV (2)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
2017 J jnl
The JKind Model Checker.
CoRR
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
2015 J jnl
Requirements Analysis of a Quad-Redundant Flight Control System.
CoRR
John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen
2014 J jnl
Resolute: An Assurance Case Language for Architecture Models.
CoRR
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
2014 — conf
Resolute: an assurance case language for architecture models.
HILT
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
2012 — conf
Incremental Verification with Mode Variable Invariants in State Machines.
NASA Formal Methods
Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen
2007 — conf
Extending Lustre with Timeout Automata.
SLA++P
Jimin Gao, Mike Whalen, Eric Van Wyk