CASTING: A formally based software test generation method

Proceedings of the International Conference on Formal Engineering Methods, ICFEM

Volumn , Issue , 1997, Pages 101-110

  Van Aertryck, Lionel ^a   Benveniste, Marc ^a   Le Metayer, Daniel ^a  

^a Alliance Qualite Logiciel   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC;

COMPUTER ASSISTED SOFTWARE TEST ENGINEERING METHOD (CASTING);

COMPUTER SOFTWARE SELECTION AND EVALUATION;

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

References (8)