Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
A. S. Kossatchev, P. Kutter, M. A. PosypkinVolume:
30
Language:
english
Pages:
12
DOI:
10.1023/b:pacs.0000036420.25147.da
Date:
July, 2004
File:
PDF, 111 KB
english, 2004