A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.

• ftp://ftp.cs.iastate.edu/pub/techreports/TR01-12/TR.pdf

Yoonsik CheonとGary T. Leavensによる、形式言語を利用したユニットテストの自動生成の論文、の模様。