메뉴 건너뛰기




Volumn 6956 LNCS, Issue , 2011, Pages 1-4

Search-based program analysis

Author keywords

program analysis; specifications; test case generation

Indexed keywords

DYNAMIC TECHNIQUES; FAULT LOCALIZATION; PROGRAM ANALYSIS; SEARCH-BASED; SOFTWARE BEHAVIOR; SPECIFICATION MINING; STATIC TECHNIQUES; TEST CASE GENERATION; UNDER-APPROXIMATION;

EID: 80052877926     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23716-4_1     Document Type: Conference Paper
Times cited : (3)

References (5)
  • 2
    • 77955908856 scopus 로고    scopus 로고
    • Mutation-driven Generation of Unit Tests and Oracles
    • Fraser, G., Zeller, A.: Mutation-driven Generation of Unit Tests and Oracles. In: Proc. ISSTA (2010), http://www.st.cs.uni-saarland.de/publications/ details/fraser-issta-2010/
    • Proc. ISSTA (2010)
    • Fraser, G.1    Zeller, A.2
  • 4
    • 80052883741 scopus 로고    scopus 로고
    • Mining Specifications: A Roadmap
    • Nanz, S. (ed.) Springer, Zurich
    • Zeller, A.: Mining Specifications: A Roadmap. In: Nanz, S. (ed.) The Future of Software Engineering. Springer, Zurich (2010), http://fose.ethz.ch/ proceedings.html
    • (2010) The Future of Software Engineering
    • Zeller, A.1
  • 5
    • 79955033738 scopus 로고    scopus 로고
    • Specifications for free
    • Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. Springer, Heidelberg
    • Zeller, A.: Specifications for free. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 2-12. Springer, Heidelberg (2011), http://dx.doi.org/10.1007/978-3-642-20398-5-2
    • (2011) LNCS , vol.6617 , pp. 2-12
    • Zeller, A.1


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