Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language

✍ Scribed by A. S. Kossatchev; P. Kutter; M. A. Posypkin

• Book ID: 111603193
• Publisher: SP MAIK Nauka/Interperiodica
• Year: 2004
• Tongue: English
• Weight: 111 KB
• Volume: 30
• Category: Article
• ISSN: 0361-7688
• DOI: 10.1023/b:pacs.0000036420.25147.da