Data Flow Analysis for Verifying Properties of Concurrent Programs. - Matthew B. Dwyer; Lori A. Clarke (SIGSOFT FSE, 1994)

A Compact Petri Net Representation for Concurrent Programs. - Matthew B. Dwyer; Lori A. Clarke; Kari A. Nies (ICSE, 1995)

A Flexible Architecture for Building Data Flow Analyzers. - Matthew B. Dwyer; Lori A. Clarke (ICSE, 1996)

An Application-Independent Concurrency Skeleton in Ada 95. - Matthew B. Dwyer; Matthew J. Craig; Eric Runquist (TRI-Ada, 1996)

A Compact Petri Net Representation and Its Implications for Analysis. - Matthew B. Dwyer; Lori A. Clarke (IEEE Trans. Software Eng., 1996)

Model Checking Graphical User Interfaces Using Abstractions. - Matthew B. Dwyer; Vicki Carr; Laura Hines (ESEC / SIGSOFT FSE, 1997)

Verification of Concurrent Software with FLAVERS. - Gleb Naumovich; Lori A. Clarke; Leon J. Osterweil; Matthew B. Dwyer (ICSE, 1997)

Modular Flow Analysis for Concurrent Software. - Matthew B. Dwyer (ASE, 1997)

Object-Oriented Coordination Abstractions for Parallel Software. - Matthew B. Dwyer; Virgil Wallentine (PDPTA, 1997)

A Framework for Parallel Adaptive Grid Simulations. - Matthew B. Dwyer; Virgil Wallentine (Concurr. Pract. Exp., 1997)

Model Checking Generic Container Implementations. - Matthew B. Dwyer; Corina S. Pasareanu (Generic Programming, 1998)

Property specification patterns for finite-state verification. - Matthew B. Dwyer; George S. Avrunin; James C. Corbett (FMSP, 1998)

Staging Static Analyses Using Abstraction-Based Program Specialization. - John Hatcliff; Matthew B. Dwyer; Shawn Laubach (PLILP/ALP, 1998)

Filter-Based Model Checking of Partial Systems. - Matthew B. Dwyer; Corina S. Pasareanu (SIGSOFT FSE, 1998)

Using Partial Evaluation to Enable Verification of Concurrent Software. - Matthew B. Dwyer; John Hatcliff; Muhammad Nanda (ACM Comput. Surv., 1998)

Patterns in Property Specifications for Finite-State Verification. - Matthew B. Dwyer; George S. Avrunin; James C. Corbett (ICSE, 1999)

Slicing Software for Model Construction. - Matthew B. Dwyer; John Hatcliff (PEPM, 1999)

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 (SAS, 1999)

Assume-Guarantee Model Checking of Software: A Comparative Case Study. - Corina S. Pasareanu; Matthew B. Dwyer; Michael Huth 001 (SPIN, 1999)

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 (ICSE, 2000)

Bandera: a source-level interface for model checking Java programs. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Robby (ICSE, 2000)

A Language Framework for Expressing Checkable Properties of Dynamic Software. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Robby (SPIN, 2000)

Slicing Software for Model Construction. - John Hatcliff; Matthew B. Dwyer; Hongjun Zheng (High. Order Symb. Comput., 2000)

Adapting programming languages technologies for finite-state verification. - Matthew B. Dwyer; John Hatcliff (ACM SIGSOFT Softw. Eng. Notes, 2000)

Benchmarking Finite-State Verifiers. - George S. Avrunin; James C. Corbett; Matthew B. Dwyer (Int. J. Softw. Tools Technol. Transf., 2000)

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. - John Hatcliff; Matthew B. Dwyer (CONCUR, 2001)

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 (ICSE, 2001)

Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. - Corina S. Pasareanu; Matthew B. Dwyer; Willem Visser (TACAS, 2001)

Foundations of the Bandera Abstraction Tools. - John Hatcliff; Matthew B. Dwyer; Corina S. Pasareanu; Robby (The Essence of Computation, 2002)

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Georg Jung; Robby; Gurdip Singh (FMCO, 2002)

Software Model Checking: The Bandera approach. - Matthew B. Dwyer (FMOODS, 2002)

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Masaaki Mizuno (ICSE, 2002)

