-
1
-
-
33745425614
-
Types for safe locking: Static race detection for Java
-
Abadi, M., Flanagan, C., and Freund, S. N. (2006.) Types for safe locking: Static race detection for Java. In TOPLAS, 28(2), 207-255. (Pubitemid 43943413)
-
(2006)
ACM Transactions on Programming Languages and Systems
, vol.28
, Issue.2
, pp. 207-255
-
-
Abadi, M.1
Flanagan, C.2
Freund, S.N.3
-
3
-
-
19044375174
-
An overview of JML tools and applications
-
Burdy, L., Cheon, Y, Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., and Poll, E. (2003). An overview of JML tools and applications. In International Journal on Software Tools for Technology Transfer, 7(3), 212-232.
-
(2003)
International Journal on Software Tools for Technology Transfer
, vol.7
, Issue.3
, pp. 212-232
-
-
Burdy, L.1
Cheon, Y.2
Cok, D.3
Ernst, M.4
Kiniry, J.5
Leavens, G.T.6
Leino, K.R.M.7
Poll, E.8
-
4
-
-
34548234229
-
Proving that programs eventually do something good
-
Cook, B., Gotsman, A., Podelski, A., Rybalchenko, A., and Vardi, M. (2007). Proving that programs eventually do something good. In Principles of Programming Languages (POPL).
-
(2007)
Principles of Programming Languages (POPL)
-
-
Cook, B.1
Gotsman, A.2
Podelski, A.3
Rybalchenko, A.4
Vardi, M.5
-
6
-
-
11844274991
-
Memory leak detection in C++
-
Jun. 2003
-
Erickson, C. (2003). Memory leak detection in C++. In Linux J., 110 (Jun. 2003), 8.
-
(2003)
Linux J.
, vol.110
, pp. 8
-
-
Erickson, C.1
-
7
-
-
77954717674
-
Using information fragments to answer the questions developers ask
-
Fritz, T., and Murphy, G.C. (2010). Using information fragments to answer the questions developers ask. In Proc ICSE, 175-184.
-
(2010)
Proc ICSE
, pp. 175-184
-
-
Fritz, T.1
Murphy, G.C.2
-
8
-
-
0003880013
-
-
Addison - Wesley
-
Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (2003) Design patterns: elements of reusable object-oriented software. Addison - Wesley.
-
(2003)
Design Patterns: Elements of Reusable Object-oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
9
-
-
31844450371
-
DART: Directed automated random testing
-
Godefroid, P., Klarlund, N, and Sen, K. (2005). DART: directed automated random testing. In PLDI.
-
(2005)
PLDI
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
10
-
-
0016623975
-
Exception handling: Issues and a proposed notation
-
Goodenough, J.B. (1975). Exception handling: issues and a proposed notation. In Communications of the ACM (CACM), 18(12), 683-693.
-
(1975)
Communications of the ACM (CACM)
, vol.18
, Issue.12
, pp. 683-693
-
-
Goodenough, J.B.1
-
11
-
-
41149175968
-
Assieme: Finding and leveraging implicit references in a web search interface for programmers
-
DOI 10.1145/1294211.1294216, Proceedings of the 20th Annual ACM Symposium on User Interface Software and Technology, UIST 2007
-
Hoffmann, R., Fogarty, J., and Weld, D.S. (2007). Assieme: finding and leveraging implicit references in a web search interface for programmers. In UIST, 13-22. (Pubitemid 351429332)
-
(2007)
UIST: Proceedings of the Annual ACM Symposium on User Interface Softaware and Technology
, pp. 13-22
-
-
Hoffmann, R.1
Fogarty, J.2
Weld, D.S.3
-
13
-
-
31744435604
-
Using dependency models to manage complex software architecture
-
Jordan, E., Sangal, N., Sinha, V., and Jackson, D. (2005). Using dependency models to manage complex software architecture. In Proc. OOPSLA.
-
(2005)
Proc. OOPSLA
-
-
Jordan, E.1
Sangal, N.2
Sinha, V.3
Jackson, D.4
-
14
-
-
0036648690
-
CCFinder: A multi-linguistic token-based code clone detection system for large scale source code
-
Kamiya, T., Kusumoto, S., and Inoue, K. (2002). CCFinder: a multi-linguistic token-based code clone detection system for large scale source code. In TSE, 28(7).
-
(2002)
TSE
, vol.28
, Issue.7
-
-
Kamiya, T.1
Kusumoto, S.2
Inoue, K.3
-
15
-
-
34548742277
-
Information needs in collocated software development teams
-
DOI 10.1109/ICSE.2007.45, 4222596, Proceedings - 29th International Conference on Software Engineering, ICSE 2007
-
Ko, A. J., DeLine, R., and Venolia, G. (2007). Information needs in collocated software development teams. In ICSE, 344-353. (Pubitemid 47430669)
-
(2007)
Proceedings - International Conference on Software Engineering
, pp. 344-353
-
-
Ko, A.J.1
DeLine, R.2
Venolia, G.3
-
16
-
-
57349156958
-
Debugging reinvented: Asking and answering why and why not questions about program behavior
-
Ko, A.J., and Myers, B.A. (2008). Debugging reinvented: asking and answering why and why not questions about program behavior. In Proc. of the Int'l Conf. on Soft. Eng. (ICSE).
-
(2008)
Proc. of the Int'l Conf. on Soft. Eng. (ICSE)
-
-
Ko, A.J.1
Myers, B.A.2
-
17
-
-
84952883149
-
A study on the current state of the art in tool-supported UML-based static reverse engineering
-
Kollmann, R., Selonen, P., Stroulia, E., Systä, T., and Zündorf, A. (2002). A study on the current state of the art in tool-supported UML-based static reverse engineering. In WCRE.
-
(2002)
WCRE
-
-
Kollmann, R.1
Selonen, P.2
Stroulia, E.3
Systä, T.4
Zündorf, A.5
-
18
-
-
38049079668
-
Program comprehension as fact finding
-
LaToza, T.D., Garlan, D., Herbsleb, J.D., and Myers, B.A. (2007). Program comprehension as fact finding. In FSE.
-
(2007)
FSE
-
-
LaToza, T.D.1
Garlan, D.2
Herbsleb, J.D.3
Myers, B.A.4
-
20
-
-
33947315724
-
Maintaining mental models: A study of developer work habits
-
LaToza, T.D., Venolia, G., and DeLine, R. (2006). Maintaining mental models: a study of developer work habits. In Proc. ICSE.
-
(2006)
Proc. ICSE
-
-
LaToza, T.D.1
Venolia, G.2
DeLine, R.3
-
22
-
-
0036038347
-
Expertise browser: A quantitative approach to identifying expertise
-
Mockus, A., and Herblseb, J. (2002). Expertise browser: a quantitative approach to identifying expertise. In Proc ICSE.
-
(2002)
Proc ICSE
-
-
Mockus, A.1
Herblseb, J.2
-
23
-
-
0003626920
-
-
Lawrence Erlbaum Associates, Inc.
-
Moran, T. P. and Carroll, J. M., Eds. (1996). Design rationale: concepts, techniques, and use. Lawrence Erlbaum Associates, Inc.
-
(1996)
Design Rationale: Concepts, Techniques, and Use
-
-
Moran, T.P.1
Carroll, J.M.2
-
24
-
-
49349085199
-
Asking and answering questions during a programming change task
-
Sillito, J., Murphy, G.C., and De Volder, K. (2008). Asking and answering questions during a programming change task. In Transactions on Software Engineering (TSE), 34(4).
-
(2008)
Transactions on Software Engineering (TSE)
, vol.34
, Issue.4
-
-
Sillito, J.1
Murphy, G.C.2
De Volder, K.3
-
26
-
-
0022605097
-
TYPESTATE: A PROGRAMMING LANGUAGE CONCEPT FOR ENHANCING SOFTWARE RELIABILITY.
-
Strom, R.E., Yemini, S. (1986). Typestate: a programming language concept for enhancing software reliability. In Transactions on Software Engineering (TSE), 12(1), 157-171. (Pubitemid 16575813)
-
(1986)
IEEE Transactions on Software Engineering
, vol.SE-12
, Issue.1
, pp. 157-171
-
-
Strom Robert, E.1
Yemini Shaula2
-
27
-
-
77949836793
-
The structure and value of modularity in design
-
Sullivan, K.J., Griswold, W.G., Cai, Y., and Hallen, B. (2001). The structure and value of modularity in design. In Proc. FSE.
-
(2001)
Proc. FSE
-
-
Sullivan, K.J.1
Griswold, W.G.2
Cai, Y.3
Hallen, B.4
|