Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module

• Authors:

• Pierre Dauchy;Bruno Marre

• Affiliations:

• -;-

• Venue:
• ESEC '91 Proceedings of the 3rd European Software Engineering Conference
• Year:
• 1991