Expressing checkable properties of dynamic systems: the Bandera Specification Language. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Robby (Int. J. Softw. Tools Technol. Transf., 2002)

Space Reductions for Model Checking Quasi-Cyclic Systems. - Matthew B. Dwyer; Robby; Xianghua Deng; John Hatcliff (EMSOFT, 2003)

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. - John Hatcliff; Xianghua Deng; Matthew B. Dwyer; Georg Jung; Venkatesh Prasad Ranganath (ICSE, 2003)

Automated Environment Generation for Software Model Checking. - Oksana Tkachuk; Matthew B. Dwyer; Corina S. Pasareanu (ASE, 2003)

Cadena: enabling CCM-based application development in Eclipse. - Venkatesh Prasad Ranganath; Adam Childs; Jesse Greenwald; Matthew B. Dwyer; John Hatcliff; Gurdip Singh (eTX, 2003)

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 (PEPM, 2003)

Bogor: an extensible and highly-modular software model checking framework. - Robby; Matthew B. Dwyer; John Hatcliff (ESEC / SIGSOFT FSE, 2003)

Adapting side effects analysis for modular program model checking. - Oksana Tkachuk; Matthew B. Dwyer (ESEC / SIGSOFT FSE, 2003)

Space-Reduction Strategies for Model Checking Dynamic Software. - Robby; Matthew B. Dwyer; John Hatcliff; Radu Iosif (SoftMC@CAV, 2003)

Finding feasible abstract counter-examples. - Corina S. Pasareanu; Matthew B. Dwyer; Willem Visser (Int. J. Softw. Tools Technol. Transf., 2003)

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. - Edwin Rodríguez; Matthew B. Dwyer; John Hatcliff; Robby (CASSIS, 2004)

Supporting model checking education using BOGOR/Eclipse. - Matthew B. Dwyer; John Hatcliff; Matthew Hoosier (eTX, 2004)

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 (FASE, 2004)

A Case Study in Domain-customized Model Checking for Real-time Component Software. - Matthew Hoosier; John Hatcliff; Robby; Matthew B. Dwyer (ISoLA (Preliminary proceedings), 2004)

Analyzing Interaction Orderings with Model Checking. - Matthew B. Dwyer; Robby; Oksana Tkachuk; Willem Visser (ASE, 2004)

SyncGen: An Aspect-Oriented Framework for Synchronization. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Masaaki Mizuno (TACAS, 2004)

Checking Strong Specifications Using an Extensible Software Model Checking Framework. - Robby; Edwin Rodríguez; Matthew B. Dwyer; John Hatcliff (TACAS, 2004)

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. - John Hatcliff; Robby; Matthew B. Dwyer (VMCAI, 2004)

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. - Matthew B. Dwyer; John Hatcliff; Robby; Venkatesh Prasad Ranganath (Formal Methods Syst. Des., 2004)

Introductory paper. - Matthew B. Dwyer; Stefan Leue (Int. J. Softw. Tools Technol. Transf., 2004)

Flow analysis for verifying properties of concurrent software systems. - Matthew B. Dwyer; Lori A. Clarke; Jamieson M. Cobleigh; Gleb Naumovich (ACM Trans. Softw. Eng. Methodol., 2004)

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. - Matthew B. Dwyer; John Hatcliff; Matthew Hoosier; Robby (CAV, 2005)

Extending JML for Modular Specification and Verification of Multi-threaded Programs. - Edwin Rodríguez; Matthew B. Dwyer; Cormac Flanagan; John Hatcliff; Gary T. Leavens; Robby (ECOOP, 2005)

Translating Java for Multiple Model Checkers: The Bandera Back-End. - Radu Iosif; Matthew B. Dwyer; John Hatcliff (Formal Methods Syst. Des., 2005)

Coverage and adequacy in software product line testing. - Myra B. Cohen; Matthew B. Dwyer; Jiangfan Shi (ROSATEA, 2006)

Domain-specific Model Checking Using The Bogor Framework. - Robby; Matthew B. Dwyer; John Hatcliff (ASE, 2006)

