Wang, F.F.WangCheng, C.-H.C.-H.ChengFARN WANG2020-06-042020-06-042008https://scholars.lib.ntu.edu.tw/handle/123456789/497126Program repair suggestions from graphical state-transition specificationsconference paper10.1007/978-3-540-68855-6_122-s2.0-45749112590https://www.scopus.com/inward/record.uri?eid=2-s2.0-45749112590&doi=10.1007%2f978-3-540-68855-6_12&partnerID=40&md5=cbae39de2ca4445a31473cdc3bb3acfa