DOI10.1023/B:CASA.0000028098.13611.a2zbMath1081.68582MaRDI QIDQ557468
V. P. Kotlyarov, V. A. Sukhomlinov
Publication date: 30 June 2005 Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
zbMATH Keywords
test generationmacrosMSCprogram testing
Mathematics Subject Classification ID
Theory of software (68N99)