-
2
-
-
84949224755
-
Applying Static Analysis to Large-Scale, Multi-threaded Java Programs
-
D. Grant, editor, IEEE CS Press
-
C. Artho and A. Biere. Applying Static Analysis to Large-Scale, Multi-threaded Java Programs. In D. Grant, editor, Proceedings of the 13th ASWEC, pages 68–75. IEEE CS Press, 2001.
-
(2001)
Proceedings of the 13Th ASWEC
, pp. 68-75
-
-
Artho, C.1
Biere, A.2
-
6
-
-
0003644553
-
-
Addison-Wesley
-
G. Bollella, J. Gosling, B. Brosgol, P. Dibble, S. Furr, and M. Turnbull. The Real-Time Specification for Java. Addison-Wesley, 2000.
-
(2000)
The Real-Time Specification for Java
-
-
Bollella, G.1
Gosling, J.2
Brosgol, B.3
Dibble, P.4
Furr, S.5
Turnbull, M.6
-
7
-
-
19944392190
-
Experimental Evaluation ofVerification andValidation Tools on Martian Rover Software
-
Extended abstract
-
G. Brat, D. Giannakopoulou, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu, A. Venet, and W. Visser. Experimental Evaluation ofVerification andValidation Tools on Martian Rover Software. In SEI Software Model Checking Workshop, 2003. Extended abstract.
-
(2003)
SEI Software Model Checking Workshop
-
-
Brat, G.1
Giannakopoulou, D.2
Goldberg, A.3
Havelund, K.4
Lowry, M.5
Pasareanu, C.6
Venet, A.7
Visser, W.8
-
8
-
-
0033697422
-
Bandera: Extracting Finite-state Models from Java Source Code
-
Ireland, ACM Press
-
J. Corbett, M. B. Dwyer, J. Hatcliff, C. S. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting Finite-state Models from Java Source Code. In Proc. 22nd International Conference on Software Engineering, Ireland, 2000. ACM Press.
-
(2000)
Proc. 22Nd International Conference on Software Engineering
-
-
Corbett, J.1
Dwyer, M.B.2
Hatcliff, J.3
Pasareanu, C.S.4
Robby, S.L.5
Zheng, H.6
-
9
-
-
0004207324
-
Extended Static Checking
-
Compaq Systems Research Center, Palo Alto, California, USA
-
D. L. Detlefs, K. Rustan, M. Leino, G. Nelson, and J. B. Saxe. Extended Static Checking. Technical Report 159, Compaq Systems Research Center, Palo Alto, California, USA, 1998.
-
(1998)
Technical Report 159
-
-
Detlefs, D.L.1
Rustan, K.2
Leino, M.3
Nelson, G.4
Saxe, J.B.5
-
12
-
-
84947286828
-
Runtime Checking of Multithreaded Applications with Visual Threads
-
Springer
-
J. Harrow. Runtime Checking of Multithreaded Applications with Visual Threads. In 7th SPIN Workshop, volume 1885 of LNCS, pages 331–342. Springer, 2000.
-
(2000)
7Th SPIN Workshop, Volume 1885 of LNCS
, pp. 331-342
-
-
Harrow, J.1
-
13
-
-
84947232527
-
Using Runtime Analysis to Guide Model Checking of Java Programs
-
Springer
-
K. Havelund. Using Runtime Analysis to Guide Model Checking of Java Programs. In 7th SPIN Workshop, volume 1885 of LNCS, pages 245–264. Springer, 2000.
-
(2000)
7Th SPIN Workshop, Volume 1885 of LNCS
, pp. 245-264
-
-
Havelund, K.1
-
14
-
-
0012852458
-
Formal Analysis of the Remote Agent Before and After Flight
-
June, USA
-
K. Havelund, M. Lowry, S. Park, C. Pecheur, J. Penix, W. Visser, and J. White. Formal Analysis of the Remote Agent Before and After Flight. In 5th NASA Langley Formal Methods Workshop, June 2000. USA.
-
(2000)
5Th NASA Langley Formal Methods Workshop
-
-
Havelund, K.1
Lowry, M.2
Park, S.3
Pecheur, C.4
Penix, J.5
Visser, W.6
White, J.7
-
20
-
-
84944220460
-
Connected, limited device configuration
-
may
-
Sun Microsystems. Connected, limited device configuration. specification version 1.0a, may 2000. http://java.sun.com/j2me/docs/.
-
(2000)
Specification Version 1.0A
-
-
-
21
-
-
84944204145
-
-
Sun Microsystems. Java 2 documentation. http://java.sun.com/j2se/1.4/docs/.
-
Java 2 Documentation
-
-
-
22
-
-
0031272525
-
Eraser: A Dynamic Data Race Detector for Multithreaded Programs
-
S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems, 15(4):391–411, 1997.
-
(1997)
ACM Transactions on Computer Systems
, vol.15
, Issue.4
, pp. 391-411
-
-
Savage, S.1
Burrows, M.2
Nelson, G.3
Sobalvarro, P.4
Anderson, T.5
-
23
-
-
84947247929
-
Model-Checking Multi-threaded Distributed Java Programs
-
Springer
-
S. D. Stoller. Model-Checking Multi-threaded Distributed Java Programs. In 7th SPIN Workshop, volume 1885 of LNCS, pages 224–244. Springer, 2000.
-
(2000)
7Th SPIN Workshop, Volume 1885 of LNCS
, pp. 224-244
-
-
Stoller, S.D.1
|