Matthew B. Dwyer

Computer Science · Physical Sciences

50h-index10.0kcitations298works2.42yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(147), Formal Methods in Verification(96), Software Reliability and Analysis Research(85), Software Engineering Research(56), Advanced Software Engineering Methodologies(39)

Publications298 total

A Differential Fuzzing-Based Evaluation of Functional Equivalence in LLM-Generated Code Refactorings
arXiv (Cornell University)·2026Open Access
A Differential Fuzzing-Based Evaluation of Functional Equivalence in LLM-Generated Code Refactorings
ArXiv.org·2026Open Access
LabelAny3D: Label Any Object 3D in the Wild
ArXiv.org·2026Open Access
LabelAny3D: Label Any Object 3D in the Wild
arXiv (Cornell University)·2026Open Access
Decentralized Model-Distributed Inference
2025
Stochastic Resource Allocation Leveraging Adaptive Network Monitoring and Tactical Edge Networks
2025
Analyzing and Mitigating Surface Bias in Code Evaluation Metrics
ArXiv.org·2025Open Access
T4PC: Training Deep Neural Networks for Property Conformance
IEEE Transactions on Software Engineering·2025
Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems
Proceedings of the ACM on software engineering.·2025
Doc2OracLL: Investigating the Impact of Documentation on LLM-Based Test Oracle Generation
Proceedings of the ACM on software engineering.·2025· 2 cited
Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA
2025· 1 cited
TOGLL: Correct and Strong Test Oracle Generation with LLMS
2025· 10 cited
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
Proceedings of the AAAI Conference on Artificial Intelligence·2025Open Access
RBT4DNN: Requirements-based Testing of Neural Networks
arXiv (Cornell University)·2025Open Access
Ten Years of Journal First Publication in Software Engineering
IEEE Transactions on Software Engineering·2025
NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks
Lecture notes in computer science·2025· 2 citedOpen Access
Syntactic Blind Spots: How Misalignment Leads to LLMs’ Mathematical Errors
2025· 1 citedOpen Access
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
arXiv (Cornell University)·2024Open Access
Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation
arXiv (Cornell University)·2024Open Access
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs
Science of Computer Programming·2024· 3 cited
page 1 of 15Next →

Frequent Co-authors

John Hatcliff(21), Robby(11), Corina S. Păsăreanu(8), James C. Corbett(7), Sebastian Elbaum(7), Myra B. Cohen(6), Willem Visser(5), Jiangfan Shi(4), Hongjun Zheng(3), Suzette Person(3), Lori A. Clarke(3), George S. Avrunin(2), Shawn Laubach(2), Brady J. Garvin(2), Hongjun Zheng(2), Jaco Geldenhuys(2), Venkatesh-Prasad Ranganath(2), Hui Nee Chin(2), Rahul Purandare(2), Venkatesh Prasad Ranganath(2)