Matthew B. Dwyer

Willem Visser, Matthew B. Dwyer, Michael W. Whalen: The hidden models of model checking. Software and System Modeling 11(4): 541-555 (2012)

Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer: Integration Testing of Software Product Lines Using Compositional Symbolic Execution. FASE 2012: 270-284

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: 329-340

Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer: Extracting conditional component dependence for distributed robotic systems. IROS 2012: 1533-1540

Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer: Compositional load test generation for software pipelines. ISSTA 2012: 89-99

Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser: Probabilistic symbolic execution. ISSTA 2012: 166-176

Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer: Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE 2012: 58

Gary T. Leavens, Matthew B. Dwyer (Eds.): 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. ACM 2012, isbn 978-1-4503-1561-6

Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer: Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empirical Software Engineering 16(1): 61-102 (2011)

Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum: Lattice-Based Sampling for Path Property Monitoring. ACM Trans. Softw. Eng. Methodol. 21(1): 5 (2011)

Matthew B. Dwyer: Unifying testing and analysis through behavioral coverage. ASE 2011: 2

Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer: Automatic generation of load tests. ASE 2011: 43-52

Du Li, Witawas Srisa-an, Matthew B. Dwyer: SOS: saving time in dynamic race detection with stationary analysis. OOPSLA 2011: 35-50

Haitao Zhu, Steve Goddard, Matthew B. Dwyer: Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. RTSS 2011: 239-248

Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum: Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV 2011: 381-395

Matthew B. Dwyer, Frank Tip (Eds.): Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, isbn 978-1-4503-0562-4

Oksana Tkachuk, Matthew B. Dwyer: Environment generation for validating event-driven software using model checking. IET Software 4(3): 194-209 (2010)

Elena Sherman, Brady J. Garvin, Matthew B. Dwyer: A Slice-Based Decision Procedure for Type-Based Partial Orders. IJCAR 2010: 156-170

Matthew B. Dwyer: Exploiting Partial Success in Applying Automated Formal Methods. ICFEM 2010: 21

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: 49-58

Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum: Monitor optimization via stutter-equivalent loop transformation. OOPSLA 2010: 270-285

Haitao Zhu, Steve Goddard, Matthew B. Dwyer: Selecting Server Parameters for Predictable Runtime Monitoring. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 227-236

Matthew B. Dwyer, Rahul Purandare, Suzette Person: Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV 2010: 36-50

Matthew B. Dwyer, Sebastian G. Elbaum: Unifying verification and validation techniques: relating behavior and properties through partial evidence. FoSER 2010: 93-98

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): 29-45 (2009)

Haitao Zhu, Matthew B. Dwyer, Steve Goddard: Predictable Runtime Monitoring. ECRTS 2009: 173-183

Guowei Yang, Matthew B. Dwyer, Gregg Rothermel: Regression model checking. ICSM 2009: 115-124

Suzette Person, Matthew B. Dwyer: Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. NASA Formal Methods 2009: 46-55

Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum: Saturation-based testing of concurrent programs. ESEC/SIGSOFT FSE 2009: 53-62

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi: Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach. IEEE Trans. Software Eng. 34(5): 633-650 (2008)

Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer: Trace Normalization. ISSRE 2008: 67-76

Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer: Increasing Test Granularity by Aggregating Unit Tests. ASE 2008: 9-18

Matthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum: Reducing the Cost of Path Property Monitoring Through Sampling. ASE 2008: 228-237

Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu: Differential symbolic execution. SIGSOFT FSE 2008: 226-237

Matthew B. Dwyer, Rahul Purandare: Residual Checking of Safety Properties. SPIN 2008: 1-2

Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn (Eds.): 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. ACM 2008, isbn 978-1-60558-079-1

Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn (Eds.): 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume. ACM 2008, isbn 978-1-60558-079-1

Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5) (2007)

Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare: Parallel Randomized State-Space Search. ICSE 2007: 3-12

Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel: Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. ICSE Companion 2007: 51-52

Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136

Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum: Adaptive Online Program Analysis. ICSE 2007: 220-229

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi: Interaction testing of highly-configurable systems in the presence of constraints. ISSTA 2007: 129-139

Matthew B. Dwyer, Rahul Purandare: Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. ASE 2007: 124-133

Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer: Reducing irrelevant trace variations. ASE 2007: 477-480

Matthew B. Dwyer, Antónia Lopes (Eds.): 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. Lecture Notes in Computer Science 4422, Springer 2007, isbn 978-3-540-71288-6

Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking JML specifications using an extensible software model checking framework. STTT 8(3): 280-299 (2006)

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi: Coverage and adequacy in software product line testing. ROSATEA 2006: 53-63

Robby, Matthew B. Dwyer, John Hatcliff: Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370

Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum: Controlling factors in evaluating path-sensitive error detection techniques. SIGSOFT FSE 2006: 92-104

Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil: Carving differential unit test cases from system test cases. SIGSOFT FSE 2006: 253-264

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine: Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. TACAS 2006: 73-89

Robby, Matthew B. Dwyer, John Hatcliff: Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22

Radu Iosif, Matthew B. Dwyer, John Hatcliff: Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods in System Design 26(2): 137-180 (2005)

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby: Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV 2005: 148-152

Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby: Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576

Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93

Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath: Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design 25(2-3): 199-240 (2004)

