Testing can be formal, too 论文

1995Lecture notes in computer science引用 261
Software Testing and Debugging TechniquesFormal Methods in VerificationVLSI and Analog Circuit Testing