Generating test data from state-based specifications

Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system‐level testing techniques are only described informally. This paper presents formal testing criteria for system level testing that are b...

Full description

Bibliographic Details

Published in:	Software testing, verification & reliability Vol. 13; no. 1; pp. 25 - 53
Main Authors:	Offutt, Jeff, Liu, Shaoying, Abdurazik, Aynur, Ammann, Paul
Format:	Journal Article
Language:	English
Published:	Chichester, UK John Wiley & Sons, Ltd 01.01.2003
Subjects:	formal methods software testing specification-based testing
ISSN:	0960-0833, 1099-1689
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!