Software testing based on formal specifications. A theory and a tool

Software engineering journal

Volumn 6, Issue 6, 1991, Pages 387-405

  Bernot, Gilles ^a   Gaude, Marie Claude ^a   Marre, Bruno ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER INTERFACES - APPLICATIONS; COMPUTER PROGRAMMING - FLOWCHARTING; COMPUTER PROGRAMMING - PROGRAM DIAGNOSTICS; COMPUTER PROGRAMMING - STRUCTURED PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES - PROLOG;

BLACK BOX TESTING; FORMAL AND ALGEBRAIC SPECIFICATIONS; HORN CLAUSE LOGIC; HYPOTHESIS TESTING; IDEAL EXHAUSTIVE TEST DATA SETS; INTERACTIVE SYSTEMS;

COMPUTER SOFTWARE;

EID: 0026256511     PISSN: 02686961     EISSN: None     Source Type: Journal    
DOI: 10.1049/sej.1991.0040     Document Type: Article

References (34)