-
4
-
-
50549091105
-
Using Static Analysis to Find Bugs
-
Ayewah, N., Hovemeyer, D., Morgenthaler, J.D., Penix, J., Pugh, W.: Using Static Analysis to Find Bugs. IEEE Softw. 25(5), 22-29 (2008)
-
(2008)
IEEE Softw.
, vol.25
, Issue.5
, pp. 22-29
-
-
Ayewah, N.1
Hovemeyer, D.2
Morgenthaler, J.D.3
Penix, J.4
Pugh, W.5
-
5
-
-
17544362263
-
Hoard: A Scalable Memory Allocator for Multithreaded Applications
-
Berger, E.D., McKinley, K.S., Blumofe, R.D., Wilson, R.P.: Hoard: A Scalable Memory Allocator for Multithreaded Applications. SIGPLAN Not. 35(11), 117-128 (2000)
-
(2000)
SIGPLAN Not.
, vol.35
, Issue.11
, pp. 117-128
-
-
Berger, E.D.1
McKinley, K.S.2
Blumofe, R.D.3
Wilson, R.P.4
-
6
-
-
85008256270
-
Identifying Bug Signatures Using Discriminative Graph Mining
-
Cheng, H., Lo, D., Zhou, Y., Wang, X., Yan, X.: Identifying Bug Signatures Using Discriminative Graph Mining. In: Proc. ISSTA (2009)
-
Proc. ISSTA (2009)
-
-
Cheng, H.1
Lo, D.2
Zhou, Y.3
Wang, X.4
Yan, X.5
-
7
-
-
27144519209
-
Multi-threaded testing with AOP is easy, and it finds bugs!
-
Euro-Par 2005 Parallel Processing: 11th International Euro-Par Conference. Proceedings
-
Copty, S., Ur, S.: Multi-threaded Testing with AOP Is Easy, and It Finds Bugs! In: Cunha, J.C., Medeiros, P.D. (eds.) Euro-Par 2005. LNCS, vol. 3648, pp. 740-749. Springer, Heidelberg (2005) (Pubitemid 41490874)
-
(2005)
Lecture Notes in Computer Science
, vol.3648
, pp. 740-749
-
-
Copty, S.1
Ur, S.2
-
8
-
-
26444471878
-
Lightweight Defect Localization for Java
-
Black, A.P. (ed.) ECOOP 2005. Springer, Heidelberg
-
Dallmeier, V., Lindig, C., Zeller, A.: Lightweight Defect Localization for Java. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 528-550. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3586
, pp. 528-550
-
-
Dallmeier, V.1
Lindig, C.2
Zeller, A.3
-
10
-
-
0036315513
-
Multithreaded java program test generation
-
Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded Java Program Test Generation. IBM Syst. J. 41(1), 111-125 (2002) (Pubitemid 34811656)
-
(2002)
IBM Systems Journal
, vol.41
, Issue.1
, pp. 111-125
-
-
Edelstein, O.1
Farchi, E.2
Nir, Y.3
Ratsaby, G.4
Ur, S.5
-
11
-
-
78049333656
-
Software-Bug Localization with Graph Mining
-
Aggarwal, C.C., Wang, H. (eds.) Springer, Heidelberg
-
Eichinger, F., Böhm, K.: Software-Bug Localization with Graph Mining. In: Aggarwal, C.C., Wang, H. (eds.) Managing and Mining Graph Data. Springer, Heidelberg (2010)
-
(2010)
Managing and Mining Graph Data
-
-
Eichinger, F.1
Böhm, K.2
-
12
-
-
56049095794
-
Mining Edge-Weighted Call Graphs to Localise Software Bugs
-
Daelemans, W., Goethals, B., Morik, K. (eds.) ECML PKDD 2008, Part I. Springer, Heidelberg
-
Eichinger, F., Böhm, K., Huber, M.: Mining Edge-Weighted Call Graphs to Localise Software Bugs. In: Daelemans, W., Goethals, B., Morik, K. (eds.) ECML PKDD 2008, Part I. LNCS (LNAI), vol. 5211, pp. 333-348. Springer, Heidelberg (2008)
-
(2008)
LNCS (LNAI)
, vol.5211
, pp. 333-348
-
-
Eichinger, F.1
Böhm, K.2
Huber, M.3
-
17
-
-
82955230066
-
An Overview of AspectJ
-
Knudsen, J.L. (ed.) ECOOP 2001. Springer, Heidelberg
-
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, p. 327. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2072
, pp. 327
-
-
Kiczales, G.1
Hilsdale, E.2
Hugunin, J.3
Kersten, M.4
Palm, J.5
Griswold, W.G.6
-
18
-
-
84880122671
-
Mining Behavior Graphs for "Backtrace" of Noncrashing Bugs
-
Liu, C., Yan, X., Yu, H., Han, J., Yu, P.S.: Mining Behavior Graphs for "Backtrace" of Noncrashing Bugs. In: Proc. Int. Conf. on Data Mining (SDM) (2005)
-
Proc. Int. Conf. on Data Mining (SDM) (2005)
-
-
Liu, C.1
Yan, X.2
Yu, H.3
Han, J.4
Yu, P.S.5
-
19
-
-
58249111221
-
Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics
-
Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics. SIGARCH Comput. Archit. News 36(1), 329-339 (2008)
-
(2008)
SIGARCH Comput. Archit. News
, vol.36
, Issue.1
, pp. 329-339
-
-
Lu, S.1
Park, S.2
Seo, E.3
Zhou, Y.4
-
20
-
-
70349759135
-
-
Technical Report MSR-TR-2007-149, Microsoft Research
-
Musuvathi, M., Qadeer, S., Ball, T.: CHESS: A Systematic Testing Tool for Concurrent Software. Technical Report MSR-TR-2007-149, Microsoft Research
-
CHESS: A Systematic Testing Tool for Concurrent Software
-
-
Musuvathi, M.1
Qadeer, S.2
Ball, T.3
-
22
-
-
1442313250
-
Hybrid Dynamic Data Race Detection
-
O'Callahan, R., Choi, J.-D.: Hybrid Dynamic Data Race Detection. SIGPLAN Not. 38(10), 167-178 (2003)
-
(2003)
SIGPLAN Not.
, vol.38
, Issue.10
, pp. 167-178
-
-
O'Callahan, R.1
Choi, J.-D.2
-
23
-
-
72049105576
-
MulticoreSDK: A Practical and Efficient Data Race Detector for Real-World Applications
-
Qi, Y., Das, R., Luo, Z.D., Trotter, M.: MulticoreSDK: A Practical and Efficient Data Race Detector for Real-World Applications. In: Proc. Workshop on Parallel and Distributed Systems (2009)
-
Proc. Workshop on Parallel and Distributed Systems (2009)
-
-
Qi, Y.1
Das, R.2
Luo, Z.D.3
Trotter, M.4
-
25
-
-
0005371657
-
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
-
Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. In: Proc. Symposium on Operating systems principles (SOSP) (1997)
-
Proc. Symposium on Operating Systems Principles (SOSP) (1997)
-
-
Savage, S.1
Burrows, M.2
Nelson, G.3
Sobalvarro, P.4
Anderson, T.5
-
26
-
-
34548251392
-
Instrumenting Where it Hurts - An Automatic Concurrent Debugging Technique
-
Tzoref, R., Ur, S., Yom-Tov, E.: Instrumenting Where it Hurts - An Automatic Concurrent Debugging Technique. In: Proc. ISSTA (2007)
-
Proc. ISSTA (2007)
-
-
Tzoref, R.1
Ur, S.2
Yom-Tov, E.3
|