-
1
-
-
79953175945
-
A field study of API learning obstacles
-
M. Robillard and R. DeLine, "A Field Study of API Learning Obstacles," Empirical Software Eng., vol. 16, no. 6, pp. 703-732, 2011.
-
(2011)
Empirical Software Eng
, vol.16
, Issue.6
, pp. 703-732
-
-
Robillard, M.1
Deline, R.2
-
2
-
-
0036041420
-
Bugs as deviant behavior: A general approach to inferring errors in systems code
-
DOI 10.1145/502059.502041
-
D. Engler, D.Y. Chen, S. Hallem, A. Chou, and B. Chelf, "Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code," Proc. 18th ACM Symp. Operating Systems Principles, pp. 57-72, 2001. (Pubitemid 33612605)
-
(2001)
Operating Systems Review (ACM)
, vol.35
, Issue.5
, pp. 57-72
-
-
Engler, D.1
Chen, D.Y.2
Hallem, S.3
Chou, A.4
Chelf, B.5
-
3
-
-
0032639445
-
Dynamically discovering likely program invariants to support program evolution
-
M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin, "Dynamically Discovering Likely Program Invariants to Support Program Evolution," Proc. 21st ACM/IEEE Int'l Conf. Software Eng., pp. 213-224, 1999.
-
(1999)
Proc. 21st ACM/IEEE Int'l Conf. Software Eng
, pp. 213-224
-
-
Ernst, M.D.1
Cockrell, J.2
Griswold, W.G.3
Notkin, D.4
-
4
-
-
33947312500
-
Approximate structural context matching: An approach to recommend relevant examples
-
DOI 10.1109/TSE.2006.117
-
R. Holmes, R.J. Walker, and G.C. Murphy, "Approximate Structural Context Matching: An Approach to Recommend Relevant Examples," IEEE Trans. Software Eng., vol. 32, no. 12, pp. 952-970, Dec. 2006. (Pubitemid 46437703)
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.12
, pp. 952-970
-
-
Holmes, R.1
Walker, R.J.2
Murphy, G.C.3
-
5
-
-
69949134981
-
MAPO: Mining and recommending API usage patterns
-
H. Zhong, T. Xie, L. Zhang, J. Pei, and H. Mei, "MAPO: Mining and Recommending API Usage Patterns," Proc. 23rd European Conf. Object-Oriented Programming, pp. 318-343, 2009.
-
(2009)
Proc. 23rd European Conf. Object-Oriented Programming
, pp. 318-343
-
-
Zhong, H.1
Xie, T.2
Zhang, L.3
Pei, J.4
Mei, H.5
-
6
-
-
0031079312
-
Automatic generation of invariants and intermediate assertions
-
PII S0304397596001910
-
N. Bjørner, A. Browne, and Z. Manna, "Automatic Generation of Invariants and Intermediate Assertions," Theoretical Computer Science, vol. 173, pp. 49-87, 1997. (Pubitemid 127451487)
-
(1997)
Theoretical Computer Science
, vol.173
, Issue.1
, pp. 49-87
-
-
Bjorner, N.1
Browne, A.2
Manna, Z.3
-
7
-
-
0032667112
-
Patterns in property specifications for finite-state verification
-
M.B. Dwyer, G.S. Avrunin, and J.C. Corbett, "Patterns in Property Specifications for Finite-State Verification," Proc. 21st ACM/IEEE Int'l Conf. Software Eng., pp. 411-420, 1999.
-
(1999)
Proc. 21st ACM/IEEE Int'l Conf. Software Eng
, pp. 411-420
-
-
Dwyer, M.B.1
Avrunin, G.S.2
Corbett, J.C.3
-
9
-
-
0033725593
-
Data mining library reuse patterns using generalized association rules
-
A. Michail, "Data Mining Library Reuse Patterns Using Generalized Association Rules," Proc. 22nd ACM/IEEE Int'l Conf. Software Eng., pp. 167-176, 2000.
-
(2000)
Proc. 22nd ACM/IEEE Int'l Conf. Software Eng
, pp. 167-176
-
-
Michail, A.1
-
12
-
-
34548269492
-
FrUiT: IDE support for framework understanding
-
DOI 10.1145/1188835.1188847, Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006
-
M. Bruch, T. Schäfer, and M. Mezini, "FrUiT: IDE Support for Framework Understanding," Proc. OOPSLA Eclipse Technology eXchange, pp. 55-59, 2006. (Pubitemid 47326769)
-
(2006)
Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006
, pp. 55-59
-
-
Bruch, M.1
Schafer, T.2
Mezini, M.3
-
13
-
-
77949394549
-
Learning from examples to improve code completion systems
-
M. Bruch, M. Monperrus, and M. Mezini, "Learning from Examples to Improve Code Completion Systems," Proc. Joint Meeting Seventh European Software Eng. Conf. and Seventh ACM SIGSOFT Symp. Foundations of Software Eng., pp. 213-222, 2009.
-
(2009)
Proc. Joint Meeting Seventh European Software Eng. Conf. and Seventh ACM SIGSOFT Symp. Foundations of Software Eng
, pp. 213-222
-
-
Bruch, M.1
Monperrus, M.2
Mezini, M.3
-
14
-
-
77955041046
-
Detecting missing method calls in object-oriented software
-
M. Monperrus, M. Bruch, and M. Mezini, "Detecting Missing Method Calls in Object-Oriented Software," Proc. 24th European Conf. Object-Oriented Programming, pp. 2-25, 2010.
-
(2010)
Proc. 24th European Conf. Object-Oriented Programming
, pp. 2-25
-
-
Monperrus, M.1
Bruch, M.2
Mezini, M.3
-
15
-
-
77953718801
-
Recommendation systems for software engineering
-
July/Aug.
-
M.P. Robillard, R.J. Walker, and T. Zimmermann, "Recommendation Systems for Software Engineering," IEEE Software, vol. 27, no. 4, pp. 80-86, July/Aug. 2010.
-
(2010)
IEEE Software
, vol.27
, Issue.4
, pp. 80-86
-
-
Robillard, M.P.1
Walker, R.J.2
Zimmermann, T.3
-
18
-
-
28444435381
-
Beyond association rules: Generalized rule discovery
-
Kluwer Academic Publishers
-
G.I. Webb and S. Zhang, "Beyond Association Rules: Generalized Rule Discovery," Knowledge Discovery and Data Mining, Kluwer Academic Publishers, 2003.
-
(2003)
Knowledge Discovery and Data Mining
-
-
Webb, G.I.1
Zhang, S.2
-
20
-
-
0036038253
-
Mining specifications
-
G. Ammons, R. Bod́k, and J.R. Larus, "Mining Specifications," Proc. 29th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, pp. 4-16, 2002. (Pubitemid 35009026)
-
(2002)
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
, pp. 4-16
-
-
Ammons, G.1
Bodik, R.2
Larus, J.R.3
-
21
-
-
0036983315
-
Automatic extraction of object-oriented component interfaces
-
J. Whaley, M.C. Martin, and M.S. Lam, "Automatic Extraction of Object-Oriented Component Interfaces," Proc. ACM Int'l Symp. Software Testing and Analysis, pp. 218-228, 2002.
-
(2002)
Proc ACM Int'l Symp. Software Testing and Analysis
, pp. 218-228
-
-
Whaley, J.1
Martin, M.C.2
Lam, M.S.3
-
24
-
-
17044362578
-
Synthesis of interface specifications for java classes
-
R. Alur, P. Cerny, P. Madhusudan, and W. Nam, "Synthesis of Interface Specifications for Java Classes," Proc. 32nd ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, pp. 98-109, 2005.
-
(2005)
Proc. 32nd ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages
, pp. 98-109
-
-
Alur, R.1
Cerny, P.2
Madhusudan, P.3
Nam, W.4
-
25
-
-
31844436753
-
Jungloid mining: Helping to navigate the API Jungle
-
D. Mandelin, L. Xu, R. Bod́k, and D. Kimelman, "Jungloid Mining: Helping to Navigate the API Jungle," Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, pp. 48-61, 2005.
-
(2005)
Proc ACM SIGPLAN Conf. Programming Language Design and Implementation
, pp. 48-61
-
-
Mandelin, D.1
Xu, L.2
Bod́k, R.3
Kimelman, D.4
-
26
-
-
33646898215
-
Scenariographer: A tool for reverse engineering class usage scenarios from method invocation sequences
-
DOI 10.1109/ICSM.2005.78, 1510112, Proceedings of the 21st IEEE International Conference on Software Maintenance, ICSM 2005
-
M. Salah, T. Denton, S. Mancoridis, A. Shokoufandeh, and F.I. Vokolos, "Scenariographer: A Tool for Reverse Engineering Class Usage Scenarios from Method Invocation Sequences," Proc. 21st IEEE Int'l Conf. Software Maintenance, pp. 155-164, 2005. (Pubitemid 43790930)
-
(2005)
IEEE International Conference on Software Maintenance, ICSM
, vol.2005
, pp. 155-164
-
-
Salah, M.1
Denton, T.2
Mancoridis, S.3
Shokoufandeh, A.4
Vokolos, F.I.5
-
27
-
-
24644493674
-
Mining temporal specifications for error detection
-
Tools and Algorithms for the Construction and Analysis of Systems - 11th Int. Conference, TACAS 2005, held as part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2005, Proc.
-
W. Weimer and G.C. Necula, "Mining Temporal Specifications for Error Detection," Proc. 11th Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems, pp. 461-476, 2005. (Pubitemid 41273759)
-
(2005)
Lecture Notes in Computer Science
, vol.3440
, pp. 461-476
-
-
Weimer, W.1
Necula, G.C.2
-
29
-
-
34547678001
-
Mining interface specifications for generating checkable robustness properties
-
DOI 10.1109/ISSRE.2006.29, 4021997, Proceedings - 17th International Symposium on Software Reliability Engineering, ISSRE 2006
-
M. Acharya, T. Xie, and J. Xu, "Mining Interface Specifications for Generating Checkable Robustness Properties," Proc. 17th IEEE Int'l Symp. Software Reliability Eng., pp. 311-320, 2006. (Pubitemid 47213968)
-
(2006)
Proceedings - International Symposium on Software Reliability Engineering, ISSRE
, pp. 311-320
-
-
Acharya, M.1
Xie, T.2
Xu, J.3
-
30
-
-
77953578234
-
Mining object behavior with ADABU
-
V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller, "Mining Object Behavior with ADABU," Proc. Int'l Workshop Dynamic Systems Analysis, pp. 17-24, 2006.
-
(2006)
Proc. Int'l Workshop Dynamic Systems Analysis
, pp. 17-24
-
-
Dallmeier, V.1
Lindig, C.2
Wasylkowski, A.3
Zeller, A.4
-
31
-
-
34247109615
-
LtRules: An automated software library usage rule extraction tool
-
Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06
-
C. Liu, E. Ye, and D.J. Richardson, "LtRules: An Automated Software Library Usage Rule Extraction Tool," Proc. 28th ACM/IEEE Int'l Conf. Software Eng., pp. 823-826, 2006. (Pubitemid 46600996)
-
(2006)
Proceedings - International Conference on Software Engineering
, vol.2006
, pp. 823-826
-
-
Liu, C.1
Ye, E.2
Richardson, D.J.3
-
33
-
-
35248827669
-
Software verification with BLAST
-
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Software Verification with BLAST," Proc. 10th Int'l Conf. Model Checking Software, pp. 235-239, 2003. (Pubitemid 137635189)
-
(2003)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.2648
, pp. 235-239
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
34
-
-
34547367487
-
SMArTIC: Towards building an accurate, robust and scalable specification miner
-
DOI 10.1145/1181775.1181808, 1181808, Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering
-
D. Lo and S. Khoo, "SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner," Proc. 14th ACM SIGSOFT Int'l Symp. Foundations of Software Eng., pp. 265-275, 2006. (Pubitemid 47129403)
-
(2006)
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
, pp. 265-275
-
-
Lo, D.1
Khoo, S.-C.2
-
35
-
-
34247116992
-
Perracotta: Mining temporal API rules from imperfect traces
-
Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06
-
J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das, "Perracotta: Mining Temporal API Rules from Imperfect Traces," Proc. 28th ACM/IEEE Int'l Conf. Software Eng., pp. 282-291, 2006. (Pubitemid 46600925)
-
(2006)
Proceedings - International Conference on Software Engineering
, vol.2006
, pp. 282-291
-
-
Yang, J.1
Evans, D.2
Bhardwaj, D.3
Bhat, T.4
Das, M.5
-
36
-
-
37849002654
-
Mining API patterns as partial orders from source code: From usage scenarios to specifications
-
M. Acharya, T. Xie, J. Pei, and J. Xu, "Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications," Proc. Sixth Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Int'l Symp. Foundations of Software Eng., pp. 25-34, 2007.
-
(2007)
Proc. Sixth Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Int'l Symp. Foundations of Software Eng
, pp. 25-34
-
-
Acharya, M.1
Xie, T.2
Pei, J.3
Xu, J.4
-
37
-
-
57749190064
-
An approach to mining call-usage patterns with syntactic context
-
H. Kagdi, M.L. Collard, and J.I. Maletic, "An Approach to Mining Call-Usage Patterns with Syntactic Context," Proc. 22nd IEEE/ACM Int'l Conf. Automated Software Eng., pp. 457-460, 2007.
-
(2007)
Proc. 22nd IEEE/ACM Int'l Conf. Automated Software Eng
, pp. 457-460
-
-
Kagdi, H.1
Collard, M.L.2
Maletic, J.I.3
-
39
-
-
67650097311
-
Static specification inference using predicate mining
-
DOI 10.1145/1250734.1250749, PLDI'07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation
-
M.K. Ramanathan, A. Grama, and S. Jagannathan, "Static Specification Inference Using Predicate Mining," Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, pp. 123-134, 2007. (Pubitemid 47630681)
-
(2007)
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
, pp. 123-134
-
-
Ramanathan, M.K.1
Grama, A.2
Jagannathan, S.3
-
40
-
-
34548783828
-
Path-sensitive inference of function precedence protocols
-
M.K. Ramanathan, A. Grama, and S. Jagannathan, "Path-Sensitive Inference of Function Precedence Protocols," Proc. 29th ACM/IEEE Int'l Conf. Software Eng., pp. 240-250, 2007.
-
(2007)
Proc. 29th ACM/IEEE Int'l Conf. Software Eng
, pp. 240-250
-
-
Ramanathan, M.K.1
Grama, A.2
Jagannathan, S.3
-
41
-
-
34548219459
-
Static specification mining using automata-based abstractions
-
DOI 10.1145/1273463.1273487, Proceedings of the 2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07
-
S. Shoham, E. Yahav, S. Fink, and M. Pistoia, "Static Specification Mining Using Automata-Based Abstractions," Proc. ACM Int'l Symp. Software Testing and Analysis, pp. 174-184, 2007. (Pubitemid 47317591)
-
(2007)
2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07
, pp. 174-184
-
-
Shoham, S.1
Yahav, E.2
Fink, S.3
Pistoia, M.4
-
43
-
-
37849020292
-
Detecting object usage anomalies
-
A. Wasylkowski, A. Zeller, and C. Lindig, "Detecting Object Usage Anomalies," Proc. Sixth Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Int'l Symp. Foundations of Software Eng., pp. 35-44, 2007.
-
(2007)
Proc. Sixth Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Int'l Symp. Foundations of Software Eng
, pp. 35-44
-
-
Wasylkowski, A.1
Zeller, A.2
Lindig, C.3
-
44
-
-
51149091866
-
Reverse engineering state machines by interactive grammar inference
-
N. Walkinshaw, K. Bogdanov, M. Holcombe, and S. Salahuddin, "Reverse Engineering State Machines by Interactive Grammar Inference," Proc. Working Conf. Reverse Eng., pp. 209-218, 2007.
-
(2007)
Proc. Working Conf. Reverse Eng
, pp. 209-218
-
-
Walkinshaw, N.1
Bogdanov, K.2
Holcombe, M.3
Salahuddin, S.4
-
47
-
-
57349167281
-
Automatic generation of software behavioral models
-
D. Lorenzoli, L. Mariani, and M. Pezzè, "Automatic Generation of Software Behavioral Models," Proc. 30th ACM/IEEE Int'l Conf. Software Eng., pp. 501-510, 2008.
-
(2008)
Proc. 30th ACM/IEEE Int'l Conf. Software Eng
, pp. 501-510
-
-
Lorenzoli, D.1
Mariani, L.2
Pezzè, M.3
-
48
-
-
49749143787
-
Mining temporal rules for software maintenance
-
D. Lo, S.C. Khoo, and C. Liu, "Mining Temporal Rules for Software Maintenance," J. Software Maintenance and Evolution: Research and Practice, vol. 20, no. 4, pp. 227-247, 2008.
-
(2008)
J. Software Maintenance and Evolution: Research and Practice
, vol.20
, Issue.4
, pp. 227-247
-
-
Lo, D.1
Khoo, S.C.2
Liu, C.3
-
49
-
-
57349129534
-
Mining library specifications using inductive logic programming
-
S. Sankaranarayanan, F. Ivanci, and A. Gupta, "Mining Library Specifications Using Inductive Logic Programming," Proc. 13th ACM/IEEE Int'l Conf. Software Eng., pp. 131-140, 2008.
-
(2008)
Proc. 13th ACM/IEEE Int'l Conf. Software Eng
, pp. 131-140
-
-
Sankaranarayanan, S.1
Ivanci, F.2
Gupta, A.3
-
50
-
-
67650555465
-
Inferring specifications of object oriented apis from api source code
-
H. Zhong, L. Zhang, and H. Mei, "Inferring Specifications of Object Oriented APIs from API Source Code," Proc. 15th Asia-Pacific Software Eng. Conf., pp. 221-228, 2008.
-
(2008)
Proc. 15th Asia-Pacific Software Eng. Conf
, pp. 221-228
-
-
Zhong, H.1
Zhang, L.2
Mei, H.3
-
52
-
-
73449095234
-
Mining quantified temporal rules: Formalism, algorithms, and evaluation
-
D. Lo, G. Ramalingam, V.P. Ranganath, and K. Vaswani, "Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation," Proc. Working Conf. Reverse Eng., pp. 62-71, 2009.
-
(2009)
Proc. Working Conf. Reverse Eng
, pp. 62-71
-
-
Lo, D.1
Ramalingam, G.2
Ranganath, V.P.3
Vaswani, K.4
-
53
-
-
77949373144
-
Graph-based mining of multiple object usage patterns
-
T.T. Nguyen, H.A. Nguyen, N.H. Pham, J.M. Al-Kofahi, and T.N. Nguyen, "Graph-Based Mining of Multiple Object Usage Patterns," Proc. Seventh Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Symp. Foundations of Software Eng., pp. 383-392, 2009.
-
(2009)
Proc. Seventh Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Symp. Foundations of Software Eng
, pp. 383-392
-
-
Nguyen, T.T.1
Nguyen, H.A.2
Pham, N.H.3
Al-Kofahi, J.M.4
Nguyen, T.N.5
-
55
-
-
72249092348
-
Dynamically inferring, refining, and checking API usage protocols
-
M. Pradel, "Dynamically Inferring, Refining, and Checking API Usage Protocols," Proc. 24th ACM SIGPLAN Conf. Object-Oriented Programming Systems, Languages and Applications-Companion, pp. 773-774, 2009.
-
(2009)
Proc. 24th ACM SIGPLAN Conf. Object-Oriented Programming Systems, Languages and Applications-Companion
, pp. 773-774
-
-
Pradel, M.1
-
59
-
-
77952208003
-
Inferring resource specifications from natural language api documentation
-
H. Zhong, L. Zhang, T. Xie, and H. Mei, "Inferring Resource Specifications from Natural Language API Documentation," Proc. 24th IEEE/ACM Int'l Conf. Automated Software Eng., pp. 307-318, 2009.
-
(2009)
Proc. 24th IEEE/ACM Int'l Conf. Automated Software Eng
, pp. 307-318
-
-
Zhong, H.1
Zhang, L.2
Xie, T.3
Mei, H.4
-
61
-
-
77955903017
-
Learning from 6,000 Projects: Lightweight cross-project anomaly detection
-
N. Gruska, A. Wasylkowski, and A. Zeller, "Learning from 6,000 Projects: Lightweight Cross-Project Anomaly Detection," Proc. 19th ACM Int'l Symp. Software Testing and Analysis, pp. 119-130, 2010.
-
(2010)
Proc. 19th ACM Int'l Symp. Software Testing and Analysis
, pp. 119-130
-
-
Gruska, N.1
Wasylkowski, A.2
Zeller, A.3
-
63
-
-
84866010121
-
Partially evaluating finite-state runtime monitors ahead of time
-
E. Bodden, P. Lam, and L. Hendren, "Partially Evaluating Finite-State Runtime Monitors Ahead of Time," ACM Trans. Programming Languages and Systems, vol. 34, 2012.
-
(2012)
ACM Trans. Programming Languages and Systems
, pp. 34
-
-
Bodden, E.1
Lam, P.2
Hendren, L.3
-
64
-
-
79959890862
-
Mining parametric specifications
-
C. Lee, F. Chen, and G. Roşu, "Mining Parametric Specifications," Proc. 33rd ACM/IEEE Int'l Conf. Software Eng., pp. 591-600, 2011.
-
(2011)
Proc. 33rd ACM/IEEE Int'l Conf. Software Eng
, pp. 591-600
-
-
Lee, C.1
Chen, F.2
Roşu, G.3
-
66
-
-
2442446148
-
BIDE: Efficient mining of frequent closed sequences
-
J. Wang and J. Han, "BIDE: Efficient Mining of Frequent Closed Sequences," Proc. 20th Int'l Conf. Data Eng., pp. 79-90, 2004.
-
(2004)
Proc. 20th Int'l Conf. Data Eng
, pp. 79-90
-
-
Wang, J.1
Han, J.2
-
68
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
-
P. Cousot and R. Cousot, "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints," Proc. Fourth ACM Symp. Principles of Programming Languages, pp. 238-252, 1977.
-
(1977)
Proc. Fourth ACM Symp. Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
69
-
-
84946201883
-
Universal games of incomplete information
-
J.H. Reif, "Universal Games of Incomplete Information," Proc. ACM Symp. Theory of Computing, pp. 288-308, 1979.
-
(1979)
Proc ACM Symp. Theory of Computing
, pp. 288-308
-
-
Reif, J.H.1
-
70
-
-
0023453626
-
Learning regular sets from queries and counterexamples
-
D. Angluin, "Learning Regular Sets from Queries and Counterexamples," Information and Computation/Information and Control, vol. 75, pp. 87-106, 1987. (Pubitemid 18535066)
-
(1987)
Information and Computation
, vol.75
, Issue.2
, pp. 87-106
-
-
Angluin, D.1
-
71
-
-
33646843643
-
Soot-A java bytecode optimization framework
-
R. Vallée-Rai, P. Co, E. Gagnon, L.J. Hendren, P. Lam, and V. Sundaresan, "Soot-A Java Bytecode Optimization Framework," Proc. Conf. Centre for Advanced Studies on Collaborative Research, p. 13, 1999.
-
(1999)
Proc. Conf. Centre for Advanced Studies on Collaborative Research
, pp. 13
-
-
Vallée-Rai, R.1
Co, P.2
Gagnon, E.3
Hendren, L.J.4
Lam, P.5
Sundaresan, V.6
-
72
-
-
0242416218
-
-
A. Cimatti, E.M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, NuSMV 2: An OpenSource Tool for Symbolic Model Checking, 2002.
-
(2002)
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, E.3
Giunchiglia, F.4
Pistore, M.5
Roveri, M.6
Sebastiani, R.7
Tacchella, A.8
-
73
-
-
40149109300
-
The QSM algorithm and its application to software behavior model induction
-
DOI 10.1080/08839510701853200, PII 791058109
-
P. Dupont, B. Lambeau, C. Damas, and A. van Lamsweerde, "The QSM Algorithm and Its Application to Software Behavior Model Induction," Applied Artificial Intelligence, vol. 22, no. 1/2, pp. 77-115, 2008. (Pubitemid 351326196)
-
(2008)
Applied Artificial Intelligence
, vol.22
, Issue.1-2
, pp. 77-115
-
-
Dupont, P.1
Lambeau, B.2
Damas, C.3
Van Lamsweerde, A.4
-
74
-
-
77955911859
-
Generating test cases for specification mining
-
V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller, "Generating Test Cases for Specification Mining," Proc. ACM Int'l Symp. Software Testing and Analysis, pp. 85-96, 2010.
-
(2010)
Proc ACM Int'l Symp. Software Testing and Analysis
, pp. 85-96
-
-
Dallmeier, V.1
Knopp, N.2
Mallon, C.3
Hack, S.4
Zeller, A.5
-
75
-
-
34948849748
-
QUARK: Empirical assessment of automaton-based specification miners
-
DOI 10.1109/WCRE.2006.47, 4023976, Proceedings - 13th Working Conference on Reverse Engineering, WCRE 2006
-
D. Lo and S.-C. Khoo, "QUARK: Empirical Assessment of Automaton-Based Specification Miners," Proc. 13th Working Conf. Reverse Eng., pp. 51-60, 2006. (Pubitemid 47514628)
-
(2006)
Proceedings - Working Conference on Reverse Engineering, WCRE
, pp. 51-60
-
-
Lo, D.1
Khoo, S.-C.2
-
76
-
-
78650080492
-
A framework for the evaluation of specification miners based on finite state machines
-
M. Pradel, P. Bichsel, and T.R. Gross, "A Framework for the Evaluation of Specification Miners Based on Finite State Machines," Proc. 26th IEEE Int'l Conf. Software Maintenance, pp. 1-10, 2010.
-
(2010)
Proc. 26th IEEE Int'l Conf. Software Maintenance
, pp. 1-10
-
-
Pradel, M.1
Bichsel, P.2
Gross, T.R.3
-
77
-
-
84938806379
-
On the synthesis of finite-state machines from samples of their behavior
-
June
-
A.W. Biermann and J.A. Feldman, "On the Synthesis of Finite-State Machines from Samples of Their Behavior," IEEE Trans. Computers, vol. 21, no. 6, pp. 592-597, June 1972.
-
(1972)
IEEE Trans. Computers
, vol.21
, Issue.6
, pp. 592-597
-
-
Biermann, A.W.1
Feldman, J.A.2
-
78
-
-
84945713135
-
Applying 'design by contract'
-
Oct
-
B. Meyer, "Applying 'Design by Contract'," Computer, vol. 25, no. 10, pp. 40-51, Oct. 1992.
-
(1992)
Computer
, vol.25
, Issue.10
, pp. 40-51
-
-
Meyer, B.1
-
79
-
-
84881144443
-
Houdini, an annotation assistant for ESC/Java
-
FME 2001: Formal Methods for Increasing Software Productivity
-
C. Flanagan and K.R.M. Leino, "Houdini, an Annotation Assistant for ESC/Java," Proc. Int'l Symp. Formal Methods Europe, pp. 500-517, 2001. (Pubitemid 36332817)
-
(2001)
Lecture Notes in Computer Science
, Issue.2021
, pp. 500-517
-
-
Flanagan, C.1
Leino, K.R.M.2
-
80
-
-
33845259341
-
Discovering likely method specifications
-
Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings
-
N. Tillmann, F. Chen, and W. Schulte, "Discovering Likely Method Specifications," Proc. Eighth Int'l Conf. Formal Eng., pp. 717-736, 2006. (Pubitemid 44860781)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.LNCS4260
, pp. 717-736
-
-
Tillmann, N.1
Feng, C.2
Schulte, W.3
-
83
-
-
34547106298
-
Discovering documentation for Java container classes
-
DOI 10.1109/TSE.2007.70705
-
J. Henkel, C. Reichenbach, and A. Diwan, "Discovering Documentation for Java Container Classes," IEEE Trans. Software Eng., vol. 33, no. 8, pp. 526-543, Aug. 2007. (Pubitemid 47098723)
-
(2007)
IEEE Transactions on Software Engineering
, vol.33
, Issue.8
, pp. 526-543
-
-
Henkel, J.1
Reichenbach, C.2
Diwan, A.3
-
84
-
-
0004988782
-
The algebraic specification of abstract data types
-
J. Guttag and J. Horning, "The Algebraic Specification of Abstract Data Types," Acta Informatica, vol. 10, no. 1, pp. 27-52, 1978.
-
(1978)
Acta Informatica
, vol.10
, Issue.1
, pp. 27-52
-
-
Guttag, J.1
Horning, J.2
-
85
-
-
77949876750
-
Synthesizing intensional behavior models by graph transformation
-
C. Ghezzi, A. Mocci, and M. Monga, "Synthesizing Intensional Behavior Models by Graph Transformation," Proc. 31st ACM/IEEE Int'l Conf. Software Eng., pp. 430-440, 2009.
-
(2009)
Proc. 31st ACM/IEEE Int'l Conf. Software Eng
, pp. 430-440
-
-
Ghezzi, C.1
Mocci, A.2
Monga, M.3
-
86
-
-
0003642669
-
Checking java programs via guarded commands
-
K.R.M. Leino, J.B. Saxe, and R. Stata, "Checking Java Programs via Guarded Commands," Proc. 13th European Conf. Object-Oriented Programming, pp. 110-111, 1999.
-
(1999)
Proc. 13th European Conf. Object-Oriented Programming
, pp. 110-111
-
-
Leino, K.R.M.1
Saxe, J.B.2
Stata, R.3
-
87
-
-
0016971687
-
Symbolic execution and program testing
-
July
-
J.C. King, "Symbolic Execution and Program Testing," Comm. ACM, vol. 19, pp. 385-394, July 1976.
-
(1976)
Comm ACM
, vol.19
, pp. 385-394
-
-
King, J.C.1
-
88
-
-
17644417780
-
Using origin analysis to detect merging and splitting of source code entities
-
DOI 10.1109/TSE.2005.28
-
M.W. Godfrey and L. Zou, "Using Origin Analysis to Detect Merging and Splitting of Source Code Entities," IEEE Trans. Software Eng., vol. 31, no. 2, pp. 166-181, Feb. 2005. (Pubitemid 40556104)
-
(2005)
IEEE Transactions on Software Engineering
, vol.31
, Issue.2
, pp. 166-181
-
-
Godfrey, M.W.1
Zou, L.2
-
89
-
-
34548725569
-
Automatic inference of structural changes for matching across program versions
-
M. Kim, D. Notkin, and D. Grossman, "Automatic Inference of Structural Changes for Matching across Program Versions," Proc. 29th ACM/IEEE Int'l Conf. Software Eng., pp. 333-343, 2007.
-
(2007)
Proc. 29th ACM/IEEE Int'l Conf. Software Eng
, pp. 333-343
-
-
Kim, M.1
Notkin, D.2
Grossman, D.3
-
91
-
-
33746589104
-
Automated detection of refactorings in evolving components
-
ECOOP 2006 - Object-Oriented Programming - 20th European Conference, Proceedings
-
D. Dig, C. Comertoglu, D. Marinov, R. Johnson, and D. Thomas, "Automated Detection of Refactorings in Evolving Components," Proc. 20th European Conf. Object-Oriented Programming, pp. 404-428, 2006. (Pubitemid 44153421)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.LNCS 4067
, pp. 404-428
-
-
Dig, D.1
Comertoglu, C.2
Marinov, D.3
Johnson, R.4
-
92
-
-
36348955574
-
API-evolution support with diff-catchup
-
DOI 10.1109/TSE.2007.70747
-
Z. Xing and E. Stroulia, "API-Evolution Support with Diff-CatchUp," IEEE Trans. Software Eng., vol. 33, no. 12 pp. 818-836, Dec. 2007. (Pubitemid 350142401)
-
(2007)
IEEE Transactions on Software Engineering
, vol.33
, Issue.12
, pp. 818-836
-
-
Xing, Z.1
Stroulia, E.2
-
93
-
-
34547256185
-
Differencing logical UML models
-
DOI 10.1007/s10515-007-0007-3, Special Issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005)
-
Z. Xing and E. Stroulia, "Differencing Logical UML Models," Automated Software Eng., vol. 14, no. 2, pp. 215-259, 2007. (Pubitemid 47155110)
-
(2007)
Automated Software Engineering
, vol.14
, Issue.2
, pp. 215-259
-
-
Xing, Z.1
Stroulia, E.2
-
94
-
-
57349115239
-
Mining framework usage changes from instantiation code
-
T. Schäfer, J. Jonas, and M. Mezini, "Mining Framework Usage Changes from Instantiation Code," Proc. 30th ACM/IEEE Int'l Conf. Software Eng., pp. 471-480, 2008.
-
(2008)
Proc. 30th ACM/IEEE Int'l Conf. Software Eng
, pp. 471-480
-
-
Schäfer, T.1
Jonas, J.2
Mezini, M.3
-
96
-
-
77954733206
-
AURA: A hybrid approach to identify framework evolution
-
W. Wu, Y.G. Guéhéneuc, G. Antoniol, and M. Kim, "AURA: A Hybrid Approach to Identify Framework Evolution," Proc. 32nd ACM/IEEE Int'l Conf. Software Eng., pp. 325-334, 2010.
-
(2010)
Proc. 32nd ACM/IEEE Int'l Conf. Software Eng
, pp. 325-334
-
-
Wu, W.1
Guéhéneuc, Y.G.2
Antoniol, G.3
Kim, M.4
-
97
-
-
77954722970
-
Mining API mapping for language migration
-
H. Zhong, S. Thummalapenta, T. Xie, L. Zhang, and Q. Wang, "Mining API Mapping for Language Migration," Proc. 32nd ACM/IEEE Int'l Conf. Software Eng., pp. 195-204, 2010.
-
(2010)
Proc. 32nd ACM/IEEE Int'l Conf. Software Eng
, pp. 195-204
-
-
Zhong, H.1
Thummalapenta, S.2
Xie, T.3
Zhang, L.4
Wang, Q.5
-
98
-
-
79551665226
-
A graph-based approach to api usage adaptation
-
H. Nguyen, T. Nguyen, G. Wilson Jr, A. Nguyen, M. Kim, and T. Nguyen, "A Graph-Based Approach to API Usage Adaptation," Proc. 25th ACM Int'l Conf. Object-Oriented Programming Systems, Languages and Applications, pp. 302-321, 2010.
-
(2010)
Proc. 25th ACM Int'l Conf. Object-Oriented Programming Systems, Languages and Applications
, pp. 302-321
-
-
Nguyen, H.1
Nguyen, T.2
Wilson Jr., G.3
Nguyen, A.4
Kim, M.5
Nguyen, T.6
-
99
-
-
33646396766
-
How Do APIs evolve? A story of refactoring
-
D. Dig and R. Johnson, "How Do APIs Evolve? A Story of Refactoring," J. Software Maintenance and Evolution: Research and Practice, vol. 18, no. 2, pp. 83-107, 2006.
-
(2006)
J. Software Maintenance and Evolution: Research and Practice
, vol.18
, Issue.2
, pp. 83-107
-
-
Dig, D.1
Johnson, R.2
-
100
-
-
56249134583
-
SpotWeb: Detecting framework hotspots and coldspots via mining open source code on the web
-
S. Thummalapenta and T. Xie, "SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web," Proc. 23rd IEEE/ACM Int'l Conf. Automated Software Eng., pp. 327-336, 2008.
-
(2008)
Proc. 23rd IEEE/ACM Int'l Conf. Automated Software Eng
, pp. 327-336
-
-
Thummalapenta, S.1
Xie, T.2
-
101
-
-
73449149016
-
Improving API documentation using API usage information
-
J. Stylos, A. Faulring, Z. Yang, and B.A. Myers, "Improving API Documentation Using API Usage Information," Proc. IEEE Symp. Visual Languages and Human-Centric Computing, pp. 119-126, 2009.
-
(2009)
Proc IEEE Symp. Visual Languages and Human-Centric Computing
, pp. 119-126
-
-
Stylos, J.1
Faulring, A.2
Yang, Z.3
Myers, B.A.4
-
103
-
-
70450250374
-
Mining trends of library usage
-
Y.M. Mileva, V. Dallmeier, M. Burger, and A. Zeller, "Mining Trends of Library Usage," Proc. Joint ERCIM Workshop Software Evolution and Int'l Workshop Principles of Software Evolution, pp. 57-62, 2009.
-
(2009)
Proc. Joint ERCIM Workshop Software Evolution and Int'l Workshop Principles of Software Evolution
, pp. 57-62
-
-
Mileva, Y.M.1
Dallmeier, V.2
Burger, M.3
Zeller, A.4
-
104
-
-
77949398304
-
API hyperlinking via structural overlap
-
F. Long, X. Wang, and Y. Cai, "API Hyperlinking via Structural Overlap," Proc. Seventh Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Symp. Foundations of Software Eng., pp. 203-212, 2009.
-
(2009)
Proc. Seventh Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Symp. Foundations of Software Eng
, pp. 203-212
-
-
Long, F.1
Wang, X.2
Cai, Y.3
-
105
-
-
37849052833
-
Recommending random walks
-
Z.M. Saul, V. Filkov, P. Devanbu, and C. Bird, "Recommending Random Walks," Proc. Sixth Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Int'l Symp. Foundations of Software Eng., pp. 15-24, 2007.
-
(2007)
Proc. Sixth Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Int'l Symp. Foundations of Software Eng
, pp. 15-24
-
-
Saul, Z.M.1
Filkov, V.2
Devanbu, P.3
Bird, C.4
-
106
-
-
4243148480
-
Authoritative sources in a hyperlinked environment
-
J.M. Kleinberg, "Authoritative Sources in a Hyperlinked Environment," J. ACM, vol. 46, pp. 604-632, 1999.
-
(1999)
J. ACM
, vol.46
, pp. 604-632
-
-
Kleinberg, J.M.1
|