Program Repair Suggestions from Graphical State-Transition Specifications

Title:: Program Repair Suggestions from Graphical State-Transition Specifications
Author(s):: Wang, Farn; Cheng, Chih-Hong
Keywords:: external
Book / Congress title:: 28th IFIP WG 6.1 International Conference in Formal Techniques for Networked and Distributed Systems (FORTE)
Volume:: 5048
Publisher:: Springer
Year:: 2008
Pages:: 185--200
Bookseries title:: Lecture Notes in Computer Science
Fulltext / DOI:: doi:10.1007/978-3-540-68855-6_12
BibTeX

Occurrences: