-
1
-
-
37149019601
-
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
-
2
-
-
34547241782
-
Exe: Automatically generating inputs of death
-
C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. Exe: Automatically generating inputs of death. In Computer and Coram. Security, 2006.
-
(2006)
Computer and Coram. Security
-
-
Cadar, C.1
Ganesh, V.2
Pawlowski, P.M.3
Dill, D.L.4
Engler, D.R.5
-
3
-
-
84858495992
-
-
CVCL
-
CVCL. http://www.cs.nyu.edu/acsys/cvcl/.
-
-
-
-
4
-
-
33749846787
-
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
-
-
Java PathFinder. http://javapathfinder.sourceforge.net.
-
Java PathFinder
-
-
-
6
-
-
4544361507
-
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
-
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
-
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
-
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
-
-
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
-
-
SMT-LIB
-
SMT-LIB. http://combination.cs.uiowa.edu/smtlib/.
-
-
-
-
12
-
-
0037384036
-
Model checking programs
-
April
-
W. Visser, K. Havelund, G. Brat, S. J. Park, and F. Lerda. Model checking programs. Automated Software Engineering Journal, 10(2), April 2003.
-
(2003)
Automated Software Engineering Journal
, vol.10
, Issue.2
-
-
Visser, W.1
Havelund, K.2
Brat, G.3
Park, S.J.4
Lerda, F.5
-
13
-
-
34247390730
-
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
|