Abstracting formal specifications to generate software tests via model checking

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 1999, Pages

  Ammann, Paul ^a   Black, Paul E ^a  

^a GEORGE MASON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; PROGRAM DIAGNOSTICS; VIRTUAL REALITY;

MODEL CHECKERS; MUTATION ANALYSIS; SOFTWARE TEST; VIRTUAL MACHINE;

SOFTWARE ENGINEERING;

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

References (18)