Empirical studies of predicate-based software testing

Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 1994, Pages 55-64

  Vouk, M A ^a   Tai, K C ^a   Paradkar, A ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY SEQUENCES; BOOLEAN ALGEBRA; FAILURE ANALYSIS; PERFORMANCE; RANDOM PROCESSES; SPECIFICATIONS; STABILITY;

BOOLEAN OPERATOR; FAULT DETECTION; PREDICATE BASED SOFTWARE TESTING;

COMPUTER SOFTWARE;

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

References (35)