Personal information

Verified email domains

Activities

Employment (3)

University of Virginia: Charlottesville, Virginia, US

2018-08-01 to present | Professor (Computer Science)
Employment
Source: Self-asserted source
Matthew Dwyer

University of Nebraska-Lincoln: Lincoln, NE, US

2004-07-01 to 2018-07-31 | Professor (Computer Science and Engineering)
Employment
Source: Self-asserted source
Matthew Dwyer

Kansas State University: Manhattan, KS, US

1995-07 to 2004-06 | Professor (Computing and Information Sciences)
Employment
Source: Self-asserted source
Matthew Dwyer

Education and qualifications (3)

University of Massachusetts Amherst: Amherst, MA, US

1995-08 | Doctor of Philosophy (Computer Science)
Education
Source: Self-asserted source
Matthew Dwyer

University of Massachusetts Boston: Boston, MA, US

1989-05 | Masters in Computer Science (Computer Science)
Education
Source: Self-asserted source
Matthew Dwyer

University of Rochester: Rochester, NY, US

1985-05 | Bachelors of Science in Electrical Engineering (Electrical and Computer Engineering)
Education
Source: Self-asserted source
Matthew Dwyer

Works (50 of 183)

Items per page:
Page 1 of 4

Training for Verification: Increasing Neuron Stability to Scale DNN Verification

2024 | Book chapter
Contributors: Dong Xu; Nusrat Jahan Mozumder; Hai Duong; Matthew B. Dwyer
Source: check_circle
Crossref

Harnessing Neuron Stability to Improve DNN Verification

Proceedings of the ACM on Software Engineering
2024-07-12 | Journal article
Contributors: Hai Duong; Dong Xu; Thanhvu Nguyen; Matthew B. Dwyer
Source: check_circle
Crossref

CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing

2024-04-12 | Conference paper
Contributors: Swaroopa Dola; Rory McDaniel; Matthew B. Dwyer; Mary Lou Soffa
Source: check_circle
Crossref

S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles

2024-04-12 | Conference paper
Contributors: Trey Woodlief; Felipe Toledo; Sebastian Elbaum; Matthew B Dwyer
Source: check_circle
Crossref

Algorithm Selection for Software Verification Using Graph Neural Networks

ACM Transactions on Software Engineering and Methodology
2024-03-31 | Journal article
Contributors: Will Leeson; Matthew B. Dwyer
Source: check_circle
Crossref

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-11-30 | Conference paper
Contributors: Felipe Toledo; David Shriver; Sebastian Elbaum; Matthew B. Dwyer
Source: Self-asserted source
Matthew Dwyer
grade
Preferred source (of 2)‎

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-11-30 | Conference paper
Contributors: Soneya Binta Hossain; Antonio Filieri; Matthew B. Dwyer; Sebastian Elbaum; Willem Visser
Source: Self-asserted source
Matthew Dwyer
grade
Preferred source (of 2)‎

Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing

ACM Transactions on Software Engineering and Methodology
2023-07-31 | Journal article
Contributors: Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa
Source: check_circle
Crossref

Measuring and Mitigating Gaps in Structural Testing

2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
2023-05 | Conference paper
Contributors: Soneya Binta Hossain; Matthew B. Dwyer; Sebastian Elbaum; Anh Nguyen-Tuong
Source: Self-asserted source
Matthew Dwyer

Sibyl: Improving Software Engineering Tools with SMT Selection

2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
2023-05 | Conference paper
Contributors: Will Leeson; Matthew B Dwyer; Antonio Filieri
Source: Self-asserted source
Matthew Dwyer

A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors

2023 IEEE International Conference on Robotics and Automation (ICRA)
2023-05-29 | Conference paper
Contributors: Christopher Morse; Lu Feng; Matthew Dwyer; Sebastian Elbaum
Source: Self-asserted source
Matthew Dwyer

Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution)

2022 | Book chapter
Contributors: Will Leeson; Matthew B. Dwyer
Source: check_circle
Crossref

White-box Testing of NLP models with Mask Neuron Coverage

Findings of the Association for Computational Linguistics: NAACL 2022
2022 | Conference paper
Contributors: Arshdeep Sekhon; Yangfeng Ji; Matthew Dwyer; Yanjun Qi
Source: Self-asserted source
Matthew Dwyer

Using Symbolic States to Infer Numerical Invariants

IEEE Transactions on Software Engineering
2022-10-01 | Journal article
Contributors: ThanhVu Nguyen; KimHao Nguyen; Matthew B. Dwyer
Source: check_circle
Crossref

Conditional Quantitative Program Analysis

IEEE Transactions on Software Engineering
2022-04-01 | Journal article
Contributors: Mitchell Gerrard; Mateus Borges; Matthew B. Dwyer; Antonio Filieri
Source: check_circle
Crossref

DNNV: A Framework for Deep Neural Network Verification

2021 | Book chapter
Contributors: David Shriver; Sebastian Elbaum; Matthew B. Dwyer
Source: check_circle
Crossref

