研究論文(国際会議プロシーディングス)
Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference (APSEC '08)
Iterative model fixing with counterexamples
Tsutomu Kumazawa , Tetsuo Tamai
369
376