论文信息 - LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications - 字舞流文

LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications

Bruno Marre | B. Marre

[1] Marie-Claude Gaudel,et al. Using algebraic specifications in software testing: A case study on the software of an automatic subway , 1993, J. Syst. Softw..

[2] Marie-Claude Gaudel,et al. Testing Can Be Formal, Too , 1995, TAPSOFT.

[3] Marie-Claude Gaudel,et al. Software testing based on formal specifications: a theory and a tool , 1991, Softw. Eng. J..