Software falsifier

Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2000, Pages 174-185

  Brand, Daniel ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DATA FLOW ANALYSIS; ERROR ANALYSIS; PROGRAM COMPILERS;

SOFTWARE FALSIFIERS; STATIC SOURCE-CODE ANALYSIS;

COMPUTER SOFTWARE PORTABILITY;

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

References (27)