LOFT: A tool for assisting selection of test data sets from algebraic specifications

  • Bruno Marre
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 915)


  1. 1.
    Bernot, G. and Gaudel, M.-C. and Marre, B. Software testing based on formal specifications: a theory and a tool Software Engineering Journal, Vol.6, Num.6, pp.387–405. November 1991.Google Scholar
  2. 2.
    Gaudel, M.-C. Testing can be formal, too Proceedings of TAPSOFT'95. March 1995.Google Scholar
  3. 3.
    Dauchy, P. and Gaudel, M.-C. and Marre, B. Using algebraic specifications in software testing: a case study on the software of an automatic subway Journal of Systems and Software, ELSEVIER, Vol.21, Num.3, pp.229–244. June 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Bruno Marre
    • 1
  1. 1.Laboratoire de Recherche en InformatiqueUniversité de Paris-SudOrsay CedexFrance

Personalised recommendations