-
3
-
-
34247326075
-
From Daikon to Agitator: Lessons and challenges in building a commercial tool for developer testing
-
Portland, Maine, USA
-
M. Boshernitsan, R. Doong, and A. Savoia. From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing. In Proc. ACM/SIGSOFT Int. Symp. Software Testing and Analysis, pages 169-180. Portland, Maine, USA, 2006.
-
(2006)
Proc. ACM/SIGSOFT Int. Symp. Software Testing and Analysis
, pp. 169-180
-
-
Boshernitsan, M.1
Doong, R.2
Savoia, A.3
-
4
-
-
0036980185
-
Korat Automated testing based on Java predicates
-
Rome, Italy, July
-
C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In Proc. 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, July 2002.
-
(2002)
Proc. 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
-
-
Boyapati, C.1
Khurshid, S.2
Marinov, D.3
-
5
-
-
34547241782
-
EXE: Automatically generating inputs of death
-
Alexandria, Virginia, October-November
-
C. Cadar, V. Ganesh, P. Pawlowski, D. Dill, and D. Engler. EXE: Automatically Generating Inputs of Death. In Proc. of the 13th ACM Conference on Computer and Communications Security (CCS), Alexandria, Virginia, October-November 2006.
-
(2006)
Proc. of the 13th ACM Conference on Computer and Communications Security (CCS)
-
-
Cadar, C.1
Ganesh, V.2
Pawlowski, P.3
Dill, D.4
Engler, D.5
-
7
-
-
0034538940
-
Quickcheck: A lightweight tool forrandom testing of haskell programs
-
K. Claessen and J. Hughes. Quickcheck: a lightweight tool forrandom testing of haskell programs. In ICFP, pages 268- 279, 2000.
-
(2000)
ICFP
, pp. 268-279
-
-
Claessen, K.1
Hughes, J.2
-
11
-
-
37849010680
-
Finding bugs efficiently with a SAT Solver
-
Dubrovnik, Croatia, September
-
J. Dolby, M. Vaziri, and F. Tip. Finding Bugs Efficiently with a SAT Solver. In Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Dubrovnik, Croatia, September 2007.
-
(2007)
Proc. of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007)
-
-
Dolby, J.1
Vaziri, M.2
Tip, F.3
-
12
-
-
30344450270
-
An extensible SAT-solver
-
Theory and Applications of Satisfiability Testing (SAT 2003), Vol 2919:5, Springer
-
N. Eën, and N. Sörensson. An extensible SAT-solver. Theory and Applications of Satisfiability Testing (SAT 2003), Vol 2919:5 of LNCS, Springer, 2004.
-
(2004)
LNCS
-
-
Eën, N.1
Sörensson, N.2
-
13
-
-
0035250541
-
Dynamically discovering likely program invariants to support program evolution
-
Feb.
-
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, Feb. 2001.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.2
, pp. 99-123
-
-
Ernst, M.D.1
Cockrell, J.2
Griswold, W.G.3
Notkin, D.4
-
14
-
-
0036036098
-
Extended static checking for Java
-
June
-
C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proc. of ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI), June 2002.
-
(2002)
Proc. of ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI)
-
-
Flanagan, C.1
Leino, K.R.M.2
Lillibridge, M.3
Nelson, G.4
Saxe, J.B.5
Stata, R.6
-
15
-
-
0036045483
-
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver
-
Jun.
-
M. Ganai, L. Zhang, P. Ashar, A. Gupta, and S. Malik. Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. In Proc. 39thConference on Design Automation (DAC), Jun. 2002.
-
(2002)
Proc. 39thConference on Design Automation (DAC)
-
-
Ganai, M.1
Zhang, L.2
Ashar, P.3
Gupta, A.4
Malik, S.5
-
18
-
-
31844450371
-
DART: Directed automated random testing
-
Chicago, IL, June
-
P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. of the 2005 ACM SIGPLAN conference on Programming language design and implementation (PLDI), Chicago, IL, June 2005.
-
(2005)
Proc. of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
19
-
-
84951817396
-
Automatic test data generation using constraint solving techniques
-
Clearwater Beach, Florida, March
-
A. Gotlieb, B. Botella, and M. Rueher. Automatic test data generation using constraint solving techniques. In Proc. of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Clearwater Beach, Florida, March 1998.
-
(1998)
Proc. of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
-
-
Gotlieb, A.1
Botella, B.2
Rueher, M.3
-
20
-
-
84960872869
-
Generating test data for branch coverage
-
Grenoble, France, September
-
N. Gupta, A. P. Mathur, and M. L. Soffa. Generating test data for branch coverage. In Proc. of the 15th International Conference on Automated Software Engineering (ASE), Grenoble, France, September 2000.
-
(2000)
Proc. of the 15th International Conference on Automated Software Engineering (ASE)
-
-
Gupta, N.1
Mathur, A.P.2
Soffa, M.L.3
-
21
-
-
18944387198
-
Object Models as Heap Invirants
-
edited by Annabelle McIver and Carroll Morgan. Springer Verlag
-
D. Jackson. Object Models as Heap Invirants. In Essays on Programming Methodology, edited by Annabelle McIver and Carroll Morgan. Springer Verlag, 2000.
-
(2000)
Essays on Programming Methodology
-
-
Jackson, D.1
-
22
-
-
33748952774
-
-
MIT Press, Cambridge, MA
-
D. Jackson. Software Abstractions: logic, language, and analysis. MIT Press, Cambridge, MA, 2006.
-
(2006)
Software Abstractions: Logic, Language, and Analysis
-
-
Jackson, D.1
-
23
-
-
0033698475
-
ALCOA: The Alloy constraint analyzer
-
Limerick, Ireland, June
-
D. Jackson, I. Schechter, and I. Shlyakhter. ALCOA: The Alloy constraint analyzer. In Proc. 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, June 2000.
-
(2000)
Proc. 22nd International Conference on Software Engineering (ICSE)
-
-
Jackson, D.1
Schechter, I.2
Shlyakhter, I.3
-
25
-
-
0016971687
-
Symbolic execution and program testing
-
July
-
J. C. King. Symbolic execution and program testing. Communications of the ACM, Volume 19, Issue 7, July 1976.
-
(1976)
Communications of the ACM
, vol.19
, Issue.7
-
-
King, J.C.1
|