Program Repair without Regret
- 1 January 2013
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGICLecture Notes in Computer Science, 2008
- Fixing Design Errors With Counterexamples and ResynthesisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2007
- Revising UNITY Programs: Possibilities and LimitationsLecture Notes in Computer Science, 2006
- From symptom to causeACM SIGPLAN Notices, 2003
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingLecture Notes in Computer Science, 2002
- Trail-Directed Model CheckingElectronic Notes in Theoretical Computer Science, 2001
- Enhancing model checking in verification by AI techniquesArtificial Intelligence, 1999
- Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking.Published by Defense Technical Information Center (DTIC) ,1994
- On the power of bounded concurrency IJournal of the ACM, 1994
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969