Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language. - Alexander S. Kossatchev; P. Kutter; Mikhail Posypkin (Program. Comput. Softw., 2004)