Alex Groce

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), 2012

Lightweight Automated Testing with Adaptation-Based Programming.

[BibT_eX]

[DOI]

Mohammad Amin Alipour

Martin Erwig

Camden Lopez

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Learning-Based Test Programming for Programmers.

[BibT_eX]

[DOI]

Mohammad Amin Alipour

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

Swarm Verification Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Coverage rewarded: Test input generation via adaptation-based programming.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach.

[BibT_eX]

[DOI]

Proceedings of the End-User Development - Third International Symposium, 2011

2010

Formal Analysis of Log Files.

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2010

From scripts to specifications: the evolution of a flight software testing effort.

[BibT_eX]

[DOI]

Klaus Havelund

Margaret H. Smith

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

An Entry Point for Formal Methods: Specification and Analysis of Event Logs

[BibT_eX]

[DOI]

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Rule Systems for Runtime Verification: A Short Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 9th International Workshop, 2009

(Quickly) testing the tester via path coverage.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), 2009

2008

Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.

[BibT_eX]

[DOI]

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

Model driven code checking.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2008

Extending Model Checking with Dynamic Analysis.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2008

New Challenges in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Tackling Large Verification Problems with the Swarm Tool.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2008

Automated Testing of Planning Models.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Swarm Verification.

[BibT_eX]

[DOI]

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

Random Test Run Length and Effectiveness.

[BibT_eX]

[DOI]

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

Random testing and model checking: building a common framework for nondeterministic exploration.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

2007

Verifying C++ with STL containers via predicate abstraction.

[BibT_eX]

[DOI]

Nicolas Blanc

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

Randomized Differential Testing as a Prelude to Formal Verification.

[BibT_eX]

[DOI]

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

2006

Error explanation with distance metrics.

[BibT_eX]

[DOI]

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

Adaptive Model Checking.

[BibT_eX]

[DOI]

Doron A. Peled

Mihalis Yannakakis

Log. J. IGPL, 2006

Exploiting Traces in Program Analysis.

[BibT_eX]

[DOI]

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

2004

Modular Verification of Software Components in C.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Heuristics for model checking Java programs.

[BibT_eX]

[DOI]

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

Efficient Verification of Sequential and Concurrent C Programs.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2004

Making the Most of BMC Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004

Error Explanation with Distance Metrics.

[BibT_eX]

[DOI]

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

Explaining abstract counterexamples.

[BibT_eX]

[DOI]

Sagar Chaki

Ofer Strichman

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Counterexample Guided Abstraction Refinement Via Program Execution.

[BibT_eX]

[DOI]

Edmund M. Clarke

Proceedings of the Formal Methods and Software Engineering, 2004

Understanding Counterexamples with explain.

[BibT_eX]

[DOI]

Flavio Lerda

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

VeriAgent: an Approach to Integrating UML and Formal Verification Tools.

[BibT_eX]

[DOI]

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

What Went Wrong: Explaining Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2003

Predicate Abstraction with Minimum Predicates.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Heuristic Model Checking for Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

Model checking Java programs using structural heuristics.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2002

AMC: An Adaptive Model Checker.

[BibT_eX]

[DOI]

Doron A. Peled

Mihalis Yannakakis

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Efficient Model Checking Via Büchi Tableau Automata.

[BibT_eX]

[DOI]

Girish Bhat

Rance Cleaveland