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.

Search Publications by: Vadim Okun (Fed)

Displaying 26 - 27 of 27

Testing with Model Checkers: Insuring Fault Visibility

October 23, 2002

Author(s)

Vadim Okun, Paul E. Black, Y Yesha

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

Mutation Operators for Specifications

September 15, 2000

Author(s)

Paul E. Black, Vadim Okun, Yaacov Yesha

Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge about a system, and a recent method uses such specifications to automatically