| 2025 | AAAI | Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. | Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng |
| 2025 | CAV | NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. | Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer |
| 2025 | ICSE | TOGLL: Correct and Strong Test Oracle Generation with LLMS. | Soneya Binta Hossain, Matthew B. Dwyer |
| 2025 | ICSE | Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA. | Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2024 | ICRA | Specifying and Monitoring Safe Driving Properties with Scene Graphs. | Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2024 | ICSE | CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. | Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa |
| 2024 | ICSE | S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. | Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2024 | TACAS | Training for Verification: Increasing Neuron Stability to Scale DNN Verification. | Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer |
| 2023 | ICRA | A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. | Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2023 | ICSE | Measuring and Mitigating Gaps in Structural Testing. | Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong |
| 2023 | ICSE | Sibyl: Improving Software Engineering Tools with SMT Selection. | Will Leeson, Matthew B. Dwyer, Antonio Filieri |
| 2022 | ICSE | Message from the ICSE 2022 General Chair. | Matthew B. Dwyer |
| 2022 | ICSE | Message from the ICSE 2022 General Chair. | Matthew B. Dwyer |
| 2022 | ICSE | Message from the ICSE 2022 General Chair. | Matthew B. Dwyer |
| 2022 | NAACL | White-box Testing of NLP models with Mask Neuron Coverage. | Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer, Yanjun Qi |
| 2022 | RV | Optimal Finite-State Monitoring of Partial Traces. | Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer |
| 2022 | TACAS | Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). | Will Leeson, Matthew B. Dwyer |
| 2021 | CAV | DNNV: A Framework for Deep Neural Network Verification. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2021 | ICSE | Distribution-Aware Testing of Neural Networks Using Generative Models. | Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa |
| 2021 | ICSE | Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. | Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa |
| 2021 | ICSE | Reducing DNN Properties to Enable Falsification with Adversarial Attacks. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2021 | ICSE | Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2020 | CAV | Systematic Generation of Diverse Benchmarks for DNN Verification. | Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2020 | ISSTA | Feasible and stressful trajectory generation for mobile robots. | Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer |
| 2019 | AAAI | Evaluating Recommender System Stability with Influence-Guided Fuzzing. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum |
| 2019 | ICSE | ALPACA: a large portfolio-based alternating conditional analysis. | Mitchell J. Gerrard, Matthew B. Dwyer |
| 2018 | TACAS | Structurally Defined Conditional Data-Flow Static Analysis. | Elena Sherman, Matthew B. Dwyer |
| 2017 | SC | Towards Self-Verification in Finite Difference Code Generation. | Jan Hckelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland |
| 2016 | ICSE | On the techniques we create, the tools we build, and their misalignments: a study of KLEE. | Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2016 | TACAS | CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). | Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel |
| 2015 | SC | CIVL: the concurrency intermediate verification language. | Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers |
| 2014 | ICSE | Development context driven change awareness and analysis framework. | Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta |
| 2014 | ICSE | A framework to advise tests using tests. | Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2013 | ISSTA | Optimizing monitoring of finite state properties through monitor compaction. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2012 | FASE | Integration Testing of Software Product Lines Using Compositional Symbolic Execution. | Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer |
| 2012 | IROS | Extracting conditional component dependence for distributed robotic systems. | Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2012 | ISSTA | Probabilistic symbolic execution. | Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser |
| 2012 | ISSTA | Compositional load test generation for software pipelines. | Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2011 | OOPSLA | SOS: saving time in dynamic race detection with stationary analysis. | Du Li, Witawas Srisa-an, Matthew B. Dwyer |
| 2011 | RTSS | Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. | Haitao Zhu, Steve Goddard, Matthew B. Dwyer |
| 2011 | RV | Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2010 | CADE | A Slice-Based Decision Procedure for Type-Based Partial Orders. | Elena Sherman, Brady J. Garvin, Matthew B. Dwyer |
| 2010 | ICFEM | Exploiting Partial Success in Applying Automated Formal Methods. | Matthew B. Dwyer |
| 2010 | MSWIM | Simulating and testing mobile wireless sensor networks. | David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Felipe Chavez-Ramirez |
| 2010 | OOPSLA | Monitor optimization via stutter-equivalent loop transformation. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2010 | RTAS | Selecting Server Parameters for Predictable Runtime Monitoring. | Haitao Zhu, Steve Goddard, Matthew B. Dwyer |
| 2010 | RV | Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? | Matthew B. Dwyer, Rahul Purandare, Suzette Person |
| 2009 | ECRTS | Predictable Runtime Monitoring. | Haitao Zhu, Matthew B. Dwyer, Steve Goddard |
| 2007 | ICSE | Parallel Randomized State-Space Search. | Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare |
| 2007 | ICSE | Formal Software Analysis Emerging Trends in Software Model Checking. | Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser |
| 2007 | ICSE | Adaptive Online Program Analysis. | Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum |
| 2007 | ICSE | Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. | Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel |
| 2007 | ISSTA | Interaction testing of highly-configurable systems in the presence of constraints. | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
| 2006 | ISSTA | Coverage and adequacy in software product line testing. | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
| 2006 | TACAS | Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine |
| 2005 | CAV | Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby |
| 2005 | ECOOP | Extending JML for Modular Specification and Verification of Multi-threaded Programs. | Edwin Rodrguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
| 2005 | ESOP | A New Foundation for Control-Dependence and Slicing for Modern Program Structures. | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff |
| 2004 | FASE | Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. | Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh |
| 2004 | ISoLA | A Case Study in Domain-Customized Model Checking for Real-Time Component Software. | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
| 2004 | ISoLA | A Case Study in Domain-customized Model Checking for Real-time Component Software. | Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer |
| 2004 | TACAS | SyncGen: An Aspect-Oriented Framework for Synchronization. | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
| 2004 | TACAS | Checking Strong Specifications Using an Extensible Software Model Checking Framework. | Robby, Edwin Rodrguez, Matthew B. Dwyer, John Hatcliff |
| 2004 | VMCAI | Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. | John Hatcliff, Robby, Matthew B. Dwyer |
| 2003 | EMSOFT | Space Reductions for Model Checking Quasi-Cyclic Systems. | Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff |
| 2003 | ICSE | Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. | John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath |
| 2003 | OOPSLA | Cadena: enabling CCM-based application development in Eclipse. | Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh |
| 2003 | PEPM | Slicing and partial evaluation of CORBA component model designs for avionics system. | John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby |
| 2002 | ICSE | Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
| 2001 | CONCUR | Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. | John Hatcliff, Matthew B. Dwyer |
| 2001 | ICSE | Tool-Supported Program Abstraction for Finite-State Verification. | Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser |
| 2001 | TACAS | Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
| 2000 | ICSE | Bandera: extracting finite-state models from Java source code. | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng |
| 2000 | ICSE | Bandera: a source-level interface for model checking Java programs. | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
| 1999 | ICSE | Patterns in Property Specifications for Finite-State Verification. | Matthew B. Dwyer, George S. Avrunin, James C. Corbett |
| 1999 | PEPM | Slicing Software for Model Construction. | Matthew B. Dwyer, John Hatcliff |
| 1999 | SAS | A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. | John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng |
| 1997 | ICSE | Verification of Concurrent Software with FLAVERS. | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer |
| 1997 | PDPTA | Object-Oriented Coordination Abstractions for Parallel Software. | Matthew B. Dwyer, Virgil Wallentine |
| 1996 | ICSE | A Flexible Architecture for Building Data Flow Analyzers. | Matthew B. Dwyer, Lori A. Clarke |
| 1995 | ICSE | A Compact Petri Net Representation for Concurrent Programs. | Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies |