| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer |
Integration Testing of Software Product Lines Using Compositional Symbolic Execution.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer |
Evaluating improvements to a meta-heuristic search for constrained interaction testing. |
Empirical Software Engineering |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum |
Lattice-Based Sampling for Path Property Monitoring. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ISSTA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer |
Automatic generation of load tests. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer |
Unifying testing and analysis through behavioral coverage. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Zhu, Steve Goddard, Matthew B. Dwyer |
Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. |
RTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Du Li, Witawas Srisa-an, Matthew B. Dwyer |
SOS: saving time in dynamic race detection with stationary analysis. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oksana Tkachuk, Matthew B. Dwyer |
Environment generation for validating event-driven software using model checking. |
IET Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer |
Exploiting Partial Success in Applying Automated Formal Methods. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Rahul Purandare, Suzette Person |
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Sherman, Brady J. Garvin, Matthew B. Dwyer |
A Slice-Based Decision Procedure for Type-Based Partial Orders. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
Monitor optimization via stutter-equivalent loop transformation. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Sebastian G. Elbaum |
Unifying verification and validation techniques: relating behavior and properties through partial evidence. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Zhu, Steve Goddard, Matthew B. Dwyer |
Selecting Server Parameters for Predictable Runtime Monitoring. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Zhu, Matthew B. Dwyer, Steve Goddard |
Predictable Runtime Monitoring. |
ECRTS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guowei Yang, Matthew B. Dwyer, Gregg Rothermel |
Regression model checking. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum |
Saturation-based testing of concurrent programs. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
coverage, concurrent programs, test adequacy criteria |
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer |
Increasing Test Granularity by Aggregating Unit Tests. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum |
Reducing the Cost of Path Property Monitoring Through Sampling. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Rahul Purandare |
Residual Checking of Safety Properties. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer |
Trace Normalization. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 |
ICSE Companion |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn (eds.) |
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008 |
ICSE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu |
Differential symbolic execution. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
program differencing, software evolution, symbolic execution |
| 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. |
2007 |
DBLP DOI BibTeX RDF |
Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence |
| 1 | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
Interaction testing of highly-configurable systems in the presence of constraints. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
constraints, SAT, covering arrays, combinatorial interaction testing |
| 1 | Matthew B. Dwyer, Rahul Purandare |
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
optimizing run-time monitors, static error detection |
| 1 | Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer |
Reducing irrelevant trace variations. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
trace simplification, execution traces, trace analysis |
| 1 | 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 |
FASE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel |
Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser |
Formal Software Analysis Emerging Trends in Software Model Checking. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum |
Adaptive Online Program Analysis. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare |
Parallel Randomized State-Space Search. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking JML specifications using an extensible software model checking framework. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
Coverage and adequacy in software product line testing. |
ROSATEA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Domain-specific Model Checking Using The Bogor Framework. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Bogor: A Flexible Framework for Creating Software Model Checkers. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum |
Controlling factors in evaluating path-sensitive error detection techniques. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
model checking, empirical study, path-sensitive analysis |
| 1 | Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil |
Carving differential unit test cases from system test cases. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
carving and replay, regression testing, automated test generation |
| 1 | Radu Iosif, Matthew B. Dwyer, John Hatcliff |
Translating Java for Multiple Model Checkers: The Bandera Back-End. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby |
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
model checking, Dataflow analysis, finite-state verification |
| 1 | Matthew B. Dwyer, Stefan Leue |
Introductory paper. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Software engineering, Program analysis, Software model checking |
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
software verifcation, locking discipline, software model checking, partial order reduction, escape analysis |
| 1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
SyncGen: An Aspect-Oriented Framework for Synchronization. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking Strong Specifications Using an Extensible Software Model Checking Framework. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser |
Analyzing Interaction Orderings with Model Checking. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier |
Supporting model checking education using BOGOR/Eclipse. |
ETX |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | John Hatcliff, Robby, Matthew B. Dwyer |
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
SIGSOFT FSE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif |
Space-Reduction Strategies for Model Checking Dynamic Software. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
Finding feasible abstract counter-examples. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Counter-example analysis, Model checking, Abstract interpretation, Software verification |
| 1 | Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff |
Space Reductions for Model Checking Quasi-Cyclic Systems. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu |
Automated Environment Generation for Software Model Checking. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath |
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oksana Tkachuk, Matthew B. Dwyer |
Adapting side effects analysis for modular program model checking. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
modular flow analysis, model checking, assume-guarantee |
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Bogor: an extensible and highly-modular software model checking framework. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
modular, extensible, domain-specific, model checker |
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Expressing checkable properties of dynamic systems: the Bandera Specification Language. |
STTT |
2002 |
DBLP DOI BibTeX RDF |
Model checking, Object-oriented programs, Temporal specification |
| 1 | Matthew B. Dwyer |
Software Model Checking: The Bandera approach. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh |
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
PASTE |
2002 |
DBLP BibTeX RDF |
|
| 1 | John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby |
Foundations of the Bandera Abstraction Tools. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Matthew B. Dwyer |
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer (eds.) |
Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings |
SPIN |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Matthew B. Dwyer, Hongjun Zheng |
Slicing Software for Model Construction. |
Higher-Order and Symbolic Computation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, James C. Corbett, Matthew B. Dwyer |
Benchmarking Finite-State Verifiers. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Model checking, Benchmarking, Empirical evaluation, Finite-state verification |
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
A Language Framework for Expressing Checkable Properties of Dynamic Software. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Bandera: a source-level interface for model checking Java programs. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
debugging and testing, Java, Java, model checking, program analysis |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction |
| 1 | Matthew B. Dwyer, John Hatcliff |
Slicing Software for Model Construction. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth |
Assume-Guarantee Model Checking of Software: A Comparative Case Study. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, George S. Avrunin, James C. Corbett |
Patterns in Property Specifications for Finite-State Verification. |
ICSE |
1999 |
DBLP BibTeX RDF |
formal specification, patterns, concurrent systems, finite-state verification |
| 1 | Matthew B. Dwyer, John Hatcliff, Muhammad Nanda |
Using Partial Evaluation to Enable Verification of Concurrent Software. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Corina S. Pasareanu |
Model Checking Generic Container Implementations. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
generic containers, Model checking, temporal logic, assume-guarantee reasoning |
| 1 | John Hatcliff, Matthew B. Dwyer, Shawn Laubach |
Staging Static Analyses Using Abstraction-Based Program Specialization. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, George S. Avrunin, James C. Corbett |
Property specification patterns for finite-state verification. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
formal specification, patterns, concurrent systems, finite-state verification |
| 1 | Matthew B. Dwyer, Corina S. Pasareanu |
Filter-Based Model Checking of Partial Systems. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation |
| 1 | Matthew B. Dwyer, Virgil Wallentine |
A Framework for Parallel Adaptive Grid Simulations. |
Concurrency - Practice and Experience |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer |
Modular Flow Analysis for Concurrent Software. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming |
| 1 | Matthew B. Dwyer, Virgil Wallentine |
Object-Oriented Coordination Abstractions for Parallel Software. |
PDPTA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Vicki Carr, Laura Hines |
Model Checking Graphical User Interfaces Using Abstractions. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")