|
Volumn , Issue , 2007, Pages 249-253
|
An undergraduate course on software bug detection tools and techniques
|
Author keywords
Compilers; Computer science education; Computer security; Software engineering; Software testing; Software verification
|
Indexed keywords
BUG DETECTION TOOLS;
COMPUTER SCIENCE EDUCATION;
SOFTWARE VERIFICATION;
SOURCE CONVERTERS;
COMPUTER AIDED SOFTWARE ENGINEERING;
ENGINEERING EDUCATION;
INTRUSION DETECTION;
PROGRAM COMPILERS;
SOFTWARE TESTING;
VERIFICATION;
COMPUTER VIRUSES;
|
EID: 37849040831
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/1121341.1121418 Document Type: Conference Paper |
Times cited : (5)
|
References (14)
|