Controlling factors in evaluating path-sensitive error detection techniques. - Matthew B. Dwyer; Suzette Person; Sebastian G. Elbaum (SIGSOFT FSE, 2006)

Carving differential unit test cases from system test cases. - Sebastian G. Elbaum; Hui Nee Chin; Matthew B. Dwyer; Jonathan Dokulil (SIGSOFT FSE, 2006)

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 (TACAS, 2006)

Bogor: A Flexible Framework for Creating Software Model Checkers. - Robby; Matthew B. Dwyer; John Hatcliff (TAIC PART, 2006)

Checking JML specifications using an extensible software model checking framework. - Robby; Edwin Rodríguez; Matthew B. Dwyer; John Hatcliff (Int. J. Softw. Tools Technol. Transf., 2006)

Parallel Randomized State-Space Search. - Matthew B. Dwyer; Sebastian G. Elbaum; Suzette Person; Rahul Purandare (ICSE, 2007)

Formal Software Analysis Emerging Trends in Software Model Checking. - Matthew B. Dwyer; John Hatcliff; Robby; Corina S. Pasareanu; Willem Visser (FOSE, 2007)

Adaptive Online Program Analysis. - Matthew B. Dwyer; Alex Kinneer; Sebastian G. Elbaum (ICSE, 2007)

Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. - Alex Kinneer; Matthew B. Dwyer; Gregg Rothermel (ICSE Companion, 2007)

Interaction testing of highly-configurable systems in the presence of constraints. - Myra B. Cohen; Matthew B. Dwyer; Jiangfan Shi (ISSTA, 2007)

Reducing irrelevant trace variations. - Madeline Diep; Sebastian G. Elbaum; Matthew B. Dwyer (ASE, 2007)

Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. - Matthew B. Dwyer; Rahul Purandare (ASE, 2007)

A new foundation for control dependence and slicing for modern program structures. - Venkatesh Prasad Ranganath; Torben Amtoft; Anindya Banerjee 001; John Hatcliff; Matthew B. Dwyer (ACM Trans. Program. Lang. Syst., 2007)

Trace Normalization. - Madeline Diep; Sebastian G. Elbaum; Matthew Dwyer 001 (ISSRE, 2008)

Reducing the Cost of Path Property Monitoring Through Sampling. - Matthew B. Dwyer; Madeline Diep; Sebastian G. Elbaum (ASE, 2008)

Increasing Test Granularity by Aggregating Unit Tests. - Matthew Jorde; Sebastian G. Elbaum; Matthew B. Dwyer (ASE, 2008)

Differential symbolic execution. - Suzette Person; Matthew B. Dwyer; Sebastian G. Elbaum; Corina S. Pasareanu (SIGSOFT FSE, 2008)

Residual Checking of Safety Properties. - Matthew B. Dwyer; Rahul Purandare (SPIN, 2008)

Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach. - Myra B. Cohen; Matthew B. Dwyer; Jiangfan Shi (IEEE Trans. Software Eng., 2008)

Predictable Runtime Monitoring. - Haitao Zhu; Matthew B. Dwyer; Steve Goddard (ECRTS, 2009)

Regression model checking. - Guowei Yang 001; Matthew B. Dwyer; Gregg Rothermel (ICSM, 2009)

Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. - Suzette Person; Matthew B. Dwyer (NASA Formal Methods, 2009)

Saturation-based testing of concurrent programs. - Elena Sherman; Matthew B. Dwyer; Sebastian G. Elbaum (ESEC/SIGSOFT FSE, 2009)

Carving and Replaying Differential Unit Test Cases from System Test Cases. - Sebastian G. Elbaum; Hui Nee Chin; Matthew B. Dwyer; Matthew Jorde (IEEE Trans. Software Eng., 2009)

A Slice-Based Decision Procedure for Type-Based Partial Orders. - Elena Sherman; Brady J. Garvin; Matthew B. Dwyer (IJCAR, 2010)

Exploiting Partial Success in Applying Automated Formal Methods. - Matthew B. Dwyer (ICFEM, 2010)

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 (MSWiM, 2010)

Monitor optimization via stutter-equivalent loop transformation. - Rahul Purandare; Matthew B. Dwyer; Sebastian G. Elbaum (OOPSLA, 2010)