Matthew B. Dwyer, Stefan Leue: Introductory paper. STTT 6(4): 257-259 (2004)

Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich: Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol. 13(4): 359-430 (2004)

Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby: A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS 2004: 210-228

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier: Supporting model checking education using BOGOR/Eclipse. ETX 2004: 88-92

Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh: Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE 2004: 160-164

Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff: A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA 2004: 161-180

Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer: A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) 2004: 261-267

Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno: SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS 2004: 158-162

Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420

John Hatcliff, Robby, Matthew B. Dwyer: Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190

Richard N. Taylor, Matthew B. Dwyer (Eds.): Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. ACM 2004, isbn 1-58113-855-5

Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif: Space-Reduction Strategies for Model Checking Dynamic Software. Electr. Notes Theor. Comput. Sci. 89(3): 499-517 (2003)

Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)

Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff: Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189

John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath: Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE 2003: 160-173

Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu: Automated Environment Generation for Software Model Checking. ASE 2003: 116-129

Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh: Cadena: enabling CCM-based application development in Eclipse. OOPSLA Workshop on Eclipse Technology eXchange 2003: 20-24

John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby: Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM 2003: 1-2

Oksana Tkachuk, Matthew B. Dwyer: Adapting side effects analysis for modular program model checking. ESEC / SIGSOFT FSE 2003: 188-197

Robby, Matthew B. Dwyer, John Hatcliff: Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Expressing checkable properties of dynamic systems: the Bandera Specification Language. STTT 4(1): 34-56 (2002)

John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby: Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh: Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO 2002: 154-181

Matthew B. Dwyer: Software Model Checking: The Bandera approach. FMOODS 2002: 3-4

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno: Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE 2002: 442-452

Matthew B. Dwyer, Jens Palsberg (Eds.): 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. ACM 2002

John Hatcliff, Matthew B. Dwyer: Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. CONCUR 2001: 39-58

Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187

Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298

Matthew B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Lecture Notes in Computer Science 2057, Springer 2001, isbn 3-540-42124-6

John Hatcliff, Matthew B. Dwyer, Hongjun Zheng: Slicing Software for Model Construction. Higher-Order and Symbolic Computation 13(4): 315-353 (2000)

Matthew B. Dwyer, John Hatcliff: Adapting programming languages technologies for finite-state verification. ACM SIGSOFT Software Engineering Notes 25(1): 46-49 (2000)

George S. Avrunin, James C. Corbett, Matthew B. Dwyer: Benchmarking Finite-State Verifiers. STTT 2(4): 317-320 (2000)

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng: Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223

Matthew B. Dwyer, George S. Avrunin, James C. Corbett: Patterns in Property Specifications for Finite-State Verification. ICSE 1999: 411-420

Matthew B. Dwyer, John Hatcliff: Slicing Software for Model Construction. PEPM 1999: 105-118

John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng: A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS 1999: 1-18

Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth: Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN 1999: 168-183

Matthew B. Dwyer, John Hatcliff, Muhammad Nanda: Using Partial Evaluation to Enable Verification of Concurrent Software. ACM Comput. Surv. 30(3es): 22 (1998)

Matthew B. Dwyer, Corina S. Pasareanu: Model Checking Generic Container Implementations. Generic Programming 1998: 162-177

Matthew B. Dwyer, George S. Avrunin, James C. Corbett: Property specification patterns for finite-state verification. FMSP 1998: 7-15

John Hatcliff, Matthew B. Dwyer, Shawn Laubach: Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151

Matthew B. Dwyer, Corina S. Pasareanu: Filter-Based Model Checking of Partial Systems. SIGSOFT FSE 1998: 189-202

Matthew B. Dwyer, Virgil Wallentine: A Framework for Parallel Adaptive Grid Simulations. Concurrency - Practice and Experience 9(11): 1293-1310 (1997)

Matthew B. Dwyer, Vicki Carr, Laura Hines: Model Checking Graphical User Interfaces Using Abstractions. ESEC / SIGSOFT FSE 1997: 244-261

Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer: Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595

Matthew B. Dwyer: Modular Flow Analysis for Concurrent Software. ASE 1997: 264-273

Matthew B. Dwyer, Virgil Wallentine: Object-Oriented Coordination Abstractions for Parallel Software. PDPTA 1997: 1034-1043

Matthew B. Dwyer, Lori A. Clarke: A Compact Petri Net Representation and Its Implications for Analysis. IEEE Trans. Software Eng. 22(11): 794-811 (1996)

Matthew B. Dwyer, Lori A. Clarke: A Flexible Architecture for Building Data Flow Analyzers. ICSE 1996: 554-564

Matthew B. Dwyer, Matthew J. Craig, Eric Runquist: An Application-Independent Concurrency Skeleton in Ada 95. TRI-Ada 1996: 179-192

Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies: A Compact Petri Net Representation for Concurrent Programs. ICSE 1995: 147-157

Matthew B. Dwyer, Lori A. Clarke: Data Flow Analysis for Verifying Properties of Concurrent Programs. SIGSOFT FSE 1994: 62-75