Applying Model Checking to Destructive Testing and Analysis of Software System. - Hiroki Kumamoto; Takahisa Mizuno; Kensuke Narita; Shin-ya Nishizaki (J. Softw., 2013)

Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation. - Shin-ya Nishizaki; Kensuke Narita; Tomoyuki Ueda (J. Softw., 2015)