Selecting Server Parameters for Predictable Runtime Monitoring. - Haitao Zhu; Steve Goddard; Matthew B. Dwyer (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? - Matthew B. Dwyer; Rahul Purandare; Suzette Person (RV, 2010)

Unifying verification and validation techniques: relating behavior and properties through partial evidence. - Matthew B. Dwyer; Sebastian G. Elbaum (FoSER, 2010)

Environment generation for validating event-driven software using model checking. - Oksana Tkachuk; Matthew B. Dwyer (IET Softw., 2010)

Unifying testing and analysis through behavioral coverage. - Matthew B. Dwyer (ASE, 2011)

Automatic generation of load tests. - Pingyu Zhang; Sebastian G. Elbaum; Matthew B. Dwyer (ASE, 2011)

SOS: saving time in dynamic race detection with stationary analysis. - Du Li; Witawas Srisa-an; Matthew B. Dwyer (OOPSLA, 2011)

Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. - Haitao Zhu; Steve Goddard; Matthew B. Dwyer (RTSS, 2011)

Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. - Rahul Purandare; Matthew B. Dwyer; Sebastian G. Elbaum (RV, 2011)

Using feature locality: can we leverage history to avoid failures during reconfiguration? - Brady J. Garvin; Myra B. Cohen; Matthew B. Dwyer (ASAS@ESEC/FSE, 2011)

Evaluating improvements to a meta-heuristic search for constrained interaction testing. - Brady J. Garvin; Myra B. Cohen; Matthew B. Dwyer (Empir. Softw. Eng., 2011)

Lattice-Based Sampling for Path Property Monitoring. - Madeline Diep; Matthew B. Dwyer; Sebastian G. Elbaum (ACM Trans. Softw. Eng. Methodol., 2011)

Integration Testing of Software Product Lines Using Compositional Symbolic Execution. - Jiangfan Shi; Myra B. Cohen; Matthew B. Dwyer (FASE, 2012)

Sensing through the continent: towards monitoring migratory birds using cellular sensor networks. - David J. Anthony; William P. Bennett; Mehmet C. Vuran; Matthew B. Dwyer; Sebastian G. Elbaum; Anne Lacy; Mike Engels; Walter Wehtje (IPSN, 2012)

Extracting conditional component dependence for distributed robotic systems. - Rahul Purandare; Javier Darsie; Sebastian G. Elbaum; Matthew B. Dwyer (IROS, 2012)

Probabilistic symbolic execution. - Jaco Geldenhuys; Matthew B. Dwyer; Willem Visser (ISSTA, 2012)

Compositional load test generation for software pipelines. - Pingyu Zhang; Sebastian G. Elbaum; Matthew B. Dwyer (ISSTA, 2012)

Green: reducing, reusing and recycling constraints in program analysis. - Willem Visser; Jaco Geldenhuys; Matthew B. Dwyer (SIGSOFT FSE, 2012)

The hidden models of model checking. - Willem Visser; Matthew B. Dwyer; Michael W. Whalen (Softw. Syst. Model., 2012)

Optimizing monitoring of finite state properties through monitor compaction. - Rahul Purandare; Matthew B. Dwyer; Sebastian G. Elbaum (ISSTA, 2013)

Failure Avoidance in Configurable Systems through Feature Locality. - Brady J. Garvin; Myra B. Cohen; Matthew B. Dwyer (Assurances for Self-Adaptive Systems, 2013)

Development context driven change awareness and analysis framework. - Anita Sarma; Joshua Branchaud; Matthew B. Dwyer; Suzette Person; Neha Rungta (ICSE Companion, 2014)

A framework to advise tests using tests. - Yurong Wang; Suzette Person; Sebastian G. Elbaum; Matthew B. Dwyer (ICSE Companion, 2014)

Exact and approximate probabilistic symbolic execution for nondeterministic programs. - Kasper Søe Luckow; Corina S. Pasareanu; Matthew B. Dwyer; Antonio Filieri; Willem Visser (ASE, 2014)

Beyond the rainbow: self-adaptive failure avoidance in configurable systems. - Jacob Swanson; Myra B. Cohen; Matthew B. Dwyer; Brady J. Garvin; Justin W. Firestone (SIGSOFT FSE, 2014)

Safely reducing the cost of unit level symbolic execution through read/write analysis. - Eric F. Rizzi; Matthew B. Dwyer; Sebastian G. Elbaum (ACM SIGSOFT Softw. Eng. Notes, 2014)

Probabilistic Program Analysis. - Matthew B. Dwyer; Antonio Filieri; Jaco Geldenhuys; Mitchell J. Gerrard; Corina S. Pasareanu; Willem Visser (GTTSE, 2015)

Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T). - Elena Sherman; Matthew B. Dwyer (ASE, 2015)

