Matthew B. Dwyer

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 59

Top Venues

CoRR

ICSE

IEEE Trans. Software Eng.

ASE

Publications

Yinzhu Jin, Matthew B. Dwyer, P. Thomas Fletcher
Measuring Feature Dependency of Neural Networks by Collapsing Feature Dimensions in the Data Manifold. CoRR (2024)
Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
Specifying and Monitoring Safe Driving Properties with Scene Graphs. ICRA (2024)
Soneya Binta Hossain, Matthew B. Dwyer
TOGLL: Correct and Strong Test Oracle Generation with LLMs. CoRR (2024)
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. ICSE (2024)
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification. CoRR (2024)
Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer
Training for Verification: Increasing Neuron Stability to Scale DNN Verification. TACAS (3) (2024)
Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. ICSE (2024)
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Will Leeson, Matthew B. Dwyer
Algorithm Selection for Software Verification Using Graph Neural Networks. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong
Artifact: Measuring and Mitigating Gaps in Structural Testing. CoRR (2023)
Will Leeson, Matthew B. Dwyer, Antonio Filieri
Sibyl: Improving Software Engineering Tools with SMT Selection. ICSE (2023)
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR (2023)
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE (2023)
Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. ICRA (2023)
Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong
Measuring and Mitigating Gaps in Structural Testing. ICSE (2023)
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. ESEC/SIGSOFT FSE (2023)
Arup Kumar Sarker, Farzana Yasmin Ahmad, Matthew B. Dwyer
PCV: A Point Cloud-Based Network Verifier. CoRR (2023)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer
A DPLL(T) Framework for Verifying Deep Neural Networks. CoRR (2023)
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
Optimal Finite-State Monitoring of Partial Traces. RV (2022)
ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer
Using Symbolic States to Infer Numerical Invariants. IEEE Trans. Software Eng. 48 (10) (2022)
Matthew B. Dwyer
Message from the ICSE 2022 General Chair. ICSE-SEIS (2022)
Soneya Binta Hossain, Matthew B. Dwyer
A Brief Survey on Oracle-based Test Adequacy Metrics. CoRR (2022)
Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri
Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. 48 (4) (2022)
Matthew B. Dwyer
Message from the ICSE 2022 General Chair. ICSE (SEIP) (2022)
Will Leeson, Matthew B. Dwyer
Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). TACAS (2) (2022)
Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer, Yanjun Qi
White-box Testing of NLP models with Mask Neuron Coverage. CoRR (2022)
Will Leeson, Matthew B. Dwyer
Algorithm Selection for Software Verification using Graph Attention Networks. CoRR (2022)
Matthew B. Dwyer
Message from the ICSE 2022 General Chair. ICSE (2022)
Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer, Yanjun Qi
White-box Testing of NLP models with Mask Neuron Coverage. NAACL-HLT (Findings) (2022)
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Distribution Models for Falsification and Verification of DNNs. ASE (2021)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
Distribution-Aware Testing of Neural Networks Using Generative Models. CoRR (2021)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE (Companion Volume) (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
DNNV: A Framework for Deep Neural Network Verification. CoRR (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
DNNV: A Framework for Deep Neural Network Verification. CAV (1) (2021)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (Companion Volume) (2021)
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams. CoRR (2020)
Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang
Deep Learning & Software Engineering: State of Research and Future Directions. CoRR (2020)
Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum
Systematic Generation of Diverse Benchmarks for DNN Verification. CAV (1) (2020)
Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer
Feasible and stressful trajectory generation for mobile robots. ISSTA (2020)
David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer
Refactoring Neural Networks for Verification. CoRR (2019)
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
SymInfer: Inferring Program Invariants using Symbolic States. CoRR (2019)
Eleanor Quint, Dong Xu, Haluk Dogan, Zeynep Hakguder, Stephen Scott, Matthew B. Dwyer
Formal Language Constraints for Markov Decision Processes. CoRR (2019)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum
Evaluating Recommender System Stability with Influence-Guided Fuzzing. AAAI (2019)
Mitchell J. Gerrard, Matthew B. Dwyer
ALPACA: a large portfolio-based alternating conditional analysis. ICSE (Companion Volume) (2019)
Matthew B. Dwyer
State of the Journal. IEEE Trans. Software Eng. 44 (1) (2018)
Elena Sherman, Matthew B. Dwyer
Structurally Defined Conditional Data-Flow Static Analysis. TACAS (2) (2018)
Mitchell J. Gerrard, Matthew B. Dwyer
Comprehensive failure characterization. ASE (2017)
Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland
Towards Self-Verification in Finite Difference Code Generation. CORRECTNESS@SC (2017)
Matthew B. Dwyer
Improving Timeliness and Visibility in Publishing Software Engineering Research. IEEE Trans. Software Eng. 43 (3) (2017)
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
SymInfer: inferring program invariants using symbolic states. ASE (2017)
Kathryn T. Stolee, Sebastian G. Elbaum, Matthew B. Dwyer
Code search with input/output queries: Generalizing, ranking, and assessment. J. Syst. Softw. 116 (2016)
Matthew B. Dwyer
Finding Flaws in Natural Language Requirements. Computer 49 (11) (2016)
Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS (2016)
Matthew B. Dwyer, David S. Rosenblum
Editorial: Journal-First Publication for the Software Engineering Community. IEEE Trans. Software Eng. 42 (1) (2016)
Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42 (3) (2016)
Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer
On the techniques we create, the tools we build, and their misalignments: a study of KLEE. ICSE (2016)
Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers
CIVL: the concurrency intermediate verification language. SC (2015)
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
Probabilistic Program Analysis. GTTSE (2015)
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. ACM Trans. Softw. Eng. Methodol. 24 (3) (2015)
Elena Sherman, Matthew B. Dwyer
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T). ASE (2015)
Matthew B. Dwyer
State of the Journal Editorial. IEEE Trans. Software Eng. 41 (1) (2015)
Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Formal Verification of Parallel Programs. ASE (2015)
Matthew B. Dwyer, David S. Rosenblum
Editorial Journal-First Publication for the Software Engineering Community. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Eric F. Rizzi, Matthew B. Dwyer, Sebastian G. Elbaum
Safely reducing the cost of unit level symbolic execution through read/write analysis. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE (2014)
Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta
Development context driven change awareness and analysis framework. ICSE Companion (2014)
Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer
A framework to advise tests using tests. ICSE Companion (2014)
Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, Justin W. Firestone
Beyond the rainbow: self-adaptive failure avoidance in configurable systems. SIGSOFT FSE (2014)
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
Optimizing monitoring of finite state properties through monitor compaction. ISSTA (2013)
Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer
Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE (2012)
Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer
Extracting conditional component dependence for distributed robotic systems. IROS (2012)
Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser
Probabilistic symbolic execution. ISSTA (2012)
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
Integration Testing of Software Product Lines Using Compositional Symbolic Execution. FASE (2012)
Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer
Compositional load test generation for software pipelines. ISSTA (2012)
David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Anne Lacy, Mike Engels, Walter Wehtje
Sensing through the continent: towards monitoring migratory birds using cellular sensor networks. IPSN (2012)
Willem Visser, Matthew B. Dwyer, Michael W. Whalen
The hidden models of model checking. Softw. Syst. Model. 11 (4) (2012)
Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer
Using feature locality: can we leverage history to avoid failures during reconfiguration? ASAS@ESEC/FSE (2011)
Du Li, Witawas Srisa-an, Matthew B. Dwyer
SOS: saving time in dynamic race detection with stationary analysis. OOPSLA (2011)
Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer
Automatic generation of load tests. ASE (2011)
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV (2011)
Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum
Lattice-Based Sampling for Path Property Monitoring. ACM Trans. Softw. Eng. Methodol. 21 (1) (2011)
Haitao Zhu, Steve Goddard, Matthew B. Dwyer
Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. RTSS (2011)
Matthew B. Dwyer
Unifying testing and analysis through behavioral coverage. ASE (2011)
Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer
Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empir. Softw. Eng. 16 (1) (2011)
David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Felipe Chavez-Ramirez
Simulating and testing mobile wireless sensor networks. MSWiM (2010)
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
Monitor optimization via stutter-equivalent loop transformation. OOPSLA (2010)
Oksana Tkachuk, Matthew B. Dwyer
Environment generation for validating event-driven software using model checking. IET Softw. 4 (3) (2010)
Haitao Zhu, Steve Goddard, Matthew B. Dwyer
Selecting Server Parameters for Predictable Runtime Monitoring. IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Matthew B. Dwyer, Rahul Purandare, Suzette Person
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV (2010)
Matthew B. Dwyer
Exploiting Partial Success in Applying Automated Formal Methods. ICFEM (2010)
Matthew B. Dwyer, Sebastian G. Elbaum
Unifying verification and validation techniques: relating behavior and properties through partial evidence. FoSER (2010)
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
A Slice-Based Decision Procedure for Type-Based Partial Orders. IJCAR (2010)
Guowei Yang, Matthew B. Dwyer, Gregg Rothermel
Regression model checking. ICSM (2009)
Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde
Carving and Replaying Differential Unit Test Cases from System Test Cases. IEEE Trans. Software Eng. 35 (1) (2009)
Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum
Saturation-based testing of concurrent programs. ESEC/SIGSOFT FSE (2009)
Haitao Zhu, Matthew B. Dwyer, Steve Goddard
Predictable Runtime Monitoring. ECRTS (2009)
Suzette Person, Matthew B. Dwyer
Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. NASA Formal Methods (2009)

Matthew B. Dwyer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew B. Dwyer