Matthew B. Dwyer

Orcid: 0000-0002-1937-1544

Affiliations:
  • University of Virginia, Charlottesville, VA, USA
  • University of Nebraska-Lincoln, NE, USA (former)


According to our database1, Matthew B. Dwyer authored at least 162 papers between 1994 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2019, "For contributions to the specification and analysis of software".

IEEE Fellow

IEEE Fellow 2013, "For contributions to specification, testing, analysis, and verification of concurrent software".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Harnessing Neuron Stability to Improve DNN Verification.
CoRR, 2024

2023
Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing.
ACM Trans. Softw. Eng. Methodol., May, 2023

Artifact: Measuring and Mitigating Gaps in Structural Testing.
CoRR, 2023

A DPLL(T) Framework for Verifying Deep Neural Networks.
CoRR, 2023

PCV: A Point Cloud-Based Network Verifier.
CoRR, 2023

Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Sibyl: Improving Software Engineering Tools with SMT Selection.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Measuring and Mitigating Gaps in Structural Testing.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022
Using Symbolic States to Infer Numerical Invariants.
IEEE Trans. Software Eng., 2022

Conditional Quantitative Program Analysis.
IEEE Trans. Software Eng., 2022

A Brief Survey on Oracle-based Test Adequacy Metrics.
CoRR, 2022

Algorithm Selection for Software Verification using Graph Attention Networks.
CoRR, 2022

Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Optimal Finite-State Monitoring of Partial Traces.
Proceedings of the Runtime Verification - 22nd International Conference, 2022

White-box Testing of NLP models with Mask Neuron Coverage.
Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2022, 2022

Message from the ICSE 2022 General Chair.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society ICSE (SEIS) 2022, 2022

2021
Distribution Models for Falsification and Verification of DNNs.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Reducing DNN Properties to Enable Falsification with Adversarial Attacks.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Distribution-Aware Testing of Neural Networks Using Generative Models.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

DNNV: A Framework for Deep Neural Network Verification.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Deep Learning & Software Engineering: State of Research and Future Directions.
CoRR, 2020

Optimal Runtime Verification of Finite State Properties over Lossy Event Streams.
CoRR, 2020

Feasible and stressful trajectory generation for mobile robots.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Systematic Generation of Diverse Benchmarks for DNN Verification.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Formal Language Constraints for Markov Decision Processes.
CoRR, 2019

Refactoring Neural Networks for Verification.
CoRR, 2019

ALPACA: a large portfolio-based alternating conditional analysis.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Evaluating Recommender System Stability with Influence-Guided Fuzzing.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
State of the Journal.
IEEE Trans. Software Eng., 2018

Structurally Defined Conditional Data-Flow Static Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017
Improving Timeliness and Visibility in Publishing Software Engineering Research.
IEEE Trans. Software Eng., 2017

Towards Self-Verification in Finite Difference Code Generation.
Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

SymInfer: inferring program invariants using symbolic states.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Comprehensive failure characterization.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
Editorial: Journal-First Publication for the Software Engineering Community.
IEEE Trans. Software Eng., 2016

Connecting and Serving the Software Engineering Community.
IEEE Trans. Software Eng., 2016

Code search with input/output queries: Generalizing, ranking, and assessment.
J. Syst. Softw., 2016

Finding Flaws in Natural Language Requirements.
Computer, 2016

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

On the techniques we create, the tools we build, and their misalignments: a study of KLEE.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
State of the Journal Editorial.
IEEE Trans. Software Eng., 2015

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis.
ACM Trans. Softw. Eng. Methodol., 2015

CIVL: the concurrency intermediate verification language.
Proceedings of the International Conference for High Performance Computing, 2015

CIVL: Formal Verification of Parallel Programs.
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Probabilistic Program Analysis.
Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014
Safely reducing the cost of unit level symbolic execution through read/write analysis.
ACM SIGSOFT Softw. Eng. Notes, 2014

Beyond the rainbow: self-adaptive failure avoidance in configurable systems.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Exact and approximate probabilistic symbolic execution for nondeterministic programs.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A framework to advise tests using tests.
Proceedings of the 36th International Conference on Software Engineering, 2014

Development context driven change awareness and analysis framework.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Failure Avoidance in Configurable Systems through Feature Locality.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

Optimizing monitoring of finite state properties through monitor compaction.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012
The hidden models of model checking.
Softw. Syst. Model., 2012

Green: reducing, reusing and recycling constraints in program analysis.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Compositional load test generation for software pipelines.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Probabilistic symbolic execution.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Extracting conditional component dependence for distributed robotic systems.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Sensing through the continent: towards monitoring migratory birds using cellular sensor networks.
Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

Integration Testing of Software Product Lines Using Compositional Symbolic Execution.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Lattice-Based Sampling for Path Property Monitoring.
ACM Trans. Softw. Eng. Methodol., 2011

Evaluating improvements to a meta-heuristic search for constrained interaction testing.
Empir. Softw. Eng., 2011

Using feature locality: can we leverage history to avoid failures during reconfiguration?
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011

Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths.
Proceedings of the Runtime Verification - Second International Conference, 2011

Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

SOS: saving time in dynamic race detection with stationary analysis.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Automatic generation of load tests.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Unifying testing and analysis through behavioral coverage.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010
Environment generation for validating event-driven software using model checking.
IET Softw., 2010

Unifying verification and validation techniques: relating behavior and properties through partial evidence.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?
Proceedings of the Runtime Verification - First International Conference, 2010

Selecting Server Parameters for Predictable Runtime Monitoring.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Monitor optimization via stutter-equivalent loop transformation.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Simulating and testing mobile wireless sensor networks.
Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2010

Exploiting Partial Success in Applying Automated Formal Methods.
Proceedings of the Formal Methods and Software Engineering, 2010

