Automated construction of testing and analysis tools

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1994, Pages 241-252

  Devanbu, Premkumar T ^a   Rosenblum, David S ^a   Wolf, Alexander L ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING; COMPUTER SOFTWARE; TESTING;

ABSTRACT SEMANTICS GRAPH; ARIA SYSTEM; ABSTRACT SEMANTICS GRAPH (ASG); ABSTRACT SYNTAX TREE (AST); ASG-BASED TESTING; GENOA SYSTEMS; GRAPH-REPRESENTATION-BASED TESTING; REPRISE ABSTRACT SEMANTICS GRAPHS;

COMPUTER SOFTWARE;

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

References (12)