In this paper, we present a specification-based testing approach in which, first, the specification is validated by verifying important system properties using model checking, consequently increasing our confidence in it. Then, suitable test cases are generated for a system implementation using the previous specification as test oracle.
Members-Only Content
This content is restricted to members only.
You must be logged in with an active membership to access this page.
Please click the link below to log in. If you do not have an account or your membership is inactive, you may need to register or renew it.