CIVL: Formal Verification of Parallel Programs. - Manchun Zheng; Michael S. Rogers; Ziqing Luo; Matthew B. Dwyer; Stephen F. Siegel (ASE, 2015)

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 (SC, 2015)

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. - Elena Sherman; Brady J. Garvin; Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol., 2015)

State of the Journal Editorial. - Matthew B. Dwyer (IEEE Trans. Software Eng., 2015)

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 (ICSE, 2016)

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 (TACAS, 2016)

Finding Flaws in Natural Language Requirements. - Matthew B. Dwyer (Computer, 2016)

Code search with input/output queries: Generalizing, ranking, and assessment. - Kathryn T. Stolee; Sebastian G. Elbaum; Matthew B. Dwyer (J. Syst. Softw., 2016)

Connecting and Serving the Software Engineering Community. - Matthew B. Dwyer; Eric Bodden; Brian Fitzgerald 001; Miryung Kim; Sunghun Kim 001; Amy J. Ko; Emilia Mendes; Raffaela Mirandola; Ana Moreira 001; Forrest Shull; Stephen F. Siegel; Tao Xie 001; et al. (IEEE Trans. Software Eng., 2016)

Editorial: Journal-First Publication for the Software Engineering Community. - Matthew B. Dwyer; David S. Rosenblum (IEEE Trans. Software Eng., 2016)

Comprehensive failure characterization. - Mitchell J. Gerrard; Matthew B. Dwyer (ASE, 2017)

SymInfer: inferring program invariants using symbolic states. - ThanhVu Nguyen; Matthew B. Dwyer; Willem Visser (ASE, 2017)

Towards Self-Verification in Finite Difference Code Generation. - Jan Hückelheim; Ziqing Luo; Fabio Luporini; Navjot Kukreja; Michael Lange 001; Gerard Gorman; Stephen F. Siegel; Matthew B. Dwyer; Paul D. Hovland (CORRECTNESS@SC, 2017)

Improving Timeliness and Visibility in Publishing Software Engineering Research. - Matthew B. Dwyer (IEEE Trans. Software Eng., 2017)

Structurally Defined Conditional Data-Flow Static Analysis. - Elena Sherman; Matthew B. Dwyer (TACAS (2), 2018)

State of the Journal. - Matthew B. Dwyer (IEEE Trans. Software Eng., 2018)

Evaluating Recommender System Stability with Influence-Guided Fuzzing. - David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer; David S. Rosenblum (AAAI, 2019)

ALPACA: a large portfolio-based alternating conditional analysis. - Mitchell J. Gerrard; Matthew B. Dwyer (ICSE (Companion Volume), 2019)

Refactoring Neural Networks for Verification. - David Shriver; Dong Xu 021; Sebastian G. Elbaum; Matthew B. Dwyer (CoRR, 2019)

Formal Language Constraints for Markov Decision Processes. - Eleanor Quint; Dong Xu 021; Haluk Dogan; Zeynep Hakguder; Stephen Scott 001; Matthew B. Dwyer (CoRR, 2019)

Systematic Generation of Diverse Benchmarks for DNN Verification. - Dong Xu 021; David Shriver; Matthew B. Dwyer; Sebastian G. Elbaum (CAV (1), 2020)

Feasible and stressful trajectory generation for mobile robots. - Carl Hildebrandt; Sebastian G. Elbaum; Nicola Bezzo; Matthew B. Dwyer (ISSTA, 2020)

