메뉴 건너뛰기




Volumn , Issue , 2008, Pages 15-25

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software

Author keywords

Software model checking; Symbolic execution; System testing; Unit testing

Indexed keywords

CRITICAL SOFTWARES; CRITICAL SYSTEMS; DESIGN CHANGES; FLIGHT SOFTWARES; JAVA PATHFINDERS; NASA PROJECTS; PROGRAM DATUMS; PROGRAM EXECUTIONS; SOFTWARE MODEL CHECKING; SYMBOLIC EXECUTION; SYMBOLIC EXECUTIONS; SYSTEM TESTING; TEST CASE GENERATIONS; TEST CASES; UNIT TESTING;

EID: 57449120657     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390630.1390635     Document Type: Conference Paper
Times cited : (219)

References (35)
  • 6
    • 24644489632 scopus 로고    scopus 로고
    • A theory of predicate-complete test coverage and generation
    • MSR-TR-2004-28
    • T. Ball. A theory of predicate-complete test coverage and generation, 2004. Microsoft Research Technical Report MSR-TR-2004-28.
    • (2004) Microsoft Research Technical Report
    • Ball, T.1
  • 11
    • 0016993577 scopus 로고
    • A system to generate test data and symbolically execute programs
    • L. A. Clarke. A system to generate test data and symbolically execute programs. IEEE Trans. Software Eng, 2(3):215-222, 1976.
    • (1976) IEEE Trans. Software Eng , vol.2 , Issue.3 , pp. 215-222
    • Clarke, L.A.1
  • 13
    • 34547490584 scopus 로고    scopus 로고
    • Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong-Heap Properties of Open Systems
    • X. Deng, J. Lee, and Robby. Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong-Heap Properties of Open Systems. In Proc. of the. 21st ASE, 2006.
    • (2006) Proc. of the. 21st ASE
    • Deng, X.1    Lee, J.2    Robby3
  • 22
    • 35248827669 scopus 로고    scopus 로고
    • Software verification with blast
    • Proceedings of the Tenth International Workshop on Model Checking of Software, of
    • T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with blast. In Proceedings of the Tenth International Workshop on Model Checking of Software, volume 2648 of Lecture Notes in Computer Science, 2003.
    • (2003) Lecture Notes in Computer Science , vol.2648
    • Henzinger, T.A.1    Jhala, R.2    Majumdar, R.3    Sutre, G.4
  • 25
    • 57449095579 scopus 로고    scopus 로고
    • IASolver. http://www.cs.brandeis.edu/̃tim/Applets/IAsolver.html.
    • IASolver
  • 26
    • 84874410958 scopus 로고    scopus 로고
    • Java PathFinder. http://javapathfinder.sourceforge.net.
    • Java PathFinder
  • 28
    • 0016971687 scopus 로고
    • Symbolic execution and program testing
    • J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, 1976.
    • (1976) Communications of the ACM , vol.19 , Issue.7 , pp. 385-394
    • King, J.C.1
  • 29
    • 0002774002 scopus 로고    scopus 로고
    • TVLA: A system for implementing static analyses
    • Santa Barbara, CA, June
    • T. Lev-Ami and M. Sagiv. TVLA: A system for implementing static analyses. In Proc. Static Analysis Symposium, Santa Barbara, CA, June 2000.
    • (2000) Proc. Static Analysis Symposium
    • Lev-Ami, T.1    Sagiv, M.2
  • 31
    • 0345023598 scopus 로고    scopus 로고
    • Data mining for very busy people
    • T. Menzies and Y. Hu. Data mining for very busy people. Computer, 36(ll):22-29, 2003.
    • (2003) Computer , vol.36 , Issue.LL , pp. 22-29
    • Menzies, T.1    Hu, Y.2
  • 33
    • 34247390730 scopus 로고    scopus 로고
    • Test input generation for Java containers using state matching
    • W. Visser, C. S. Pasareanu, and R. Pelanek. Test input generation for Java containers using state matching. In Proc. ISSTA, 2006.
    • (2006) Proc. ISSTA
    • Visser, W.1    Pasareanu, C.S.2    Pelanek, R.3
  • 35
    • 34247330209 scopus 로고    scopus 로고
    • G. Yorsh, T. Ball, and M. Sagiv. Testing, abstraction, theorem proving: better together! In Proc. ISSTA, 2006.
    • G. Yorsh, T. Ball, and M. Sagiv. Testing, abstraction, theorem proving: better together! In Proc. ISSTA, 2006.


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