Using formal methods to derive test frames in category-partition testing

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1994, Pages 69-79

  Ammann, Paul ^a   Offutt, Jeff ^a  

^a GEORGE MASON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; PROGRAM DEBUGGING; SOFTWARE ENGINEERING; STANDARDS;

CATEGORY PARTITION TESTING; FILE SYSTEM; FORMAL METHODS; FUNCTIONAL SPECIFICATIONS; MECHANICAL PROCESS; SPECIFICATION BASED TESTING METHOD;

COMPUTER SOFTWARE;

EID: 0028555261     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)