LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications
作者： Bruno Marre
DOI: 10.1007/3-540-59293-8_240
关键词:
摘要:
springer.com
sci-hub.st 参考文章(3)
Marie-Claude Gaudel, Testing Can Be Formal, Too colloquium on trees in algebra and programming. pp. 82- 96 ,(1995) , 10.1007/3-540-59293-8_188
P Dauchy, M.-C Gaudel, B Marre, Using algebraic specifications in software testing: a case study on the software of an automatic subway Journal of Systems and Software. ,vol. 21, pp. 229- 244 ,(1993) , 10.1016/0164-1212(93)90025-S
Gilles Bernot, Marie Claude Gaudel, Bruno Marre, Software testing based on formal specifications: a theory and a tool Software Engineering Journal. ,vol. 6, pp. 387- 405 ,(1991) , 10.1049/SEJ.1991.0040