Matthew B. Dwyer

209 papers A* 42A 22B 10C 4Misc 2Journal 68Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Differential Fuzzing-Based Evaluation of Functional Equivalence in LLM-Generated Code Refactorings. CoRR Simantika Bhattacharjee Dristi, Matthew B. Dwyer
2026	J	`jnl`	LabelAny3D: Label Any Object 3D in the Wild. CoRR Jin Yao, Radowan Mahmud Redoy, Sebastian G. Elbaum, Matthew B. Dwyer, Zezhou Cheng
2026	J	`jnl`	STADA: Specification-based Testing for Autonomous Driving Agents. CoRR Joy Saha, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
2025	—	`conf`	Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA. ICSE Companion Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2025	J	`jnl`	Doc2OracLL: Investigating the Impact of Documentation on LLM-Based Test Oracle Generation. Proc. ACM Softw. Eng. Soneya Binta Hossain, Raygan Taylor, Matthew B. Dwyer
2025	J	`jnl`	Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks. CoRR Bin Duan, Matthew B. Dwyer, Guowei Yang
2025	J	`jnl`	LoCaL: Countering Surface Bias in Code Evaluation Metrics. CoRR Simantika Bhattacharjee Dristi, Matthew B. Dwyer
2025	—	`conf`	NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. CAV (2) Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer
2025	J	`jnl`	Optimizing Latent Dimension Allocation in Hierarchical VAEs: Balancing Attenuation and Information Retention for OOD Detection. CoRR Dane Williamson, Yangfeng Ji, Matthew B. Dwyer
2025	A*	`conf`	Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. AAAI Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng
2025	J	`jnl`	RBT4DNN: Requirements-based Testing of Neural Networks. CoRR Nusrat Jahan Mozumder, Felipe Toledo, Swaroopa Dola, Matthew B. Dwyer
2025	J	`jnl`	Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems. Proc. ACM Softw. Eng. Trey Woodlief, Felipe Toledo, Matthew B. Dwyer, Sebastian G. Elbaum
2025	J	`jnl`	Syntactic Blind Spots: How Misalignment Leads to LLMs Mathematical Errors. CoRR Dane Williamson, Yangfeng Ji, Matthew B. Dwyer
2025	J	`jnl`	T4PC: Training Deep Neural Networks for Property Conformance. IEEE Trans. Software Eng. Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
2025	A*	`conf`	TOGLL: Correct and Strong Test Oracle Generation with LLMS. ICSE Soneya Binta Hossain, Matthew B. Dwyer
2025	J	`jnl`	Ten Years of Journal First Publication in Software Engineering. IEEE Trans. Software Eng. Matthew B. Dwyer
2025	J	`jnl`	The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs. Sci. Comput. Program. Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2024	J	`jnl`	Algorithm Selection for Software Verification Using Graph Neural Networks. ACM Trans. Softw. Eng. Methodol. Will Leeson, Matthew B. Dwyer
2024	A*	`conf`	CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. ICSE Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa
2024	J	`jnl`	Doc2Oracle: Investigating the Impact of Javadoc Comments on Test Oracle Generation. CoRR Soneya Binta Hossain, Raygan Taylor, Matthew B. Dwyer
2024	J	`jnl`	Harnessing Neuron Stability to Improve DNN Verification. CoRR Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
2024	J	`jnl`	Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
2024	J	`jnl`	Implications of data topology for deep generative models. Frontiers Comput. Sci. Yinzhu Jin, Rory McDaniel, N. Joseph Tatro, Michael J. Catanzaro, Abraham D. Smith, Paul Bendich, Matthew B. Dwyer, P. Thomas Fletcher
2024	—	`conf`	Measuring Feature Dependency of Neural Networks by Collapsing Feature Dimensions in The Data Manifold. ISBI Yinzhu Jin, Matthew B. Dwyer, P. Thomas Fletcher
2024	J	`jnl`	Measuring Feature Dependency of Neural Networks by Collapsing Feature Dimensions in the Data Manifold. CoRR Yinzhu Jin, Matthew B. Dwyer, P. Thomas Fletcher
2024	J	`jnl`	Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. CoRR Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng
2024	A*	`conf`	S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. ICSE Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2024	A*	`conf`	Specifying and Monitoring Safe Driving Properties with Scene Graphs. ICRA Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
2024	J	`jnl`	TOGLL: Correct and Strong Test Oracle Generation with LLMs. CoRR Soneya Binta Hossain, Matthew B. Dwyer
2024	—	`conf`	Training for Verification: Increasing Neuron Stability to Scale DNN Verification. TACAS (3) Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer
2023	J	`jnl`	A DPLL(T) Framework for Verifying Deep Neural Networks. CoRR Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer
2023	A*	`conf`	A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. ICRA Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum
2023	J	`jnl`	Artifact: Measuring and Mitigating Gaps in Structural Testing. CoRR Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong
2023	—	`conf`	Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. ESEC/SIGSOFT FSE Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2023	J	`jnl`	Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing. ACM Trans. Softw. Eng. Methodol. Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
2023	A*	`conf`	Measuring and Mitigating Gaps in Structural Testing. ICSE Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong
2023	—	`conf`	Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
2023	J	`jnl`	Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
2023	J	`jnl`	PCV: A Point Cloud-Based Network Verifier. CoRR Arup Kumar Sarker, Farzana Yasmin Ahmad, Matthew B. Dwyer
2023	A*	`conf`	Sibyl: Improving Software Engineering Tools with SMT Selection. ICSE Will Leeson, Matthew B. Dwyer, Antonio Filieri
2022	J	`jnl`	A Brief Survey on Oracle-based Test Adequacy Metrics. CoRR Soneya Binta Hossain, Matthew B. Dwyer
2022	J	`jnl`	Algorithm Selection for Software Verification using Graph Attention Networks. CoRR Will Leeson, Matthew B. Dwyer
2022	J	`jnl`	Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri
2022	—	`conf`	Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). TACAS (2) Will Leeson, Matthew B. Dwyer
2022	A*	`conf`	Message from the ICSE 2022 General Chair. ICSE Matthew B. Dwyer
2022	—	`conf`	Message from the ICSE 2022 General Chair. ICSE-SEIS Matthew B. Dwyer
2022	—	`conf`	Message from the ICSE 2022 General Chair. ICSE (SEIP) Matthew B. Dwyer
2022	B	`conf`	Optimal Finite-State Monitoring of Partial Traces. RV Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
2022	J	`jnl`	Using Symbolic States to Infer Numerical Invariants. IEEE Trans. Software Eng. ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer
2022	—	`conf`	White-box Testing of NLP models with Mask Neuron Coverage. NAACL-HLT (Findings) Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer, Yanjun Qi
2022	J	`jnl`	White-box Testing of NLP models with Mask Neuron Coverage. CoRR Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer, Yanjun Qi
2021	—	`conf`	Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE (Companion Volume) Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
2021	—	`conf`	Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (Companion Volume) David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021	—	`conf`	DNNV: A Framework for Deep Neural Network Verification. CAV (1) David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021	J	`jnl`	DNNV: A Framework for Deep Neural Network Verification. CoRR David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021	A*	`conf`	Distribution Models for Falsification and Verification of DNNs. ASE Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021	A*	`conf`	Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
2021	J	`jnl`	Distribution-Aware Testing of Neural Networks Using Generative Models. CoRR Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
2021	A*	`conf`	Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2020	J	`jnl`	Deep Learning & Software Engineering: State of Research and Future Directions. CoRR Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang
2020	A	`conf`	Feasible and stressful trajectory generation for mobile robots. ISSTA Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer
2020	J	`jnl`	Optimal Runtime Verification of Finite State Properties over Lossy Event Streams. CoRR Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
2020	—	`conf`	Systematic Generation of Diverse Benchmarks for DNN Verification. CAV (1) Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum
2019	—	`conf`	ALPACA: a large portfolio-based alternating conditional analysis. ICSE (Companion Volume) Mitchell J. Gerrard, Matthew B. Dwyer
2019	A*	`conf`	Evaluating Recommender System Stability with Influence-Guided Fuzzing. AAAI David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum
2019	J	`jnl`	Formal Language Constraints for Markov Decision Processes. CoRR Eleanor Quint, Dong Xu, Haluk Dogan, Zeynep Hakguder, Stephen Scott, Matthew B. Dwyer
2019	J	`jnl`	Refactoring Neural Networks for Verification. CoRR David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer
2019	J	`jnl`	SymInfer: Inferring Program Invariants using Symbolic States. CoRR ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
2018	J	`jnl`	State of the Journal. IEEE Trans. Software Eng. Matthew B. Dwyer
2018	—	`conf`	Structurally Defined Conditional Data-Flow Static Analysis. TACAS (2) Elena Sherman, Matthew B. Dwyer
2017	A*	`conf`	Comprehensive failure characterization. ASE Mitchell J. Gerrard, Matthew B. Dwyer
2017	J	`jnl`	Improving Timeliness and Visibility in Publishing Software Engineering Research. IEEE Trans. Software Eng. Matthew B. Dwyer
2017	A*	`conf`	SymInfer: inferring program invariants using symbolic states. ASE ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
2017	—	`conf`	Towards Self-Verification in Finite Difference Code Generation. CORRECTNESS@SC Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland
2016	A	`conf`	CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel
2016	J	`jnl`	Code search with input/output queries: Generalizing, ranking, and assessment. J. Syst. Softw. Kathryn T. Stolee, Sebastian G. Elbaum, Matthew B. Dwyer
2016	J	`jnl`	Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 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
2016	J	`jnl`	Editorial: Journal-First Publication for the Software Engineering Community. IEEE Trans. Software Eng. Matthew B. Dwyer, David S. Rosenblum
2016	J	`jnl`	Finding Flaws in Natural Language Requirements. Computer Matthew B. Dwyer
2016	A*	`conf`	On the techniques we create, the tools we build, and their misalignments: a study of KLEE. ICSE Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer
2015	A*	`conf`	CIVL: Formal Verification of Parallel Programs. ASE Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel
2015	A	`conf`	CIVL: the concurrency intermediate verification language. SC Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers
2015	J	`jnl`	Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. ACM Trans. Softw. Eng. Methodol. Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
2015	J	`jnl`	Editorial Journal-First Publication for the Software Engineering Community. ACM Trans. Softw. Eng. Methodol. Matthew B. Dwyer, David S. Rosenblum
2015	A*	`conf`	Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T). ASE Elena Sherman, Matthew B. Dwyer
2015	—	`conf`	Probabilistic Program Analysis. GTTSE Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
2015	J	`jnl`	State of the Journal Editorial. IEEE Trans. Software Eng. Matthew B. Dwyer
2014	—	`conf`	A framework to advise tests using tests. ICSE Companion Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer
2014	—	`conf`	Beyond the rainbow: self-adaptive failure avoidance in configurable systems. SIGSOFT FSE Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, Justin W. Firestone
2014	—	`conf`	Development context driven change awareness and analysis framework. ICSE Companion Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta
2014	A*	`conf`	Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser
2014	—	`ed.`	Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014 FOSE James D. Herbsleb, Matthew B. Dwyer
2014	J	`jnl`	Safely reducing the cost of unit level symbolic execution through read/write analysis. ACM SIGSOFT Softw. Eng. Notes Eric F. Rizzi, Matthew B. Dwyer, Sebastian G. Elbaum
2013	—	`ch.`	Failure Avoidance in Configurable Systems through Feature Locality. Assurances for Self-Adaptive Systems Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer
2013	A	`conf`	Optimizing monitoring of finite state properties through monitor compaction. ISSTA Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
2012	A	`conf`	Compositional load test generation for software pipelines. ISSTA Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer
2012	A	`conf`	Extracting conditional component dependence for distributed robotic systems. IROS Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer
2012	—	`conf`	Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer
2012	B	`conf`	Integration Testing of Software Product Lines Using Compositional Symbolic Execution. FASE Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
2012	A	`conf`	Probabilistic symbolic execution. ISSTA Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser
2012	A	`ed.`	Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012 OOPSLA Gary T. Leavens, Matthew B. Dwyer
2012	—	`conf`	Sensing through the continent: towards monitoring migratory birds using cellular sensor networks. IPSN David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Anne Lacy, Mike Engels, Walter Wehtje
2012	J	`jnl`	The hidden models of model checking. Softw. Syst. Model. Willem Visser, Matthew B. Dwyer, Michael W. Whalen
2011	A*	`conf`	Automatic generation of load tests. ASE Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer
2011	J	`jnl`	Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empir. Softw. Eng. Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer
2011	J	`jnl`	Lattice-Based Sampling for Path Property Monitoring. ACM Trans. Softw. Eng. Methodol. Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum
2011	B	`conf`	Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
2011	A	`ed.`	Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011 ISSTA Matthew B. Dwyer, Frank Tip
2011	A	`conf`	Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. RTSS Haitao Zhu, Steve Goddard, Matthew B. Dwyer
2011	A	`conf`	SOS: saving time in dynamic race detection with stationary analysis. OOPSLA Du Li, Witawas Srisa-an, Matthew B. Dwyer
2011	A*	`conf`	Unifying testing and analysis through behavioral coverage. ASE Matthew B. Dwyer
2011	—	`conf`	Using feature locality: can we leverage history to avoid failures during reconfiguration? ASAS@ESEC/FSE Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer
2010	A	`conf`	A Slice-Based Decision Procedure for Type-Based Partial Orders. IJCAR Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
2010	J	`jnl`	Environment generation for validating event-driven software using model checking. IET Softw. Oksana Tkachuk, Matthew B. Dwyer
2010	C	`conf`	Exploiting Partial Success in Applying Automated Formal Methods. ICFEM Matthew B. Dwyer
2010	A	`conf`	Monitor optimization via stutter-equivalent loop transformation. OOPSLA Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
2010	B	`conf`	Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV Matthew B. Dwyer, Rahul Purandare, Suzette Person
2010	A	`conf`	Selecting Server Parameters for Predictable Runtime Monitoring. IEEE Real-Time and Embedded Technology and Applications Symposium Haitao Zhu, Steve Goddard, Matthew B. Dwyer
2010	A	`conf`	Simulating and testing mobile wireless sensor networks. MSWiM David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Felipe Chavez-Ramirez
2010	—	`conf`	Unifying verification and validation techniques: relating behavior and properties through partial evidence. FoSER Matthew B. Dwyer, Sebastian G. Elbaum
2009	J	`jnl`	Carving and Replaying Differential Unit Test Cases from System Test Cases. IEEE Trans. Software Eng. Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde
2009	—	`conf`	Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. NASA Formal Methods Suzette Person, Matthew B. Dwyer
2009	B	`conf`	Predictable Runtime Monitoring. ECRTS Haitao Zhu, Matthew B. Dwyer, Steve Goddard
2009	—	`conf`	Regression model checking. ICSM Guowei Yang, Matthew B. Dwyer, Gregg Rothermel
2009	—	`conf`	Saturation-based testing of concurrent programs. ESEC/SIGSOFT FSE Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum
2008	A*	`ed.`	30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008 ICSE Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn
2008	—	`ed.`	30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume ICSE Companion Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn
2008	J	`jnl`	Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach. IEEE Trans. Software Eng. Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi
2008	—	`conf`	Differential symbolic execution. SIGSOFT FSE Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu
2008	A*	`conf`	Increasing Test Granularity by Aggregating Unit Tests. ASE Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer
2008	A*	`conf`	Reducing the Cost of Path Property Monitoring Through Sampling. ASE Matthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum
2008	—	`conf`	Residual Checking of Safety Properties. SPIN Matthew B. Dwyer, Rahul Purandare
2007	J	`jnl`	A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
2007	A*	`conf`	Adaptive Online Program Analysis. ICSE Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum
2007	—	`conf`	Formal Software Analysis Emerging Trends in Software Model Checking. FOSE Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser
2007	B	`ed.`	Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings FASE Matthew B. Dwyer, Antónia Lopes
2007	A	`conf`	Interaction testing of highly-configurable systems in the presence of constraints. ISSTA Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi
2007	A*	`conf`	Parallel Randomized State-Space Search. ICSE Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare
2007	A*	`conf`	Reducing irrelevant trace variations. ASE Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer
2007	A*	`conf`	Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. ASE Matthew B. Dwyer, Rahul Purandare
2007	—	`conf`	Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. ICSE Companion Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel
2006	—	`conf`	Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART Robby, Matthew B. Dwyer, John Hatcliff
2006	—	`conf`	Carving differential unit test cases from system test cases. SIGSOFT FSE Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil
2006	J	`jnl`	Checking JML specifications using an extensible software model checking framework. Int. J. Softw. Tools Technol. Transf. Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
2006	—	`conf`	Controlling factors in evaluating path-sensitive error detection techniques. SIGSOFT FSE Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum
2006	—	`conf`	Coverage and adequacy in software product line testing. ROSATEA Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi
2006	A*	`conf`	Domain-specific Model Checking Using The Bogor Framework. ASE Robby, Matthew B. Dwyer, John Hatcliff
2006	A	`conf`	Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. TACAS Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine
2005	A	`conf`	A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
2005	A*	`conf`	Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby
2005	A	`conf`	Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby
2005	J	`jnl`	Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods Syst. Des. Radu Iosif, Matthew B. Dwyer, John Hatcliff
2004	C	`conf`	A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff
2004	—	`conf`	A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer
2004	—	`conf`	A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby
2004	A*	`conf`	Analyzing Interaction Orderings with Model Checking. ASE Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
2004	B	`conf`	Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
2004	A	`conf`	Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
2004	J	`jnl`	Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods Syst. Des. Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath
2004	J	`jnl`	Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol. Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
2004	J	`jnl`	Introductory paper. Int. J. Softw. Tools Technol. Transf. Matthew B. Dwyer, Stefan Leue
2004	—	`ed.`	Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004 SIGSOFT FSE Richard N. Taylor, Matthew B. Dwyer
2004	—	`conf`	Supporting model checking education using BOGOR/Eclipse. eTX Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
2004	A	`conf`	SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
2004	B	`conf`	Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI John Hatcliff, Robby, Matthew B. Dwyer
2003	—	`conf`	Adapting side effects analysis for modular program model checking. ESEC / SIGSOFT FSE Oksana Tkachuk, Matthew B. Dwyer
2003	A*	`conf`	Automated Environment Generation for Software Model Checking. ASE Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu
2003	—	`conf`	Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE Robby, Matthew B. Dwyer, John Hatcliff
2003	A*	`conf`	Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
2003	—	`conf`	Cadena: enabling CCM-based application development in Eclipse. eTX Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh
2003	J	`jnl`	Finding feasible abstract counter-examples. Int. J. Softw. Tools Technol. Transf. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
2003	C	`conf`	Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby
2003	Misc	`conf`	Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff
2003	—	`conf`	Space-Reduction Strategies for Model Checking Dynamic Software. SoftMC@CAV Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif
2002	J	`jnl`	Expressing checkable properties of dynamic systems: the Bandera Specification Language. Int. J. Softw. Tools Technol. Transf. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2002	—	`conf`	Foundations of the Bandera Abstraction Tools. The Essence of Computation John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby
2002	A*	`conf`	Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
2002	—	`conf`	Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
2002	—	`ed.`	Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002 PASTE Matthew B. Dwyer, Jens Palsberg
2002	—	`conf`	Software Model Checking: The Bandera approach. FMOODS Matthew B. Dwyer
2001	A	`conf`	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
2001	—	`ed.`	Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings SPIN Matthew B. Dwyer
2001	A*	`conf`	Tool-Supported Program Abstraction for Finite-State Verification. ICSE Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
2001	B	`conf`	Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. CONCUR John Hatcliff, Matthew B. Dwyer
2000	—	`conf`	A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2000	J	`jnl`	Adapting programming languages technologies for finite-state verification. ACM SIGSOFT Softw. Eng. Notes Matthew B. Dwyer, John Hatcliff
2000	A*	`conf`	Bandera: a source-level interface for model checking Java programs. ICSE James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2000	A*	`conf`	Bandera: extracting finite-state models from Java source code. ICSE James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
2000	J	`jnl`	Benchmarking Finite-State Verifiers. Int. J. Softw. Tools Technol. Transf. George S. Avrunin, James C. Corbett, Matthew B. Dwyer
2000	J	`jnl`	Slicing Software for Model Construction. High. Order Symb. Comput. John Hatcliff, Matthew B. Dwyer, Hongjun Zheng
1999	B	`conf`	A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
1999	—	`conf`	Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth
1999	A*	`conf`	Patterns in Property Specifications for Finite-State Verification. ICSE Matthew B. Dwyer, George S. Avrunin, James C. Corbett
1999	C	`conf`	Slicing Software for Model Construction. PEPM Matthew B. Dwyer, John Hatcliff
1998	—	`conf`	Filter-Based Model Checking of Partial Systems. SIGSOFT FSE Matthew B. Dwyer, Corina S. Pasareanu
1998	—	`conf`	Model Checking Generic Container Implementations. Generic Programming Matthew B. Dwyer, Corina S. Pasareanu
1998	—	`conf`	Property specification patterns for finite-state verification. FMSP Matthew B. Dwyer, George S. Avrunin, James C. Corbett
1998	—	`conf`	Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP John Hatcliff, Matthew B. Dwyer, Shawn Laubach
1998	J	`jnl`	Using Partial Evaluation to Enable Verification of Concurrent Software. ACM Comput. Surv. Matthew B. Dwyer, John Hatcliff, Muhammad Nanda
1997	J	`jnl`	A Framework for Parallel Adaptive Grid Simulations. Concurr. Pract. Exp. Matthew B. Dwyer, Virgil Wallentine
1997	—	`conf`	Model Checking Graphical User Interfaces Using Abstractions. ESEC / SIGSOFT FSE Matthew B. Dwyer, Vicki Carr, Laura Hines
1997	A*	`conf`	Modular Flow Analysis for Concurrent Software. ASE Matthew B. Dwyer
1997	Misc	`conf`	Object-Oriented Coordination Abstractions for Parallel Software. PDPTA Matthew B. Dwyer, Virgil Wallentine
1997	A*	`conf`	Verification of Concurrent Software with FLAVERS. ICSE Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
1996	J	`jnl`	A Compact Petri Net Representation and Its Implications for Analysis. IEEE Trans. Software Eng. Matthew B. Dwyer, Lori A. Clarke
1996	A*	`conf`	A Flexible Architecture for Building Data Flow Analyzers. ICSE Matthew B. Dwyer, Lori A. Clarke
1996	—	`conf`	An Application-Independent Concurrency Skeleton in Ada 95. TRI-Ada Matthew B. Dwyer, Matthew J. Craig, Eric Runquist
1995	A*	`conf`	A Compact Petri Net Representation for Concurrent Programs. ICSE Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
1994	—	`conf`	Data Flow Analysis for Verifying Properties of Concurrent Programs. SIGSOFT FSE Matthew B. Dwyer, Lori A. Clarke