-
1
-
-
24944501226
-
Comparing bug finding tools with reviews and tests
-
F. Khendek and R. Dssouli, Eds. Springer Berlin Heidelberg
-
S. Wagner, J. Jurjens, C. Koller, and P. Trischberger, "Comparing bug finding tools with reviews and tests," in Testing of Communicating Systems, ser. Lecture Notes in Computer Science, F. Khendek and R. Dssouli, Eds. Springer Berlin Heidelberg, 2005, vol. 3502, pp. 40-55. [Online]. Available: http://dx.doi.org/10.1007/11430230 4
-
(2005)
Testing of Communicating Systems, Ser. Lecture Notes in Computer Science
, vol.3502
, pp. 40-55
-
-
Wagner, S.1
Jurjens, J.2
Koller, C.3
Trischberger, P.4
-
2
-
-
14544301479
-
Finding bugs is easy
-
December
-
D. Hovemeyer and W. Pugh, "Finding bugs is easy," SIGPLAN Not., vol. 39, pp. 92-106, December 2004.
-
(2004)
SIGPLAN Not
, vol.39
, pp. 92-106
-
-
Hovemeyer, D.1
Pugh, W.2
-
3
-
-
36549070602
-
Evaluating static analysis defect warnings on production software
-
New York, NY, USA: ACM
-
N. Ayewah, W. Pugh, J. D. Morgenthaler, J. Penix, and Y. Zhou, "Evaluating static analysis defect warnings on production software," in Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, ser. PASTE '07. New York, NY, USA: ACM, 2007, pp. 1-8. [Online]. Available: http://doi.acm.org/10.1145/1251535.1251536
-
(2007)
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Ser. PASTE '07
, pp. 1-8
-
-
Ayewah, N.1
Pugh, W.2
Morgenthaler, J.D.3
Penix, J.4
Zhou, Y.5
-
4
-
-
16244364044
-
A comparison of bug finding tools for java
-
Nov
-
N. Rutar, C. Almazan, and J. Foster, "A comparison of bug finding tools for java," in Software Reliability Engineering, 2004. ISSRE 2004. 15th International Symposium on, Nov 2004, pp. 245-256.
-
(2004)
Software Reliability Engineering, 2004. ISSRE 2004. 15th International Symposium on
, pp. 245-256
-
-
Rutar, N.1
Almazan, C.2
Foster, J.3
-
5
-
-
50549089646
-
An evaluation of two bug pattern tools for java
-
April
-
S. Wagner, F. Deissenboeck, M. Aichner, J. Wimmer, and M. Schwalb, "An evaluation of two bug pattern tools for java," in Software Testing, Verification, and Validation, 2008 1st International Conference on, April 2008, pp. 248-257.
-
(2008)
Software Testing, Verification, and Validation, 2008 1st International Conference on
, pp. 248-257
-
-
Wagner, S.1
Deissenboeck, F.2
Aichner, M.3
Wimmer, J.4
Schwalb, M.5
-
6
-
-
84866932261
-
To what extent could we detect field defects? An empirical study of false negatives in static bug finding tools
-
New York, NY, USA: ACM
-
F. Thung, Lucia, D. Lo, L. Jiang, F. Rahman, and P. T. Devanbu, "To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools," in Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ser. ASE 2012. New York, NY, USA: ACM, 2012, pp. 50-59. [Online]. Available: http: //doi.acm.org/10.1145/2351676.2351685
-
(2012)
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, Ser. ASE 2012
, pp. 50-59
-
-
Thung, F.1
Lucia, L.D.2
Jiang, L.3
Rahman, F.4
Devanbu, P.T.5
-
7
-
-
84886386212
-
Why don't software developers use static analysis tools to find bugs?
-
Piscataway, NJ, USA: IEEE Press
-
B. Johnson, Y. Song, E. Murphy-Hill, and R. Bowdidge, "Why don't software developers use static analysis tools to find bugs?" in Proceedings of the 2013 International Conference on Software Engineering, ser. ICSE '13. Piscataway, NJ, USA: IEEE Press, 2013, pp. 672-681. [Online]. Available: http://dl.acm.org/citation.cfm? id=2486788.2486877
-
(2013)
Proceedings of the 2013 International Conference on Software Engineering, Ser. ICSE '13
, pp. 672-681
-
-
Johnson, B.1
Song, Y.2
Murphy-Hill, E.3
Bowdidge, R.4
-
8
-
-
77949887726
-
Accurate interprocedural null-dereference analysis for java
-
Washington, DC, USA: IEEE Computer Society
-
M. G. Nanda and S. Sinha, "Accurate interprocedural null-dereference analysis for java," in Proceedings of the 31st International Conference on Software Engineering, ser. ICSE '09. Washington, DC, USA: IEEE Computer Society, 2009, pp. 133-143. [Online]. Available: http://dx.doi.org/10.1109/ICSE.2009.5070515
-
(2009)
Proceedings of the 31st International Conference on Software Engineering, Ser. ICSE '09
, pp. 133-143
-
-
Nanda, M.G.1
Sinha, S.2
-
9
-
-
84994119270
-
Comparing static bug finders and statistical prediction
-
New York, NY, USA: ACM
-
F. Rahman, S. Khatri, E. T. Barr, and P. Devanbu, "Comparing static bug finders and statistical prediction," in Proceedings of the 36th International Conference on Software Engineering, ser. ICSE 2014. New York, NY, USA: ACM, 2014, pp. 424-434. [Online]. Available: http://doi.acm.org/10.1145/2568225.2568269
-
(2014)
Proceedings of the 36th International Conference on Software Engineering, Ser. ICSE 2014
, pp. 424-434
-
-
Rahman, F.1
Khatri, S.2
Barr, E.T.3
Devanbu, P.4
-
10
-
-
79957930613
-
Gamification. Using game-design elements in non-gaming contexts
-
New York, NY, USA: ACM
-
S. Deterding, M. Sicart, L. Nacke, K. O'Hara, and D. Dixon, "Gamification. using game-design elements in non-gaming contexts," in CHI '11 Extended Abstracts on Human Factors in Computing Systems, ser. CHI EA '11. New York, NY, USA: ACM, 2011, pp. 2425-2428. [Online]. Available: http://doi.acm.org/10.1145/1979742.1979575
-
(2011)
CHI '11 Extended Abstracts on Human Factors in Computing Systems, Ser. CHI EA '11
, pp. 2425-2428
-
-
Deterding, S.1
Sicart, M.2
Nacke, L.3
O'hara, K.4
Dixon, D.5
-
11
-
-
84860665893
-
From game design elements to gamefulness: Defining "gamification"
-
MindTrek '11. ACM
-
S. Deterding, D. Dixon, R. Khaled, and L. Nacke, "From game design elements to gamefulness: defining "gamification"," in Proceedings of the 15th International Academic MindTrek Conference: Envisioning Future Media Environments, ser. MindTrek '11. ACM, 2011, pp. 9-15.
-
(2011)
Proceedings of the 15th International Academic MindTrek Conference: Envisioning Future Media Environments, ser
, pp. 9-15
-
-
Deterding, S.1
Dixon, D.2
Khaled, R.3
Nacke, L.4
-
12
-
-
16244364044
-
A comparison of bug finding tools for java
-
Washington, DC, USA: IEEE Computer Society
-
N. Rutar, C. B. Almazan, and J. S. Foster, "A comparison of bug finding tools for java," in Proceedings of the 15th International Symposium on Software Reliability Engineering, ser. ISSRE '04. Washington, DC, USA: IEEE Computer Society, 2004, pp. 245-256. [Online]. Available: http://dx.doi.org/10.1109/ISSRE.2004.1
-
(2004)
Proceedings of the 15th International Symposium on Software Reliability Engineering, Ser. ISSRE '04
, pp. 245-256
-
-
Rutar, N.1
Almazan, C.B.2
Foster, J.S.3
-
13
-
-
77954718653
-
Making defect-finding tools work for you
-
New York, NY, USA: ACM
-
M. G. Nanda, M. Gupta, S. Sinha, S. Chandra, D. Schmidt, and P. Balachandran, "Making defect-finding tools work for you," in Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering - Volume 2, ser. ICSE '10. New York, NY, USA: ACM, 2010, pp. 99-108. [Online]. Available: http://doi.acm.org/10.1145/1810295.1810310
-
(2010)
Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering-Volume 2, Ser. ICSE '10
, pp. 99-108
-
-
Nanda, M.G.1
Gupta, M.2
Sinha, S.3
Chandra, S.4
Schmidt, D.5
Balachandran, P.6
-
14
-
-
50549091105
-
Using static analysis to find bugs
-
Sept
-
N. Ayewah, D. Hovemeyer, J. Morgenthaler, J. Penix, and W. Pugh, "Using static analysis to find bugs," Software, IEEE, vol. 25, no. 5, pp. 22-29, Sept 2008.
-
(2008)
Software, IEEE
, vol.25
, Issue.5
, pp. 22-29
-
-
Ayewah, N.1
Hovemeyer, D.2
Morgenthaler, J.3
Penix, J.4
Pugh, W.5
-
15
-
-
36549063428
-
Finding more null pointer bugs, but not too many
-
New York, NY, USA: ACM
-
D. Hovemeyer and W. Pugh, "Finding more null pointer bugs, but not too many," in Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, ser. PASTE '07. New York, NY, USA: ACM, 2007, pp. 9-14. [Online]. Available: http://doi.acm.org/10.1145/1251535.1251537
-
(2007)
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Ser. PASTE '07
, pp. 9-14
-
-
Hovemeyer, D.1
Pugh, W.2
-
16
-
-
37849006243
-
Which warnings should i fix first?
-
New York, NY, USA: ACM
-
S. Kim and M. D. Ernst, "Which warnings should i fix first?" in Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ser. ESEC-FSE '07. New York, NY, USA: ACM, 2007, pp. 45-54. [Online]. Available: http://doi.acm.org/10.1145/1287624.1287633
-
(2007)
Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Ser. ESEC-FSE '07
, pp. 45-54
-
-
Kim, S.1
Ernst, M.D.2
-
18
-
-
84866938660
-
Puzzle-based automatic testing: Bringing humans into the loop by solving puzzles
-
New York, NY, USA: ACM
-
N. Chen and S. Kim, "Puzzle-based automatic testing: Bringing humans into the loop by solving puzzles," in Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ser. ASE 2012. New York, NY, USA: ACM, 2012, pp. 140-149. [Online]. Available: http://doi.acm.org/10.1145/2351676.2351697
-
(2012)
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, Ser. ASE 2012
, pp. 140-149
-
-
Chen, N.1
Kim, S.2
-
19
-
-
79959918739
-
Pex4fun: Teaching and learning computer science via social gaming
-
May
-
N. Tillmann, J. De Halleux, and T. Xie, "Pex4fun: Teaching and learning computer science via social gaming," in Software Engineering Education and Training (CSEE T), 2011 24th IEEE-CS Conference on, May 2011, pp. 546-548.
-
(2011)
Software Engineering Education and Training (CSEE T), 2011 24th IEEE-CS Conference on
, pp. 546-548
-
-
Tillmann, N.1
De Halleux, J.2
Xie, T.3
|