-
3
-
-
57449087385
-
An Empirical Comparison of Automated Generation and Classification
-
M. d'Amorim, C. Pacheco, T. Xie, D. Marinov, and M. D. Ernst. An Empirical Comparison of Automated Generation and Classification. In Proc. of the 21st ASE, 2006.
-
(2006)
Proc. of the 21st ASE
-
-
d'Amorim, M.1
Pacheco, C.2
Xie, T.3
Marinov, D.4
Ernst, M.D.5
-
6
-
-
24644489632
-
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
-
8
-
-
4544284873
-
Generating tests from counterexamples
-
D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proc. of the 26th International Conference on Software Engineering (ICSE), 2004.
-
(2004)
Proc. of the 26th International Conference on Software Engineering (ICSE)
-
-
Beyer, D.1
Chlipala, A.J.2
Henzinger, T.A.3
Jhala, R.4
Majumdar, R.5
-
9
-
-
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 Proc. ACM Conference on Computer and Communications Security, 2006.
-
(2006)
Proc. ACM Conference on Computer and Communications Security
-
-
Cadar, C.1
Ganesh, V.2
Pawlowski, P.M.3
Dill, D.L.4
Engler, D.R.5
-
11
-
-
0016993577
-
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
-
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
-
14
-
-
0003372569
-
Extended static checking
-
Compaq Systems Research Center
-
D. L. Detlefs, K. R. M. Leino, G. Nelson, and J. B. Saxe. Extended static checking. Research Report 159, Compaq Systems Research Center, 1998.
-
(1998)
Research Report
, vol.159
-
-
Detlefs, D.L.1
Leino, K.R.M.2
Nelson, G.3
Saxe, J.B.4
-
18
-
-
0030651806
-
Model checking for programming languages using VeriSoft
-
Paris, France, Jan
-
P. Godefroid. Model checking for programming languages using VeriSoft. In Proceedings of the 24th Annual ACM Symposium, on the Principles of Programming Languages (POPL), pages 174-186, Paris, France, Jan. 1997.
-
(1997)
Proceedings of the 24th Annual ACM Symposium, on the Principles of Programming Languages (POPL)
, pp. 174-186
-
-
Godefroid, P.1
-
20
-
-
34547150779
-
SYNERGY: A new algorithm for property checking
-
B. S. Gulavani, T. A. Henzinger, Y. Kannan, A. V. Nori, and S. K. Rajamani. SYNERGY: a new algorithm for property checking. In Proc. of SIGSOFT FSE, 2006.
-
(2006)
Proc. of SIGSOFT FSE
-
-
Gulavani, B.S.1
Henzinger, T.A.2
Kannan, Y.3
Nori, A.V.4
Rajamani, S.K.5
-
21
-
-
15344340096
-
Auto-generating test sequences using model checkers: A case study
-
Montreal, Canada, Oct
-
M. P. E. Heimdahl, S. Rayadurgam, W. Visser, D. George, and J. Gao. Auto-generating test sequences using model checkers: A case study. In Proc. 3rd International Workshop on Formal Approaches to Testing of Software (FATES), Montreal, Canada, Oct. 2003.
-
(2003)
Proc. 3rd International Workshop on Formal Approaches to Testing of Software (FATES)
-
-
Heimdahl, M.P.E.1
Rayadurgam, S.2
Visser, W.3
George, D.4
Gao, J.5
-
22
-
-
35248827669
-
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
-
24
-
-
84888265186
-
A temporal logic based theory of test coverage and generation
-
Grenoble, France, April
-
H. S. Hong, I. Lee, O. Sokolsky, and H. Ural. A temporal logic based theory of test coverage and generation. In Proc. 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Grenoble, France, April 2002.
-
(2002)
Proc. 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)
-
-
Hong, H.S.1
Lee, I.2
Sokolsky, O.3
Ural, H.4
-
25
-
-
57449095579
-
-
IASolver. http://www.cs.brandeis.edu/̃tim/Applets/IAsolver.html.
-
IASolver
-
-
-
26
-
-
84874410958
-
-
Java PathFinder. http://javapathfinder.sourceforge.net.
-
Java PathFinder
-
-
-
28
-
-
0016971687
-
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
-
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
-
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
-
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
-
-
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.
-
-
-
|