Distribution Models for Falsification and Verification of DNNs

2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2021-11 | Conference paper
Contributors: Felipe Toledo; David Shriver; Sebastian Elbaum; Matthew B. Dwyer
Source: Self-asserted source
Matthew Dwyer

Distribution-Aware Testing of Neural Networks Using Generative Models

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
2021-05 | Conference paper
Contributors: Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa
Source: Self-asserted source
Matthew Dwyer

Reducing DNN Properties to Enable Falsification with Adversarial Attacks

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
2021-05 | Conference paper
Contributors: David Shriver; Sebastian Elbaum; Matthew B. Dwyer
Source: Self-asserted source
Matthew Dwyer

Deep Learning & Software Engineering: State of Research and Future Directions

CoRR
2020 | Journal article
URI:

https://arxiv.org/abs/2009.08525

Source: Self-asserted source
Matthew Dwyer

Feasible and stressful trajectory generation for mobile robots

ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020
2020 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Optimal Runtime Verification of Finite State Properties over Lossy Event Streams

CoRR
2020 | Journal article
URI:

https://arxiv.org/abs/2004.04214

Source: Self-asserted source
Matthew Dwyer

Systematic Generation of Diverse Benchmarks for DNN Verification

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
2020 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Systematic Generation of Diverse Benchmarks for DNN Verification

2020 | Book chapter
Contributors: Dong Xu; David Shriver; Matthew B. Dwyer; Sebastian Elbaum
Source: check_circle
Crossref

ALPACA: a large portfolio-based alternating conditional analysis

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019
2019 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Evaluating Recommender System Stability with Influence-Guided Fuzzing

The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019
2019 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Formal Language Constraints for Markov Decision Processes

CoRR
2019 | Journal article
URI:

http://arxiv.org/abs/1910.01074

Source: Self-asserted source
Matthew Dwyer

Refactoring Neural Networks for Verification

CoRR
2019 | Journal article
URI:

http://arxiv.org/abs/1908.08026

Source: Self-asserted source
Matthew Dwyer

SymInfer: Inferring Program Invariants using Symbolic States

CoRR
2019 | Journal article
URI:

http://arxiv.org/abs/1903.11768

Source: Self-asserted source
Matthew Dwyer

State of the Journal

IEEE Trans. Software Eng.
2018 | Journal article
Source: Self-asserted source
Matthew Dwyer
grade
Preferred source (of 2)‎

Structurally Defined Conditional Data-Flow Static Analysis

Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
2018 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Comprehensive failure characterization

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017
2017 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Improving Timeliness and Visibility in Publishing Software Engineering Research

IEEE Trans. Software Eng.
2017 | Journal article
Source: Self-asserted source
Matthew Dwyer
grade
Preferred source (of 2)‎

SymInfer: inferring program invariants using symbolic states

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017
2017 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Towards Self-Verification in Finite Difference Code Generation

Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017
2017 | Conference paper
Source: Self-asserted source
Matthew Dwyer

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution)

Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
2016 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Code search with input/output queries: Generalizing, ranking, and assessment

J. Syst. Softw.
2016 | Journal article
Source: Self-asserted source
Matthew Dwyer

Connecting and Serving the Software Engineering Community

IEEE Trans. Software Eng.
2016 | Journal article
Source: Self-asserted source
Matthew Dwyer

Editorial: Journal-First Publication for the Software Engineering Community

IEEE Trans. Software Eng.
2016 | Journal article
Source: Self-asserted source
Matthew Dwyer

Finding Flaws in Natural Language Requirements

Computer
2016 | Journal article
Source: Self-asserted source
Matthew Dwyer

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, ICSE 2016, Austin, TX, USA, May 14-22, 2016
2016 | Conference paper
Source: Self-asserted source
Matthew Dwyer

CIVL: Formal Verification of Parallel Programs

30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015
2015 | Conference paper
Source: Self-asserted source
Matthew Dwyer

CIVL: the concurrency intermediate verification language

Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2015, Austin, TX, USA, November 15-20, 2015
2015 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis

ACM Trans. Softw. Eng. Methodol.
2015 | Journal article
Source: Self-asserted source
Matthew Dwyer

Editorial Journal-First Publication for the Software Engineering Community

ACM Trans. Softw. Eng. Methodol.
2015 | Journal article
Source: Self-asserted source
Matthew Dwyer

Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)

30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015
2015 | Conference paper
Source: Self-asserted source
Matthew Dwyer

Probabilistic Program Analysis

Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
2015 | Conference paper
Source: Self-asserted source
Matthew Dwyer

State of the Journal Editorial

IEEE Trans. Software Eng.
2015 | Journal article
Source: Self-asserted source
Matthew Dwyer
grade
Preferred source (of 2)‎

A framework to advise tests using tests

36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014
2014 | Conference paper
Source: Self-asserted source
Matthew Dwyer

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 - 22, 2014
2014 | Conference paper
Source: Self-asserted source
Matthew Dwyer
Items per page:
Page 1 of 4