Matthew Dwyer
University of Virginia
H-index: 52
North America-United States
Top articles of Matthew Dwyer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles | Trey Woodlief Felipe Toledo Sebastian Elbaum Matthew B Dwyer | 2024/4/12 | |
Algorithm Selection for Software Verification Using Graph Neural Networks | arXiv preprint arXiv:2201.11711 | Will Leeson Matthew B Dwyer | 2022/1/27 |
Harnessing Neuron Stability to Improve DNN Verification | arXiv preprint arXiv:2401.14412 | Hai Duong Dong Xu ThanhVu Nguyen Matthew B Dwyer | 2024/1/19 |
Input distribution coverage: Measuring feature interaction adequacy in neural network testing | ACM Transactions on Software Engineering and Methodology | Swaroopa Dola Matthew B Dwyer Mary Lou Soffa | 2023/4/26 |
Artifact: Measuring and Mitigating Gaps in Structural Testing | arXiv e-prints | Soneya Binta Hossain Matthew B Dwyer Sebastian Elbaum Anh Nguyen-Tuong | 2023/8 |
PCV: A Point Cloud-Based Network Verifier | arXiv preprint arXiv:2301.11806 | Arup Kumar Sarker Farzana Yasmin Ahmad Matthew B Dwyer | 2023/1/27 |
A DPLL (T) Framework for Verifying Deep Neural Networks | arXiv preprint arXiv:2307.10266 | Hai Duong Linhan Li ThanhVu Nguyen Matthew Dwyer | 2023/7/17 |
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors | Christopher Morse Lu Feng Matthew Dwyer Sebastian Elbaum | 2023/5/29 | |
Measuring and mitigating gaps in structural testing | Soneya Binta Hossain Matthew B Dwyer Sebastian Elbaum Anh Nguyen-Tuong | 2023/5/14 | |
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities | Felipe Toledo David Shriver Sebastian Elbaum Matthew B Dwyer | 2023/11/30 | |
Sibyl: improving software engineering tools with SMT selection | Will Leeson Matthew B Dwyer Antonio Filieri | 2023/5/14 | |
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned | Soneya Binta Hossain Antonio Filieri Matthew B Dwyer Sebastian Elbaum Willem Visser | 2023/11/30 | |
Graves-CPA: A graph-attention verifier selector (competition contribution) | Will Leeson Matthew B Dwyer | 2022/3/30 | |
A brief survey on oracle-based test adequacy metrics | Soneya Binta Hossain Matthew B Dwyer | 2022/12/12 | |
Optimal Finite-State Monitoring of Partial Traces | Peeyush Kushwaha Rahul Purandare Matthew B Dwyer | 2022/9/23 | |
Message from the ICSE 2022 General Chair | Matthew B Dwyer | 2022/5/22 | |
White-box Testing of NLP models with Mask Neuron Coverage | arXiv preprint arXiv:2205.05050 | Arshdeep Sekhon Yangfeng Ji Matthew B Dwyer Yanjun Qi | 2022/5/10 |
Artifact: reducing dnn properties to enable falsification with adversarial attacks | David Shriver Sebastian Elbaum Matthew Dwyer | 2021/5/25 | |
Reducing dnn properties to enable falsification with adversarial attacks | David Shriver Sebastian Elbaum Matthew B Dwyer | 2021/5/22 | |
Distribution models for falsification and verification of dnns | Felipe Toledo David Shriver Sebastian Elbaum Matthew B Dwyer | 2021/11/15 |