Matthew B. Dwyer

Proceedings of the First NASA Formal Methods Symposium, 2009

Regression model checking.

[BibT_eX]

[DOI]

Guowei Yang

Gregg Rothermel

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Predictable Runtime Monitoring.

[BibT_eX]

[DOI]

Haitao Zhu

Steve Goddard

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008

Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach.

[BibT_eX]

[DOI]

Myra B. Cohen

Jiangfan Shi

IEEE Trans. Software Eng., 2008

Residual Checking of Safety Properties.

[BibT_eX]

[DOI]

Rahul Purandare

Proceedings of the Model Checking Software, 2008

Differential symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Increasing Test Granularity by Aggregating Unit Tests.

[BibT_eX]

[DOI]

Matthew Jorde

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Reducing the Cost of Path Property Monitoring Through Sampling.

[BibT_eX]

[DOI]

Madeline Diep

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Trace Normalization.

[BibT_eX]

[DOI]

Madeline Diep

Matthew Dwyer

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

A new foundation for control dependence and slicing for modern program structures.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.

[BibT_eX]

[DOI]

Rahul Purandare

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Reducing irrelevant trace variations.

[BibT_eX]

[DOI]

Madeline Diep

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Interaction testing of highly-configurable systems in the presence of constraints.

[BibT_eX]

[DOI]

Myra B. Cohen

Jiangfan Shi

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java.

[BibT_eX]

[DOI]

Alex Kinneer

Gregg Rothermel

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Adaptive Online Program Analysis.

[BibT_eX]

[DOI]

Alex Kinneer

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Formal Software Analysis Emerging Trends in Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering, 2007

Parallel Randomized State-Space Search.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Checking JML specifications using an extensible software model checking framework.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

Bogor: A Flexible Framework for Creating Software Model Checkers.

[BibT_eX]

[DOI]

Proceedings of the Testing: Academia and Industry Conference, 2006

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

Matthew Hoosier

Todd Wallentine

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Carving differential unit test cases from system test cases.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Controlling factors in evaluating path-sensitive error detection techniques.

[BibT_eX]

[DOI]

Suzette Person

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Domain-specific Model Checking Using The Bogor Framework.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Coverage and adequacy in software product line testing.

[BibT_eX]

[DOI]

Myra B. Cohen

Jiangfan Shi

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

2005

Translating Java for Multiple Model Checkers: The Bandera Back-End.

[BibT_eX]

[DOI]

Radu Iosif

Formal Methods Syst. Des., 2005

Extending JML for Modular Specification and Verification of Multi-threaded Programs.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2005, 2005

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Flow analysis for verifying properties of concurrent software systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2004

Introductory paper.

[BibT_eX]

[DOI]

Stefan Leue

Int. J. Softw. Tools Technol. Transf., 2004

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2004

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

Checking Strong Specifications Using an Extensible Software Model Checking Framework.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

SyncGen: An Aspect-Oriented Framework for Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Analyzing Interaction Orderings with Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

A Case Study in Domain-customized Model Checking for Real-time Component Software.

[BibT_eX]

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.

[BibT_eX]

[DOI]

Adam Childs

Jesse Greenwald

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Supporting model checking education using BOGOR/Eclipse.

[BibT_eX]

[DOI]

Matthew Hoosier

Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Construction and Analysis of Safe, 2004

2003

Finding feasible abstract counter-examples.

[BibT_eX]

[DOI]

Willem Visser

Int. J. Softw. Tools Technol. Transf., 2003

Space-Reduction Strategies for Model Checking Dynamic Software.

[BibT_eX]

[DOI]

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Adapting side effects analysis for modular program model checking.

[BibT_eX]

[DOI]

Oksana Tkachuk

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Bogor: an extensible and highly-modular software model checking framework.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Slicing and partial evaluation of CORBA component model designs for avionics system.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

Cadena: enabling CCM-based application development in Eclipse.

[BibT_eX]

[DOI]

Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

Automated Environment Generation for Software Model Checking.

[BibT_eX]

[DOI]

Oksana Tkachuk

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Space Reductions for Model Checking Quasi-Cyclic Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Third International Conference, 2003

2002

Expressing checkable properties of dynamic systems: the Bandera Specification Language.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2002

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

Software Model Checking: The Bandera approach.

[BibT_eX]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

Foundations of the Bandera Abstraction Tools.

[BibT_eX]

[DOI]

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.

[BibT_eX]

[DOI]

Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Tool-Supported Program Abstraction for Finite-State Verification.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

Benchmarking Finite-State Verifiers.

[BibT_eX]

[DOI]

George S. Avrunin

James C. Corbett

Int. J. Softw. Tools Technol. Transf., 2000

Adapting programming languages technologies for finite-state verification.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Slicing Software for Model Construction.

[BibT_eX]

[DOI]

Hongjun Zheng

High. Order Symb. Comput., 2000

A Language Framework for Expressing Checkable Properties of Dynamic Software.

[BibT_eX]

[DOI]

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Bandera: a source-level interface for model checking Java programs.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Bandera: extracting finite-state models from Java source code.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Assume-Guarantee Model Checking of Software: A Comparative Case Study.

[BibT_eX]

[DOI]

Michael Huth

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 6th International Symposium, 1999

Slicing Software for Model Construction.

[BibT_eX]

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Patterns in Property Specifications for Finite-State Verification.

[BibT_eX]

[DOI]

George S. Avrunin

James C. Corbett

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Using Partial Evaluation to Enable Verification of Concurrent Software.

[BibT_eX]

[DOI]

Muhammad Nanda

ACM Comput. Surv., 1998

Filter-Based Model Checking of Partial Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Staging Static Analyses Using Abstraction-Based Program Specialization.

[BibT_eX]

[DOI]

Shawn Laubach

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Property specification patterns for finite-state verification.

[BibT_eX]

[DOI]

George S. Avrunin

James C. Corbett

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

Model Checking Generic Container Implementations.

[BibT_eX]

[DOI]

Proceedings of the Generic Programming, 1998

1997

A Framework for Parallel Adaptive Grid Simulations.

[BibT_eX]

[DOI]

Virgil Wallentine

Concurr. Pract. Exp., 1997

Object-Oriented Coordination Abstractions for Parallel Software.

[BibT_eX]

Virgil Wallentine

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Modular Flow Analysis for Concurrent Software.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Verification of Concurrent Software with FLAVERS.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

Model Checking Graphical User Interfaces Using Abstractions.

[BibT_eX]

[DOI]

Vicki Carr

Laura Hines

Proceedings of the Software Engineering, 1997

1996

A Compact Petri Net Representation and Its Implications for Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

An Application-Independent Concurrency Skeleton in Ada 95.

[BibT_eX]

[DOI]

Matthew J. Craig

Eric Runquist

Proceedings of the annual meeting of the Ada programming world, 1996

A Flexible Architecture for Building Data Flow Analyzers.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

A Compact Petri Net Representation for Concurrent Programs.

[BibT_eX]

[DOI]

Kari A. Nies

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Data Flow Analysis for Verifying Properties of Concurrent Programs.

[BibT_eX]

[DOI]