Optimal Runtime Verification of Finite State Properties over Lossy Event Streams. - Peeyush Kushwaha; Rahul Purandare; Matthew B. Dwyer (CoRR, 2020)

Deep Learning & Software Engineering: State of Research and Future Directions. - Prem Devanbu; Matthew B. Dwyer; Sebastian G. Elbaum; Michael Lowry; Kevin Moran; Denys Poshyvanyk; Baishakhi Ray; Rishabh Singh; Xiangyu Zhang 001 (CoRR, 2020)

DNNV: A Framework for Deep Neural Network Verification. - David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (CAV (1), 2021)

Distribution-Aware Testing of Neural Networks Using Generative Models. - Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa (ICSE, 2021)

Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. - Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa (ICSE (Companion Volume), 2021)

Reducing DNN Properties to Enable Falsification with Adversarial Attacks. - David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (ICSE, 2021)

Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. - David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (ICSE (Companion Volume), 2021)

Distribution Models for Falsification and Verification of DNNs. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (ASE, 2021)

Distribution-aware testing of neural networks using generative models. - Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa (Zenodo, 2021)

Reducing DNN Properties to Enable Falsification with Adversarial Attacks. - David Shriver; Sebastian G. Elbaum; Matthew Dwyer 001 (Zenodo, 2021)

Artifact for DNNV: A Framework for Deep Neural Network Verification. - David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (Zenodo, 2021)

Artifact for DNNV: A Framework for Deep Neural Network Verification. - David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (Zenodo, 2021)

Distribution Models for Falsification and Verification of DNNs. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew Dwyer 001 (Zenodo, 2021)

Distribution Models for Falsification and Verification of DNNs. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (Zenodo, 2021)

Distribution Models for Falsification and Verification of DNNs. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (Zenodo, 2021)

Message from the ICSE 2022 General Chair. - Matthew B. Dwyer (ICSE-SEIS, 2022)

White-box Testing of NLP models with Mask Neuron Coverage. - Arshdeep Sekhon; Yangfeng Ji; Matthew B. Dwyer; Yanjun Qi (NAACL-HLT (Findings), 2022)

Optimal Finite-State Monitoring of Partial Traces. - Peeyush Kushwaha; Rahul Purandare; Matthew B. Dwyer (RV, 2022)

Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). - Will Leeson; Matthew B. Dwyer (TACAS (2), 2022)

Algorithm Selection for Software Verification using Graph Attention Networks. - Will Leeson; Matthew B. Dwyer (CoRR, 2022)

A Brief Survey on Oracle-based Test Adequacy Metrics. - Soneya Binta Hossain; Matthew B. Dwyer (CoRR, 2022)

Conditional Quantitative Program Analysis. - Mitchell J. Gerrard; Mateus Borges; Matthew B. Dwyer; Antonio Filieri (IEEE Trans. Software Eng., 2022)

Using Symbolic States to Infer Numerical Invariants. - ThanhVu Nguyen; KimHao Nguyen; Matthew B. Dwyer (IEEE Trans. Software Eng., 2022)

A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. - Christopher Morse; Lu Feng 001; Matthew B. Dwyer; Sebastian G. Elbaum (ICRA, 2023)

Measuring and Mitigating Gaps in Structural Testing. - Soneya Binta Hossain; Matthew B. Dwyer; Sebastian G. Elbaum; Anh Nguyen-Tuong (ICSE, 2023)

Sibyl: Improving Software Engineering Tools with SMT Selection. - Will Leeson; Matthew B. Dwyer; Antonio Filieri (ICSE, 2023)

Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. - Soneya Binta Hossain; Antonio Filieri; Matthew B. Dwyer; Sebastian G. Elbaum; Willem Visser (ESEC/SIGSOFT FSE, 2023)

Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (ESEC/SIGSOFT FSE, 2023)

PCV: A Point Cloud-Based Network Verifier. - Arup Kumar Sarker; Farzana Yasmin Ahmad; Matthew B. Dwyer (CoRR, 2023)

A DPLL(T) Framework for Verifying Deep Neural Networks. - Hai Duong; Linhan Li; ThanhVu Nguyen; Matthew B. Dwyer (CoRR, 2023)

