메뉴 건너뛰기




Volumn 39, Issue 5, 2013, Pages 613-637

Automated API property inference techniques

Author keywords

API evolution; API property; API usage pattern; data mining; interface; pattern mining; programming rules; protocols; specifications

Indexed keywords

API EVOLUTION; API PROPERTY; BEHAVIORAL SPECIFICATION; GENERAL INFORMATION; INFERENCE TECHNIQUES; MINING TECHNIQUES; PATTERN MINING; USAGE PATTERNS;

EID: 84877271808     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2012.63     Document Type: Article
Times cited : (187)

References (109)
  • 1
    • 79953175945 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 4
    • 33947312500 scopus 로고    scopus 로고
    • 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
  • 6
    • 0031079312 scopus 로고    scopus 로고
    • 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
  • 9
    • 0033725593 scopus 로고    scopus 로고
    • 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
  • 15
    • 77953718801 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 26
    • 33646898215 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 31
    • 34247109615 scopus 로고    scopus 로고
    • 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
  • 34
    • 34547367487 scopus 로고    scopus 로고
    • 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
  • 50
    • 67650555465 scopus 로고    scopus 로고
    • 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
  • 66
    • 2442446148 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 73
    • 40149109300 scopus 로고    scopus 로고
    • 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
  • 75
    • 34948849748 scopus 로고    scopus 로고
    • 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
  • 77
    • 84938806379 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 83
    • 34547106298 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 87
    • 0016971687 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 92
    • 36348955574 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 100
    • 56249134583 scopus 로고    scopus 로고
    • 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
  • 106
    • 4243148480 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.