Two notions of correctness and their relation to testing 论文

1982Acta Informatica引用 258
Machine Learning and AlgorithmsSoftware Testing and Debugging TechniquesVLSI and Analog Circuit Testing