Alexander Kossatchev P. Kutter Mikhail Posypkin Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language. 218-229 2004 30 Programming and Computer Software 4 http://dx.doi.org/10.1023/B:PACS.0000036420.25147.da db/journals/pcs/pcs30.html#KossatchevKP04