Automatic unit test data generation using mixed-integer linear programming and execution trees

Conference on Software Maintenance

Volumn , Issue , 1999, Pages 189-198

  Lapierre, S ^a   Merlo, E ^a   Savard, G ^a   Antoniol, G ^a   Fiutem, R ^a   Tonella, P ^a  

^a BELL CANADA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE SELECTION AND EVALUATION; CONFORMAL MAPPING; DATA STRUCTURES; LINEAR PROGRAMMING; STORAGE ALLOCATION (COMPUTER);

AUTOMATIC UNIT TEST DATA GENERATION; EXECUTION TREES; EXTENDED PATH CONSTRAINTS; MIXED INTEGER LINEAR PROGRAMMING; SYMBOLIC EXECUTION;

SOFTWARE ENGINEERING;

EID: 0033352872     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icsm.1999.792607     Document Type: Conference Paper

References (26)