Theory of probabilistic functional testing

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 216-226

  Bernot, Gilles ^a   Bouaziz, Laurent ^a   Le Gall, Pascale ^a  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; PROBABILITY; RELIABILITY; SOFTWARE PROTOTYPING; SPECIFICATIONS; COMPUTER AIDED SOFTWARE ENGINEERING; DATA REDUCTION; PROBABILISTIC LOGICS; PROGRAM DEBUGGING; RANDOM PROCESSES;

FORMAL SPECIFICATIONS; PROBABILISTIC FUNCTIONAL TESTING;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION;

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

References (29)