On-the-fly conformance testing using SPIN

• 1 March 2000
• journal article
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 2  (4) , 382-393
• https://doi.org/10.1007/s100090050044

Abstract

Keywords

• CONFORMANCE TESTING { FORMAL METHODS { TEST GENERATION ALGORITHMS { TEST AUTOMATION { SPIN VER- ICATION TOOL
• STATE SPACE
• FORMAL METHOD
• FORMAL SPECIFICATION
• CONFORMANCE TESTING