Okun, V.
, Black, P.
and Yesha, Y.
(2003),
Testing with Model Checker: Insuring Fault Visibility, WSEAS Transactions on Systems, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=917181
(Accessed November 21, 2024)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Testing with Model Checker: Insuring Fault Visibility
Published
Author(s)
, , Yelena Yesha
Abstract
To detect a fault in software, a test case execution must be chosen so intermediate errors propagate to the output. We describe two modeling methods for specification-based mutation testing using model checkers that guarantee this propagation. We evaluate the methods empirically and show that they yield more useful tests than the previous "direct reflection" methods.Citation
WSEAS Transactions on Systems
Volume
2
Issue
1
Pub Type
Journals
Download Paper
Keywords
formal methods, model checking, specification-based testing, mutation testing
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.
Created January 5, 2003, Updated February 19, 2017