User: Guest  Login
Author(s):
Wang, Farn; Cheng, Chih-Hong 
Title:
Program Repair Suggestions from Graphical State-Transition Specifications 
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