메뉴 건너뛰기




Volumn 4424 LNCS, Issue , 2007, Pages 134-138

JPF-SE: A symbolic execution extension to Java pathfinder

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DECISION THEORY; ENCODING (SYMBOLS); MODEL CHECKING; NUMERICAL ANALYSIS;

EID: 37149044854     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71209-1_12     Document Type: Conference Paper
Times cited : (172)

References (13)
  • 1
    • 37149019601 scopus 로고    scopus 로고
    • Symbolic execution with abstract subsumption checking
    • S. Anand, C. Pasareanu, and W. Visser. Symbolic execution with abstract subsumption checking. In Proc. SPIN, 2006.
    • (2006) Proc. SPIN
    • Anand, S.1    Pasareanu, C.2    Visser, W.3
  • 3
    • 84858495992 scopus 로고    scopus 로고
    • CVCL
    • CVCL. http://www.cs.nyu.edu/acsys/cvcl/.
  • 4
    • 33749846787 scopus 로고    scopus 로고
    • A Fast Linear-Arithmetic Solver for DPLL(T)
    • Proceedings of CAV, of, Springer-Verlag
    • B. Dutertre and L. de Moura. A Fast Linear-Arithmetic Solver for DPLL(T). In Proceedings of CAV, volume 4144 of LNCS, pages 81-94. Springer-Verlag, 2006.
    • (2006) LNCS , vol.4144 , pp. 81-94
    • Dutertre, B.1    de Moura, L.2
  • 5
    • 84874410958 scopus 로고    scopus 로고
    • Java PathFinder. http://javapathfinder.sourceforge.net.
    • Java PathFinder
  • 6
    • 4544361507 scopus 로고    scopus 로고
    • Generalized symbolic execution for model checking and testing
    • Warsaw, Poland, April
    • S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. TACAS'03, Warsaw, Poland, April 2003.
    • (2003) Proc. TACAS'03
    • Khurshid, S.1    Pasareanu, C.2    Visser, W.3
  • 7
    • 0016971687 scopus 로고
    • Symbolic execution and program testing
    • J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7), 1976.
    • (1976) Commun. ACM , vol.19 , Issue.7
    • King, J.C.1
  • 8
    • 35048864828 scopus 로고    scopus 로고
    • Verification of java programs using symbolic execution and invariant generation
    • Proc of SPIN'04, of
    • C. Pasareanu and W. Visser. Verification of java programs using symbolic execution and invariant generation. In Proc of SPIN'04, volume 2989 of LNCS, 2004.
    • (2004) LNCS , vol.2989
    • Pasareanu, C.1    Visser, W.2
  • 9
    • 0000552379 scopus 로고
    • The Omega test: A fast and practical integer programming algorithm for dependence analysis
    • Aug
    • W. Pugh. The Omega test: A fast and practical integer programming algorithm for dependence analysis. Commun. ACM, 31(8), Aug. 1992.
    • (1992) Commun. ACM , vol.31 , Issue.8
    • Pugh, W.1
  • 10
    • 37149047139 scopus 로고    scopus 로고
    • realPaver. http://www.sciences.univ-nantes.fr/info/perso/permanents/ granvil/ realpaver/.
    • realPaver. http://www.sciences.univ-nantes.fr/info/perso/permanents/ granvil/ realpaver/.
  • 11
    • 84858495991 scopus 로고    scopus 로고
    • SMT-LIB
    • SMT-LIB. http://combination.cs.uiowa.edu/smtlib/.
  • 13
    • 34247390730 scopus 로고    scopus 로고
    • Test input generation for java containers using state matching
    • W. Visser, C. 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.2    Pelanek, R.3


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