메뉴 건너뛰기




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;

EID: 37849040831     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1121341.1121418     Document Type: Conference Paper
Times cited : (5)

References (14)
  • 4
    • 37849005365 scopus 로고    scopus 로고
    • Ctool. http://sourceforge.net/projects/ctool/
    • Ctool
  • 5
    • 37849037289 scopus 로고    scopus 로고
    • The Economic Impacts of Inadequate Infrastructure for Software Testing, project 7007.011, May
    • The Economic Impacts of Inadequate Infrastructure for Software Testing. National Institute of Standards and Technology report, prepared by RTI (project 7007.011), May 2002.
    • (2002) National Institute of Standards and Technology report, prepared by RTI
  • 7
    • 0000596666 scopus 로고
    • Purify: Fast Detection of Memory Leaks and Access Errors
    • Winter
    • R. Hastings and B. Joyce. Purify: Fast Detection of Memory Leaks and Access Errors. 1992 Winter USENIX Conference, Jan. 1992.
    • (1992) USENIX Conference, Jan
    • Hastings, R.1    Joyce, B.2
  • 10
    • 30944439123 scopus 로고    scopus 로고
    • GENERIC and GIMPLE: A New Tree Representation for Entire Functions
    • Summit, May
    • J. Merrill. GENERIC and GIMPLE: A New Tree Representation for Entire Functions. GCC Developer's Summit, May 2003.
    • (2003) GCC Developer's
    • Merrill, J.1
  • 13
    • 0033924669 scopus 로고    scopus 로고
    • What is Software Testing? And Why Is It So Hard?
    • Jan/Feb
    • J. Whittaker. What is Software Testing? And Why Is It So Hard? IEEE Software, Jan/Feb 2000.
    • (2000) IEEE Software
    • Whittaker, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.