Program repair suggestions from graphical state-transition specifications

Journal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Volume

5048 LNCS

Pages

185-200

Date Issued

2008

Author(s)

Wang, F.

Cheng, C.-H.

DOI

URI

URL

Type

conference paper