Publisher
Oxford University Press (OUP)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Iterative automatic test generation method for telecommunication protocols;Computer Standards & Interfaces;2006-04
2. Validating feature-based specifications;Software: Practice and Experience;2006
3. Comparison of fault classes in specification-based testing;Information and Software Technology;2004-06
4. Applying Mutation Analysis to SDL Specifications;SDL 2003: System Design;2003
5. Mutation operators for specifications;Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering;2000