Author:
Hierons Robert M.,Harman Mark,Singh Harbhajan
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. N. Amla and P. Ammann. Using Z specifications in category partition testing. In COMPASS’ 92, Seventh Annual Conference on Computer Assurance, pages 15–18, Gaithersburg, MD, USA, 1992.
2. T. Y. Chen and P. L. Poon. Construction of classification trees via the classification-hierarchy table. Information and Software Technology, 39:889–896, 1997.
3. T. Y. Chen and P. L. Poon. On the effectiveness of classification trees for test case construction. Information and Software Technology, 40:765–775, 1998.
4. J. Derrick and E. Boiten. Testing refinements of state-based formal specifications. Journal of Software Testing, Verification, and Reliability, 9:27–50, 1999.
5. Lect Notes Comput Sci;J. Dick,1993
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献