A Slice-Based Decision Procedure for Type-Based Partial Orders.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
Carving and Replaying Differential Unit Test Cases from System Test Cases.
IEEE Trans. Software Eng., 2009

Saturation-based testing of concurrent programs.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs.
Proceedings of the First NASA Formal Methods Symposium, 2009

Regression model checking.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Predictable Runtime Monitoring.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008
Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach.
IEEE Trans. Software Eng., 2008

Residual Checking of Safety Properties.
Proceedings of the Model Checking Software, 2008

Differential symbolic execution.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Increasing Test Granularity by Aggregating Unit Tests.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Reducing the Cost of Path Property Monitoring Through Sampling.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Trace Normalization.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007
A new foundation for control dependence and slicing for modern program structures.
ACM Trans. Program. Lang. Syst., 2007

Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Reducing irrelevant trace variations.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Interaction testing of highly-configurable systems in the presence of constraints.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Adaptive Online Program Analysis.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Formal Software Analysis Emerging Trends in Software Model Checking.
Proceedings of the International Conference on Software Engineering, 2007

Parallel Randomized State-Space Search.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
Checking JML specifications using an extensible software model checking framework.
Int. J. Softw. Tools Technol. Transf., 2006

Bogor: A Flexible Framework for Creating Software Model Checkers.
Proceedings of the Testing: Academia and Industry Conference, 2006

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Carving differential unit test cases from system test cases.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Controlling factors in evaluating path-sensitive error detection techniques.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Domain-specific Model Checking Using The Bogor Framework.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Coverage and adequacy in software product line testing.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

2005
Translating Java for Multiple Model Checkers: The Bandera Back-End.
Formal Methods Syst. Des., 2005

Extending JML for Modular Specification and Verification of Multi-threaded Programs.
Proceedings of the ECOOP 2005, 2005

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Flow analysis for verifying properties of concurrent software systems.
ACM Trans. Softw. Eng. Methodol., 2004

Introductory paper.
Int. J. Softw. Tools Technol. Transf., 2004

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.
Formal Methods Syst. Des., 2004

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.
Proceedings of the Verification, 2004

Checking Strong Specifications Using an Extensible Software Model Checking Framework.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

SyncGen: An Aspect-Oriented Framework for Synchronization.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Analyzing Interaction Orderings with Model Checking.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

A Case Study in Domain-customized Model Checking for Real-time Component Software.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

Supporting model checking education using BOGOR/Eclipse.
Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.
Proceedings of the Construction and Analysis of Safe, 2004

2003
Finding feasible abstract counter-examples.
Int. J. Softw. Tools Technol. Transf., 2003

Space-Reduction Strategies for Model Checking Dynamic Software.
Proceedings of the 2003 Workshop on Software Model Checking, 2003

Adapting side effects analysis for modular program model checking.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Bogor: an extensible and highly-modular software model checking framework.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Slicing and partial evaluation of CORBA component model designs for avionics system.
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

Cadena: enabling CCM-based application development in Eclipse.
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

Automated Environment Generation for Software Model Checking.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.
Proceedings of the 25th International Conference on Software Engineering, 2003

Space Reductions for Model Checking Quasi-Cyclic Systems.
Proceedings of the Embedded Software, Third International Conference, 2003

2002
Expressing checkable properties of dynamic systems: the Bandera Specification Language.
Int. J. Softw. Tools Technol. Transf., 2002

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.
Proceedings of the 24th International Conference on Software Engineering, 2002

Software Model Checking: The Bandera approach.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.
Proceedings of the Formal Methods for Components and Objects, 2002

Foundations of the Bandera Abstraction Tools.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Tool-Supported Program Abstraction for Finite-State Verification.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.
Proceedings of the CONCUR 2001, 2001

2000
Benchmarking Finite-State Verifiers.
Int. J. Softw. Tools Technol. Transf., 2000

Adapting programming languages technologies for finite-state verification.
ACM SIGSOFT Softw. Eng. Notes, 2000

Slicing Software for Model Construction.
High. Order Symb. Comput., 2000

A Language Framework for Expressing Checkable Properties of Dynamic Software.
Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Bandera: a source-level interface for model checking Java programs.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Bandera: extracting finite-state models from Java source code.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Assume-Guarantee Model Checking of Software: A Comparative Case Study.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Slicing Software for Model Construction.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Patterns in Property Specifications for Finite-State Verification.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1998
Using Partial Evaluation to Enable Verification of Concurrent Software.
ACM Comput. Surv., 1998

Filter-Based Model Checking of Partial Systems.
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Staging Static Analyses Using Abstraction-Based Program Specialization.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Property specification patterns for finite-state verification.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

Model Checking Generic Container Implementations.
Proceedings of the Generic Programming, 1998

1997
A Framework for Parallel Adaptive Grid Simulations.
Concurr. Pract. Exp., 1997

Object-Oriented Coordination Abstractions for Parallel Software.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Modular Flow Analysis for Concurrent Software.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Verification of Concurrent Software with FLAVERS.
Proceedings of the Pulling Together, 1997

Model Checking Graphical User Interfaces Using Abstractions.
Proceedings of the Software Engineering, 1997

1996
A Compact Petri Net Representation and Its Implications for Analysis.
IEEE Trans. Software Eng., 1996

An Application-Independent Concurrency Skeleton in Ada 95.
Proceedings of the annual meeting of the Ada programming world, 1996

A Flexible Architecture for Building Data Flow Analyzers.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
A Compact Petri Net Representation for Concurrent Programs.
Proceedings of the 17th International Conference on Software Engineering, 1995

1994
Data Flow Analysis for Verifying Properties of Concurrent Programs.
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994


  Loading...