Artifact: Measuring and Mitigating Gaps in Structural Testing. - Soneya Binta Hossain; Matthew B. Dwyer; Sebastian G. Elbaum; Anh Nguyen-Tuong (CoRR, 2023)

Sibyl Datasets. - Will Leeson; Matthew Dwyer 001; Antonio Filieri (Zenodo, 2023)

Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing. - Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa (ACM Trans. Softw. Eng. Methodol., 2023)

Specifying and Monitoring Safe Driving Properties with Scene Graphs. - Felipe Toledo; Trey Woodlief; Sebastian G. Elbaum; Matthew B. Dwyer (ICRA, 2024)

CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. - Swaroopa Dola; Rory McDaniel; Matthew B. Dwyer; Mary Lou Soffa (ICSE, 2024)

S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. - Trey Woodlief; Felipe Toledo; Sebastian G. Elbaum; Matthew B. Dwyer (ICSE, 2024)

Measuring Feature Dependency of Neural Networks by Collapsing Feature Dimensions in The Data Manifold. - Yinzhu Jin; Matthew B. Dwyer; P. Thomas Fletcher (ISBI, 2024)

Training for Verification: Increasing Neuron Stability to Scale DNN Verification. - Dong Xu 021; Nusrat Jahan Mozumder; Hai Duong; Matthew B. Dwyer (TACAS (3), 2024)

Doc2Oracle: Investigating the Impact of Javadoc Comments on Test Oracle Generation. - Soneya Binta Hossain; Raygan Taylor; Matthew B. Dwyer (CoRR, 2024)

Implications of data topology for deep generative models. - Yinzhu Jin; Rory McDaniel; N. Joseph Tatro; Michael J. Catanzaro; Abraham D. Smith; Paul Bendich; Matthew B. Dwyer; P. Thomas Fletcher (Frontiers Comput. Sci., 2024)

Harnessing Neuron Stability to Improve DNN Verification. - Hai Duong; Dong Xu 021; ThanhVu Nguyen; Matthew B. Dwyer (Proc. ACM Softw. Eng., 2024)

Algorithm Selection for Software Verification Using Graph Neural Networks. - Will Leeson; Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol., 2024)

Specifying and Monitoring Safe Driving Properties with Scene Graphs. - Felipe Toledo; Trey Woodlief; Sebastian G. Elbaum; Matthew Dwyer 001 (Zenodo, 2024)

Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. - Shuyang Dong; Meiyi Ma; Josephine Lamp; Sebastian G. Elbaum; Matthew B. Dwyer; Lu Feng 001 (AAAI, 2025)

NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. - Hai Duong; ThanhVu Nguyen; Matthew B. Dwyer (CAV (2), 2025)

TOGLL: Correct and Strong Test Oracle Generation with LLMS. - Soneya Binta Hossain; Matthew B. Dwyer (ICSE, 2025)

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 (ICSE Companion, 2025)

Doc2OracLL: Investigating the Impact of Documentation on LLM-Based Test Oracle Generation. - Soneya Binta Hossain; Raygan Taylor; Matthew B. Dwyer (Proc. ACM Softw. Eng., 2025)

Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems. - Trey Woodlief; Felipe Toledo; Matthew B. Dwyer; Sebastian G. Elbaum (Proc. ACM Softw. Eng., 2025)

The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs. - Trey Woodlief; Felipe Toledo; Sebastian G. Elbaum; Matthew B. Dwyer (Sci. Comput. Program., 2025)

Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks. - Bin Duan; Matthew B. Dwyer; Guowei Yang 001 (CoRR, 2025)

RBT4DNN: Requirements-based Testing of Neural Networks. - Nusrat Jahan Mozumder; Felipe Toledo; Swaroopa Dola; Matthew B. Dwyer (CoRR, 2025)

CASE: Contrastive Activation for Saliency Estimation. - Dane Williamson; Yangfeng Ji; Matthew Dwyer 001 (CoRR, 2025)

Optimizing Latent Dimension Allocation in Hierarchical VAEs: Balancing Attenuation and Information Retention for OOD Detection. - Dane Williamson; Yangfeng Ji; Matthew B. Dwyer (CoRR, 2025)