Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Validation, verification and testing of computer software;Adrion;ACM Comput. Surveys,1982
2. Modélisation de la notion de test de programmes; application à la production de jeux de test;Bougé,1982
3. A proposition for a theory of testing: an abstract approach to the testing process;Bougé,1983
4. Application of PROLOG to test sets generation from algebraic specifications;Bougé,1985
5. Mutation analysis: ideas, examples, problems and prospects;Budd,1981
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献