Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis

• Authors:

• Richard Castanet;Davy Rouillard

• Affiliations:

• -;-

• Venue:
• TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
• Year:
• 2002