- New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce
- Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach
- Error Explanation with Distance Metrics Alex Groce1
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques
- Verifying C++ with STL Containers via Predicate Abstraction
- Extending Model Checking with Dynamic Alex Groce and Rajeev Joshi
- BMC 2004 Preliminary Version Making the Most of BMC Counterexamples
- What Went Wrong: Explaining Counterexamples
- Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi
- Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- From Scripts to Specifications The Evolution of a Flight Software Testing Effort
- Tackling Large Verification Problems with the Swarm Tool1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce
- Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann,
- Understanding Counterexamples with explain Alex Groce, Daniel Kroening, and Flavio Lerda
- Predicate Abstraction with Minimum Predicates Sagar Chaki Edmund Clarke Alex Groce Ofer Strichman
- Modular Verification of Software Components in C Sagar Chaki Edmund Clarke Alex Groce
- Efficient Model Checking Via Buchi Tableau Automata Girish S. Bhat
- Adaptive Model Checking Alex Groce1
- Putting Flight Software Through the Paces with Testing, Model Checking, and
- What Went Wrong: Explaining Counterexamples Alex Groce1
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Swarm Verification1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce
- TRANSACTIONS OF SOFTWARE ENGINEERING, VOL. 1, NO. 8, SEPTEMBER 2004 1 Modular Verification of
- Random Test Run Length and Effectiveness James H. Andrews, Alex Groce, Melissa Weston, and Ru-Gang Xu
- VeriAgent: an Approach to Integrating UML and Formal Verification Tools
- (Quickly) Testing the Tester via Path Coverage Laboratory for Reliable Software
- Model Driven Code Checking Gerard J. Holzmann, Rajeev Joshi, Alex Groce
- Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration
- Counterexample Guided Abstraction Refinement Via Program Execution
- Explaining Abstract Counterexamples Sagar Chaki
- Heuristic Model Checking for Java Programs Alex Groce1
- Coverage Rewarded: Test Input Generation via Adaptation-Based Programming
