-
1
-
-
84976779102
-
The Humble programmer
-
E.W. Dijkstra, "The Humble Programmer," Comm. ACM, vol.15, no.10, pp. 859-866, 1972.
-
(1972)
Comm. ACM
, vol.15
, Issue.10
, pp. 859-866
-
-
Dijkstra, E.W.1
-
2
-
-
31844450371
-
DART: Directed automated random testing
-
P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed Automated Random Testing," Proc. Programming Language Design and Implementation, pp. 213-223, 2005.
-
(2005)
Proc. Programming Language Design and Implementation
, pp. 213-223
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
3
-
-
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," Proc. ACM Conf. Computer and Comm. Security, 2006.
-
(2006)
Proc. ACM Conf. Computer and Comm. Security
-
-
Cadar, C.1
Ganesh, V.2
Pawlowski, P.M.3
Dill, D.L.4
Engler, D.R.5
-
4
-
-
32344447459
-
CUTE: A concolic unit testing engine for c
-
K. Sen, D. Marinov, and G. Agha, "CUTE: A Concolic Unit Testing Engine for C," Proc. Foundations of Software Eng., pp. 263-272, 2005.
-
(2005)
Proc. Foundations of Software Eng.
, pp. 263-272
-
-
Sen, K.1
Marinov, D.2
Agha, G.3
-
5
-
-
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," Proc. Foundations of Software Eng., pp. 117-127, 2006.
-
(2006)
Proc. Foundations of Software Eng.
, pp. 117-127
-
-
Gulavani, B.S.1
Henzinger, T.A.2
Kannan, Y.3
Nori, A.V.4
Rajamani, S.K.5
-
6
-
-
0034818448
-
Automatic predicate abstraction of c programs
-
T. Ball, R. Majumdar, T. Millstein, and S.K. Rajamani, "Automatic Predicate Abstraction of C Programs," Proc. Programming Language Design and Implementation, pp. 203-213, 2001.
-
(2001)
Proc. Programming Language Design and Implementation
, pp. 203-213
-
-
Ball, T.1
Majumdar, R.2
Millstein, T.3
Rajamani, S.K.4
-
7
-
-
0036041563
-
Lazy abstraction
-
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Lazy Abstraction," Proc. Principles of Programming Languages, pp. 58-70, 2002.
-
(2002)
Proc. Principles of Programming Languages
, pp. 58-70
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
10
-
-
2442623463
-
Abstractions from proofs
-
T.A. Henzinger, R. Jhala, R. Majumdar, and K.L. McMillan, "Abstractions from Proofs," Proc. Principles of Programming Languages, pp. 232-244, 2004.
-
(2004)
Proc. Principles of Programming Languages
, pp. 232-244
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
McMillan, K.L.4
-
11
-
-
50549094769
-
Proofs from tests
-
N.E. Beckman, A.V. Nori, S.K. Rajamani, and R.J. Simmons, "Proofs from Tests," Proc. Int'l Symp. Software Testing and Analysis, pp. 103-122, 2008.
-
(2008)
Proc. Int'l Symp. Software Testing and Analysis
, pp. 103-122
-
-
Beckman, N.E.1
Nori, A.V.2
Rajamani, S.K.3
Simmons, R.J.4
-
12
-
-
33646741004
-
Software model checking: Searching for computations in the abstract or the concrete
-
P. Godefroid and N. Klarlund, "Software Model Checking: Searching for Computations in the Abstract or the Concrete," Proc. Integrated Formal Methods, pp. 20-32, 2005.
-
(2005)
Proc. Integrated Formal Methods
, pp. 20-32
-
-
Godefroid, P.1
Klarlund, N.2
-
13
-
-
23844435578
-
Model checking, testing and verification working together
-
E. Gunter and D. Peled, "Model Checking, Testing and Verification Working Together," Formal Aspects of Computing, vol.17, no.2, pp. 201-221, 2005.
-
(2005)
Formal Aspects of Computing
, vol.17
, Issue.2
, pp. 201-221
-
-
Gunter, E.1
Peled, D.2
-
14
-
-
34247330209
-
Testing, abstraction, theorem proving: Better together!
-
G. Yorsh, T. Ball, and M. Sagiv, "Testing, Abstraction, Theorem Proving: Better Together!" Proc. Int'l Symp. Software Testing and Analysis, pp. 145-156, 2006.
-
(2006)
Proc. Int'l Symp. Software Testing and Analysis
, pp. 145-156
-
-
Yorsh, G.1
Ball, T.2
Sagiv, M.3
-
15
-
-
35048849502
-
Counterexample guided abstraction refinement via program execution
-
D. Kroening, A. Groce, and E.M. Clarke, "Counterexample Guided Abstraction Refinement via Program Execution," Proc. Int'l Conf. Formal Eng. Methods, pp. 224-238, 2004.
-
(2004)
Proc. Int'l Conf. Formal Eng. Methods
, pp. 224-238
-
-
Kroening, D.1
Groce, A.2
Clarke, E.M.3
-
17
-
-
47249106308
-
LATEST: Lazy dynamic test input generation
-
Mar.
-
R. Majumdar and K. Sen, "LATEST: Lazy Dynamic Test Input Generation," Technical Report UCB/EECS-2007-2036, Electrical Eeng. and Computer Science Dept., Univ. of California, http:// www.eecs.berkeley.edu/Pubs/ TechRpts/2007/EECS-2007- 36.html, Mar. 2007.
-
(2007)
Technical Report UCB/EECS-2007-2036
-
-
Majumdar, R.1
Sen, K.2
-
18
-
-
77950894390
-
Compositional may-must program analysis: Unleashing the power of alternation
-
P. Godefroid, A.V. Nori, S.K. Rajamani, and S. Tetali, "Compositional May-Must Program Analysis: Unleashing the Power of Alternation," Proc. Principles of Programming Languages, 2010.
-
(2010)
Proc. Principles of Programming Languages
-
-
Godefroid, P.1
Nori, A.V.2
Rajamani, S.K.3
Tetali, S.4
-
19
-
-
84944406286
-
Counterexample- guided abstraction refinement
-
E.M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, "Counterexample- Guided Abstraction Refinement," Proc. Computer Aided Verification, pp. 154-169, 2000.
-
(2000)
Proc. Computer Aided Verification
, pp. 154-169
-
-
Clarke, E.M.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
20
-
-
0004207324
-
Extended static checking
-
Dec.
-
D.L. Detlefs, K.R.M. Leino, G. Nelson, and J.B. Saxe, "Extended Static Checking," Technical Report/Research Report 159, Compaq Systems Research Center, Dec. 1998.
-
(1998)
Technical Report/Research Report 159, Compaq Systems Research Center
-
-
Detlefs, D.L.1
Leino, K.R.M.2
Nelson, G.3
Saxe, J.B.4
-
21
-
-
33749664425
-
Boogie: A modular reusable verifier for object-oriented programs
-
M. Barnett, B.-Y.E. Chang, R. DeLine, B. Jacobs, and K.R.M. Leino, "Boogie: A Modular Reusable Verifier for Object-Oriented Programs," Proc. Formal Methods for Components and Objects, pp. 364-387.
-
Proc. Formal Methods for Components and Objects
, pp. 364-387
-
-
Barnett, M.1
Chang, B.-Y.E.2
Deline, R.3
Jacobs, B.4
Leino, K.R.M.5
-
23
-
-
77955416899
-
-
T. Ball, personal communication
-
T. Ball, personal communication.
-
-
-
-
27
-
-
33746086704
-
Termination proofs for systems code
-
B. Cook, A. Podelski, and A. Rybalchenko, "Termination Proofs for Systems Code," Proc. Programming Language Design and Implementation, pp. 415-426, 2006.
-
(2006)
Proc. Programming Language Design and Implementation
, pp. 415-426
-
-
Cook, B.1
Podelski, A.2
Rybalchenko, A.3
|