| 2009 |
|---|
| 85 | EE | 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) |
| 2008 |
|---|
| 84 | | Wilhelm Schäfer,
Matthew B. Dwyer,
Volker Gruhn:
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008
ACM 2008 |
| 83 | | Wilhelm Schäfer,
Matthew B. Dwyer,
Volker Gruhn:
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume
ACM 2008 |
| 82 | EE | Matthew B. Dwyer,
Madeline Diep,
Sebastian G. Elbaum:
Reducing the Cost of Path Property Monitoring Through Sampling.
ASE 2008: 228-237 |
| 81 | EE | Matthew Jorde,
Sebastian G. Elbaum,
Matthew B. Dwyer:
Increasing Test Granularity by Aggregating Unit Tests.
ASE 2008: 9-18 |
| 80 | EE | Madeline Diep,
Sebastian G. Elbaum,
Matthew B. Dwyer:
Trace Normalization.
ISSRE 2008: 67-76 |
| 79 | EE | Suzette Person,
Matthew B. Dwyer,
Sebastian G. Elbaum,
Corina S. Pasareanu:
Differential symbolic execution.
SIGSOFT FSE 2008: 226-237 |
| 78 | EE | Matthew B. Dwyer,
Rahul Purandare:
Residual Checking of Safety Properties.
SPIN 2008: 1-2 |
| 77 | EE | 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) |
| 2007 |
|---|
| 76 | | Matthew B. Dwyer,
Antónia Lopes:
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
Springer 2007 |
| 75 | EE | 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 |
| 74 | EE | Madeline Diep,
Sebastian G. Elbaum,
Matthew B. Dwyer:
Reducing irrelevant trace variations.
ASE 2007: 477-480 |
| 73 | EE | Matthew B. Dwyer,
John Hatcliff,
Robby,
Corina S. Pasareanu,
Willem Visser:
Formal Software Analysis Emerging Trends in Software Model Checking.
FOSE 2007: 120-136 |
| 72 | EE | Matthew B. Dwyer,
Alex Kinneer,
Sebastian G. Elbaum:
Adaptive Online Program Analysis.
ICSE 2007: 220-229 |
| 71 | EE | Matthew B. Dwyer,
Sebastian G. Elbaum,
Suzette Person,
Rahul Purandare:
Parallel Randomized State-Space Search.
ICSE 2007: 3-12 |
| 70 | EE | Alex Kinneer,
Matthew B. Dwyer,
Gregg Rothermel:
Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java.
ICSE Companion 2007: 51-52 |
| 69 | EE | Myra B. Cohen,
Matthew B. Dwyer,
Jiangfan Shi:
Interaction testing of highly-configurable systems in the presence of constraints.
ISSTA 2007: 129-139 |
| 68 | EE | 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) |
| 2006 |
|---|
| 67 | EE | Robby,
Matthew B. Dwyer,
John Hatcliff:
Domain-specific Model Checking Using The Bogor Framework.
ASE 2006: 369-370 |
| 66 | EE | Myra B. Cohen,
Matthew B. Dwyer,
Jiangfan Shi:
Coverage and adequacy in software product line testing.
ROSATEA 2006: 53-63 |
| 65 | EE | 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 |
| 64 | EE | Matthew B. Dwyer,
Suzette Person,
Sebastian G. Elbaum:
Controlling factors in evaluating path-sensitive error detection techniques.
SIGSOFT FSE 2006: 92-104 |
| 63 | EE | 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 |
| 62 | EE | Robby,
Matthew B. Dwyer,
John Hatcliff:
Bogor: A Flexible Framework for Creating Software Model Checkers.
TAIC PART 2006: 3-22 |
| 61 | EE | 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) |
| 2005 |
|---|
| 60 | EE | 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 |
| 59 | EE | 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 |
| 58 | EE | 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 |
| 57 | EE | 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) |
| 2004 |
|---|
| 56 | | Richard N. Taylor,
Matthew B. Dwyer:
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 |
| 55 | EE | Matthew B. Dwyer,
Robby,
Oksana Tkachuk,
Willem Visser:
Analyzing Interaction Orderings with Model Checking.
ASE 2004: 154-163 |
| 54 | EE | 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 |
| 53 | EE | Matthew B. Dwyer,
John Hatcliff,
Matthew Hoosier:
Supporting model checking education using BOGOR/Eclipse.
ETX 2004: 88-92 |
| 52 | EE | 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 |
| 51 | EE | 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 |
| 50 | | 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 |
| 49 | EE | Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Masaaki Mizuno:
SyncGen: An Aspect-Oriented Framework for Synchronization.
TACAS 2004: 158-162 |
| 48 | EE | Robby,
Edwin Rodríguez,
Matthew B. Dwyer,
John Hatcliff:
Checking Strong Specifications Using an Extensible Software Model Checking Framework.
TACAS 2004: 404-420 |
| 47 | EE | John Hatcliff,
Robby,
Matthew B. Dwyer:
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.
VMCAI 2004: 175-190 |
| 46 | EE | 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) |
| 45 | EE | 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) |
| 44 | EE | Matthew B. Dwyer,
Stefan Leue:
Introductory paper.
STTT 6(4): 257-259 (2004) |
| 2003 |
|---|
| 43 | EE | Oksana Tkachuk,
Matthew B. Dwyer,
Corina S. Pasareanu:
Automated Environment Generation for Software Model Checking.
ASE 2003: 116-129 |
| 42 | EE | Matthew B. Dwyer,
Robby,
Xianghua Deng,
John Hatcliff:
Space Reductions for Model Checking Quasi-Cyclic Systems.
EMSOFT 2003: 173-189 |
| 41 | EE | Oksana Tkachuk,
Matthew B. Dwyer:
Adapting side effects analysis for modular program model checking.
ESEC / SIGSOFT FSE 2003: 188-197 |
| 40 | EE | Robby,
Matthew B. Dwyer,
John Hatcliff:
Bogor: an extensible and highly-modular software model checking framework.
ESEC / SIGSOFT FSE 2003: 267-276 |
| 39 | EE | 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 |
| 38 | EE | 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 |
| 37 | EE | 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 |
| 36 | EE | Robby,
Matthew B. Dwyer,
John Hatcliff,
Radu Iosif:
Space-Reduction Strategies for Model Checking Dynamic Software.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
| 35 | EE | Corina S. Pasareanu,
Matthew B. Dwyer,
Willem Visser:
Finding feasible abstract counter-examples.
STTT 5(1): 34-48 (2003) |
| 2002 |
|---|
| 34 | | Matthew B. Dwyer,
Jens Palsberg:
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 |
| 33 | EE | 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 |
| 32 | | Matthew B. Dwyer:
Software Model Checking: The Bandera approach.
FMOODS 2002: 3-4 |
| 31 | EE | Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Masaaki Mizuno:
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.
ICSE 2002: 442-452 |
| 30 | EE | John Hatcliff,
Matthew B. Dwyer,
Corina S. Pasareanu,
Robby:
Foundations of the Bandera Abstraction Tools.
The Essence of Computation 2002: 172-203 |
| 29 | EE | 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) |
| 2001 |
|---|
| 28 | | Matthew B. Dwyer:
Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings
Springer 2001 |
| 27 | EE | John Hatcliff,
Matthew B. Dwyer:
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.
CONCUR 2001: 39-58 |
| 26 | | 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 |
| 25 | EE | Corina S. Pasareanu,
Matthew B. Dwyer,
Willem Visser:
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.
TACAS 2001: 284-298 |
| 2000 |
|---|
| 24 | EE | 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 |
| 23 | EE | James C. Corbett,
Matthew B. Dwyer,
John Hatcliff,
Robby:
Bandera: a source-level interface for model checking Java programs.
ICSE 2000: 762-765 |
| 22 | | James C. Corbett,
Matthew B. Dwyer,
John Hatcliff,
Robby:
A Language Framework for Expressing Checkable Properties of Dynamic Software.
SPIN 2000: 205-223 |
| 21 | | John Hatcliff,
Matthew B. Dwyer,
Hongjun Zheng:
Slicing Software for Model Construction.
Higher-Order and Symbolic Computation 13(4): 315-353 (2000) |
| 20 | EE | George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer:
Benchmarking Finite-State Verifiers.
STTT 2(4): 317-320 (2000) |
| 1999 |
|---|
| 19 | EE | Matthew B. Dwyer,
George S. Avrunin,
James C. Corbett:
Patterns in Property Specifications for Finite-State Verification.
ICSE 1999: 411-420 |
| 18 | | Matthew B. Dwyer,
John Hatcliff:
Slicing Software for Model Construction.
PEPM 1999: 105-118 |
| 17 | EE | 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 |
| 16 | EE | Corina S. Pasareanu,
Matthew B. Dwyer,
Michael Huth:
Assume-Guarantee Model Checking of Software: A Comparative Case Study.
SPIN 1999: 168-183 |
| 1998 |
|---|
| 15 | EE | Matthew B. Dwyer,
George S. Avrunin,
James C. Corbett:
Property specification patterns for finite-state verification.
FMSP 1998: 7-15 |
| 14 | EE | Matthew B. Dwyer,
Corina S. Pasareanu:
Model Checking Generic Container Implementations.
Generic Programming 1998: 162-177 |
| 13 | EE | John Hatcliff,
Matthew B. Dwyer,
Shawn Laubach:
Staging Static Analyses Using Abstraction-Based Program Specialization.
PLILP/ALP 1998: 134-151 |
| 12 | EE | Matthew B. Dwyer,
Corina S. Pasareanu:
Filter-Based Model Checking of Partial Systems.
SIGSOFT FSE 1998: 189-202 |
| 11 | EE | Matthew B. Dwyer,
John Hatcliff,
Muhammad Nanda:
Using Partial Evaluation to Enable Verification of Concurrent Software.
ACM Comput. Surv. 30(3es): 22 (1998) |
| 1997 |
|---|
| 10 | EE | Matthew B. Dwyer:
Modular Flow Analysis for Concurrent Software.
ASE 1997: 264-273 |
| 9 | EE | Matthew B. Dwyer,
Vicki Carr,
Laura Hines:
Model Checking Graphical User Interfaces Using Abstractions.
ESEC / SIGSOFT FSE 1997: 244-261 |
| 8 | EE | Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil,
Matthew B. Dwyer:
Verification of Concurrent Software with FLAVERS.
ICSE 1997: 594-595 |
| 7 | | Matthew B. Dwyer,
Virgil Wallentine:
Object-Oriented Coordination Abstractions for Parallel Software.
PDPTA 1997: 1034-1043 |
| 6 | | Matthew B. Dwyer,
Virgil Wallentine:
A Framework for Parallel Adaptive Grid Simulations.
Concurrency - Practice and Experience 9(11): 1293-1310 (1997) |
| 1996 |
|---|
| 5 | EE | Matthew B. Dwyer,
Lori A. Clarke:
A Flexible Architecture for Building Data Flow Analyzers.
ICSE 1996: 554-564 |
| 4 | EE | Matthew B. Dwyer,
Matthew J. Craig,
Eric Runquist:
An Application-Independent Concurrency Skeleton in Ada 95.
TRI-Ada 1996: 179-192 |
| 3 | EE | 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) |
| 1995 |
|---|
| 2 | EE | Matthew B. Dwyer,
Lori A. Clarke,
Kari A. Nies:
A Compact Petri Net Representation for Concurrent Programs.
ICSE 1995: 147-157 |
| 1994 |
|---|
| 1 | EE | Matthew B. Dwyer,
Lori A. Clarke:
Data Flow Analysis for Verifying Properties of Concurrent Programs.
SIGSOFT FSE 1994: 62-75 |
