-
2
-
-
0027884535
-
Incremental regression testing
-
IEEE
-
H. Agrawal, J.R. Horgan, E.W. Krauser, and S.A. London. Incremental regression testing. In ICSM 93: International Conference on Software Maintenance, pages 348-357. IEEE, 1993.
-
(1993)
ICSM 93: International Conference on Software Maintenance
, pp. 348-357
-
-
Agrawal, H.1
Horgan, J.R.2
Krauser, E.W.3
London, S.A.4
-
3
-
-
0000025993
-
Timing verification by successive approximation
-
R. Alur, A. Itai, R.P. Kurshan, and M. Yannakakis. Timing verification by successive approximation. Information and Computation, 118(1):142-157, 1995.
-
(1995)
Information and Computation
, vol.118
, Issue.1
, pp. 142-157
-
-
Alur, R.1
Itai, A.2
Kurshan, R.P.3
Yannakakis, M.4
-
5
-
-
84969357262
-
An iterative approach to language containment
-
CAV 93: Computer-Aided Verification, Springer-Verlag
-
F. Balarin and A.L. Sangiovanni-Vincentelli. An iterative approach to language containment. In CAV 93: Computer-Aided Verification, Lecture Notes in Computer Science 697, pages 29-40. Springer-Verlag, 1993.
-
(1993)
Lecture Notes in Computer Science
, vol.697
, pp. 29-40
-
-
Balarin, F.1
Sangiovanni-Vincentelli, A.L.2
-
9
-
-
84887962732
-
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
-
The Essence of Computation, Complexity, Analysis, Transformation: Essays Dedicated to Neil D. Jones, Springer-Verlag
-
B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Mine, D. Monniaux, and X. Rival. Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In The Essence of Computation, Complexity, Analysis, Transformation: Essays Dedicated to Neil D. Jones, Lecture Notes in Computer Science 2566, pages 85-108. Springer-Verlag, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2566
, pp. 85-108
-
-
Blanchet, B.1
Cousot, P.2
Cousot, R.3
Feret, J.4
Mauborgne, L.5
Mine, A.6
Monniaux, D.7
Rival, X.8
-
10
-
-
0033688092
-
A static analyzer for finding dynamic programming errors
-
W.R. Bush, J.D. Pincus, and D.J. Sielaff. A static analyzer for finding dynamic programming errors. Software Practice and Experience, 30(7):775-802, 2000.
-
(2000)
Software Practice and Experience
, vol.30
, Issue.7
, pp. 775-802
-
-
Bush, W.R.1
Pincus, J.D.2
Sielaff, D.J.3
-
11
-
-
84944059308
-
A simple and practical approach to unit testing: The JML and JUnit way
-
ECOOP 02: European Conference on Object-Oriented Programming, Springer-Verlag
-
Y. Cheon and G.T. Leavens. A simple and practical approach to unit testing: The JML and JUnit way. In ECOOP 02: European Conference on Object-Oriented Programming, Lecture Notes in Computer Science 2374, pages 231-255. Springer-Verlag, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2374
, pp. 231-255
-
-
Cheon, Y.1
Leavens, G.T.2
-
12
-
-
84944406286
-
Counterexample-guided abstraction refinement
-
CAV 00: Computer-Aided Verification, Springer-Verlag
-
E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided abstraction refinement. In CAV 00: Computer-Aided Verification, Lecture Notes in Computer Science 1855, pages 154-169. Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1855
, pp. 154-169
-
-
Clarke, E.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
13
-
-
0033697422
-
Bandera: Extracting finite-state models from Java source code
-
ACM/IEEE
-
J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, R.S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In ICSE 00: International Conference on Software Engineering, pages 439-448. ACM/IEEE, 2000.
-
(2000)
ICSE 00: International Conference on Software Engineering
, pp. 439-448
-
-
Corbett, J.1
Dwyer, M.2
Hatcliff, J.3
Pasareanu, C.4
Laubach, R.S.5
Zheng, H.6
-
14
-
-
0033684556
-
Automatic formal verification of DSP software
-
ACM/IEEE
-
D.W. Currie, A.J. Hu, S. Rajan, and M. Fujita. Automatic formal verification of DSP software. In DAC 00: Design Automation Conference, pages 130-135. ACM/IEEE, 2000.
-
(2000)
DAC 00: Design Automation Conference
, pp. 130-135
-
-
Currie, D.W.1
Hu, A.J.2
Rajan, S.3
Fujita, M.4
-
18
-
-
84975277890
-
Checking system rules using system-specific, programmer-written compiler extensions
-
Usenix Association
-
D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI 00: Operating System Design and Implementation, pages 1-16. Usenix Association, 2000.
-
(2000)
OSDI 00: Operating System Design and Implementation
, pp. 1-16
-
-
Engler, D.1
Chelf, B.2
Chou, A.3
Hallem, S.4
-
19
-
-
0036147522
-
Improving security using extensible light-weight static analysis
-
D. Evans and D. Larochelle. Improving security using extensible light-weight static analysis. IEEE Software, 19(1):42-51, 2002.
-
(2002)
IEEE Software
, vol.19
, Issue.1
, pp. 42-51
-
-
Evans, D.1
Larochelle, D.2
-
20
-
-
0036036098
-
Extended static checking for Java
-
ACM
-
C. Flanagan, K.R.M. Leino, M. Lillibridge, G. Nelson, J.B. Saxe, and R. Stata. Extended static checking for Java. In PLDI 02: Programming Language Design and Implementation, pages 234-245. ACM, 2002.
-
(2002)
PLDI 02: Programming Language Design and Implementation
, pp. 234-245
-
-
Flanagan, C.1
Leino, K.R.M.2
Lillibridge, M.3
Nelson, G.4
Saxe, J.B.5
Stata, R.6
-
22
-
-
1542265578
-
JUnit: A cook's tour
-
E. Gamma and K. Beck. JUnit: A cook's tour. Java Report, 4(5):27-38, 1999.
-
(1999)
Java Report
, vol.4
, Issue.5
, pp. 27-38
-
-
Gamma, E.1
Beck, K.2
-
23
-
-
0030651806
-
Model checking for programming languages using VeriSoft
-
ACM
-
P. Godefroid. Model checking for programming languages using VeriSoft. In POPL 97: Principles of Programming Languages, pages 174-186. ACM, 1997.
-
(1997)
POPL 97: Principles of Programming Languages
, pp. 174-186
-
-
Godefroid, P.1
-
24
-
-
84947441305
-
Construction of abstract state graphs with PVS
-
CAV 97: Computer-Aided Verification, Springer-Verlag
-
S. Graf and H. Saïdi. Construction of abstract state graphs with PVS. In CAV 97: Computer-Aided Verification, Lecture Notes in Computer Science 1254, pages 72-83. Springer-Verlag, 1997.
-
(1997)
Lecture Notes in Computer Science
, vol.1254
, pp. 72-83
-
-
Graf, S.1
Saïdi, H.2
-
25
-
-
0035551930
-
Regression test selection for Java software
-
ACM
-
M.J. Harrold, J. Jones, T. Li, D. Liang, A. Orso, M. Pennings, S. Sinha, S. Spoon, and A. Gujarathi. Regression test selection for Java software. In OOPSLA 01: Object-Oriented Programming, Systems, Languages, and Applications, pages 312-326. ACM, 2001.
-
(2001)
OOPSLA 01: Object-Oriented Programming, Systems, Languages, and Applications
, pp. 312-326
-
-
Harrold, M.J.1
Jones, J.2
Li, T.3
Liang, D.4
Orso, A.5
Pennings, M.6
Sinha, S.7
Spoon, S.8
Gujarathi, A.9
-
28
-
-
35248823232
-
Workshop on Run-Time Verification
-
K. Havelund and G. Rosu, editors.
-
K. Havelund and G. Rosu, editors. Workshop on Run-Time Verification, volume 70(4) of Electronic Notes in Theoretical Computer Science, 2002.
-
(2002)
Electronic Notes in Theoretical Computer Science
, vol.70
, Issue.4
-
-
-
29
-
-
84937567800
-
Temporal-safety proofs for systems code
-
CAV 02: Computer-Aided Verification, Springer-Verlag
-
T.A. Henzinger, R. Jhala, R. Majumdar, G.C. Necula, G. Sutre, and W. Weimer. Temporal-safety proofs for systems code. In CAV 02: Computer-Aided Verification, Lecture Notes in Computer Science 2404, pages 526-538. Springer-Verlag, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2404
, pp. 526-538
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Necula, G.C.4
Sutre, G.5
Weimer, W.6
-
30
-
-
35248835635
-
Thread-modular abstraction refinement
-
CAV 03: Computer-Aided Verification, Springer-Verlag
-
T.A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer. Thread-modular abstraction refinement. In CAV 03: Computer-Aided Verification, Lecture Notes in Computer Science 2725, pages 262-274. Springer-Verlag, 2003.
-
(2003)
Lecture Notes in Computer Science
, vol.2725
, pp. 262-274
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Qadeer, S.4
-
31
-
-
0036041563
-
Lazy abstraction
-
ACM
-
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL 02: Principles of Programming Languages, pages 58-70. ACM, 2002.
-
(2002)
POPL 02: Principles of Programming Languages
, pp. 58-70
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
32
-
-
35248827669
-
Software verification with blast
-
SPIN 03: SPIN Workshop, Springer-Verlag
-
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with blast. In SPIN 03: SPIN Workshop, Lecture Notes in Computer Science 2648, pages 235-239. Springer-Verlag, 2003.
-
(2003)
Lecture Notes in Computer Science
, vol.2648
, pp. 235-239
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
34
-
-
84947271391
-
Logic verification of ANSI-C code with Spin
-
SPIN 00: Model Checking of Software, Springer-Verlag
-
G.J. Holzmann. Logic verification of ANSI-C code with Spin. In SPIN 00: Model Checking of Software, Lecture Notes in Computer Science 1885, pages 131-147. Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1885
, pp. 131-147
-
-
Holzmann, G.J.1
-
37
-
-
84885236249
-
JML: Notations and tools supporting detailed design in Java
-
ACM
-
G.T. Leavens, K.R.M. Leino, E. Poll, C. Ruby, and B. Jacobs. JML: Notations and tools supporting detailed design in Java. In QOPSLA 00: Object-Oriented Programming, Systems, Languages, and Applications, pages 105-106. ACM, 2000.
-
(2000)
QOPSLA 00: Object-Oriented Programming, Systems, Languages, and Applications
, pp. 105-106
-
-
Leavens, G.T.1
Leino, K.R.M.2
Poll, E.3
Ruby, C.4
Jacobs, B.5
-
38
-
-
84906086021
-
TVLA: A system for implementing static analyses
-
SAS 02: Static Analysis Symposium, Springer-Verlag
-
T. Lev-Ami and S. Sagiv. TVLA: A system for implementing static analyses. In SAS 02: Static Analysis Symposium, Lecture Notes in Computer Science 2280, pages 280-301. Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.2280
, pp. 280-301
-
-
Lev-Ami, T.1
Sagiv, S.2
-
42
-
-
84988613226
-
An algebraic definition of simulation between programs
-
The British Computer Society
-
R. Milner. An algebraic definition of simulation between programs. In Second International Joint Conference on Artificial Intelligence, pages 481-489. The British Computer Society, 1971.
-
(1971)
Second International Joint Conference on Artificial Intelligence
, pp. 481-489
-
-
Milner, R.1
-
47
-
-
84957365826
-
PVS: Combining specification, proof checking, and model checking
-
CAV 96: Computer-Aided Verification, Springer-Verlag
-
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining specification, proof checking, and model checking. In CAV 96: Computer-Aided Verification, Lecture Notes in Computer Science 1102, pages 411-414. Springer-Verlag, 1996.
-
(1996)
Lecture Notes in Computer Science
, vol.1102
, pp. 411-414
-
-
Owre, S.1
Rajan, S.2
Rushby, J.M.3
Shankar, N.4
Srivas, M.K.5
-
48
-
-
84947923818
-
Translation validation
-
TACAS 98: Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag
-
A. Pnueli, M. Siegel, and E. Singerman. Translation validation. In TACAS 98: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1384, pages 151-166. Springer-Verlag, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1384
, pp. 151-166
-
-
Pnueli, A.1
Siegel, M.2
Singerman, E.3
-
52
-
-
84906076909
-
Model-checking-guided abstraction and analysis
-
SAS 00: Static-Analysis Symposium, Springer-Verlag
-
H. Saidi. Model-checking-guided abstraction and analysis. In SAS 00: Static-Analysis Symposium, Lecture Notes in Computer Science 1824, pages 377-396. Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1824
, pp. 377-396
-
-
Saidi, H.1
-
54
-
-
84944242060
-
An informal formal method for systematic JUnit test-case generation
-
XP/Agile Universe 2002, Springer-Verlag
-
D. Stotts, M. Lindsey, and A. Antley. An informal formal method for systematic JUnit test-case generation. In XP/Agile Universe 2002, Lecture Notes in Computer Science 2418, pages 132-143. Springer-Verlag, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2418
, pp. 132-143
-
-
Stotts, D.1
Lindsey, M.2
Antley, A.3
-
55
-
-
84976773567
-
Program development by stepwise refinement
-
N. Wirth. Program development by stepwise refinement. Communications of the ACM, 14(4):221-227, 1971.
-
(1971)
Communications of the ACM
, vol.14
, Issue.4
, pp. 221-227
-
-
Wirth, N.1
|