Qualifying reusable functions using symbolic execution

Reverse Engineering - Working Conference Proceedings

Volumn , Issue , 1995, Pages 178-187

  Cimitile, Aniello ^a   De Lucia, Andrea ^a   Munro, Malcolm ^a  

^a Ingegneria Elettrica ^*  (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER SOFTWARE; INTERFACES (COMPUTER); SYSTEMS ANALYSIS;

REVERSE ENGINEERING SOURCE CODE MODULE; SOFTWARE REUSE; SYMBOLIC EXECUTION;

SOFTWARE ENGINEERING;

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

References (29)