Efficient mining of iterative patterns for software specification discovery

Keywords

TRACE (psycholinguistics), Computer science, Program comprehension, Pruning, Data mining

References

• Core Security Patterns: Best Practices and Strategies for J2EE, Web Services, and Identity ManagementChristopher Steel, Ramesh Nagappan, Ray Lai — 2005
• Program evolution: processes of software changeM. M. Lehman, L. A. Belady — 1985
• LSCs: Breathing Life into Message Sequence ChartsWerner Damm, David Harel — 1999
• Testing Object-Oriented Systems: Models, Patterns, and ToolsRobert V. Binder — 1999
• Leveraging legacy system dollars for e-businessL. Erlikh — 2000
• FreeSpan: frequent pattern-projected sequential pattern miningJiawei Han, Jian Pei, Behzad Mortazavi-Asl — 2000
• An Essay on Software ReuseThomas A. Standish — 1984
• From run-time behavior to usage scenarios: an interaction-pattern mining approachMohammad El‐Ramly, Eleni Stroulia, Paul Sorenson — 2002
• Mining periodic patterns with gap requirement from sequencesMinghua Zhang, Ben Kao, David W. Cheung — 2005
• CloseGraph: mining closed frequent graph patternsXifeng Yan, Jiawei Han — 2003
• BIDE: efficient mining of frequent closed sequencesJiang Wang, Jiawei Han — 2004
• SOBER: statistical model-based bug localizationChao Liu, Xifeng Yan, Fei Long — 2005
• SMArTIC: towards building an accurate, robust and scalable specification minerDavid Lo, Siau‐Cheng Khoo — 2006
• Cecil: A Sequencing Constraint Language for Automatic Static Analysis GenerationK. Olender, Leon J. Osterweil — 1990
• Perracotta: mining temporal API rules from imperfect tracesJinlin Yang, David Evans, Deepali Bhardwaj — 2006
• Light-weight product-lines for evolution and maintenance of Web sitesRafael Capilla, Juan C. Dueñas — 2003
• Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteriaMonica Hutchins, H. D. Foster, Tarak Goradia — 1994
• KDD-Cup 2000 organizers' report: peeling the onionRon Kohavi, Carla E. Brodley, Brian Frasca — 2000
• Verifying safety policies with size properties and alias controlsWei-Ngan Chin, Siau‐Cheng Khoo, Shengchao Qin — 2005
• PrefixSpan,: mining sequential patterns efficiently by prefix-projected pattern growthJian Pei, Jiawei Han, Behzad Mortazavi-Asl — 2001

Cited by

• Enhance Rule Based Detection for Software Fault Prone ModulesHassan Najadat, Izzat Alsmadi — 2012
• Mining api specifications from source code for improving software reliabilityTao Xie, Mithun Acharya — 2009
• CISpan: Comprehensive Incremental Mining Algorithms of Closed Sequential Patterns for Multi-Versional Software MiningDing Yuan, Kyuhyung Lee, Hong Cheng — 2008
• Pattern-growth based frequent serial episode discoveryAvinash Achar, Abdullahi Abdu Ibrahim, P. S. Sastry — 2013
• MULTIDIMENSIONAL LONGEST COMMON SUBSEQUENCE DISCOVERY From LARGE DATABASE USING DNA OPERATIONSA. Murugan — 2013
• Temporal mining for distributed systemsYexi Jiang — 2015
• Mining Non-overlapping Repetitive Sequential Patterns by ImprovingGSP AlgorithmYongshun Gong, Xiangjun Dong, Xiqing Han — 2015
• Specification Mining: A Concise IntroductionDavid Lo, Siau Cheng Khoo, Chao Liu — 2011
• Mining Modal Scenarios from Program Execution TracesDavid Lo, Siau‐Cheng Khoo — 2007
• Knowledge formalization and reuse in BIM-based mechanical, electrical and plumbing design coordination in new construction projects using data mining techniquesLi Wang — 2014
• SePaS: Word sense disambiguation by sequential patterns in sentencesMasoud Narouei, Mansour Ahmadi, Ashkan Sami — 2013
• SCAN: An Approach to Label and Relate Execution Trace SegmentsSoumaya Medini, Venera Arnaoudova, Massimiliano Di Penta — 2012
• Unsupervised hierarchical probabilistic segmentation of discrete eventsGuy Shani, Asela Gunawardana, Christopher Meek — 2011
• Dynamic object process graphsJochen Quante, Rainer Koschke — 2006
• Data Mining for Software EngineeringTao Xie, Suresh Thummalapenta, David Lo — 2009
• Automatic extraction of assertions from execution traces of behavioural modelsAlessandro Danese, Tara Ghasempouri, Graziano Pravadelli — 2015
• From data to knowledge miningAna Cristina Bicharra García, Inhaúma Neves Ferraz, Adriana S. Vivacqua — 2009
• Graph-based detection of library API imitationsC. P. Sun, Siau‐Cheng Khoo, Shao Jie Zhang — 2011
• Mining direct antagonistic communities in signed social networksDavid Lo, Didi Surian, Philips Kokoh Prasetyo — 2013
• Discovering hybrid temporal patterns from sequences consisting of point- and interval-based eventsShinyi Wu, Yen‐Liang Chen — 2009

Related papers

• Analysis of a new kind of quadruple folded substrate integrated waveguide filter with LTCC technology by wave concept iterative processYongzhong Zhu, Wenxuan Xie — 2015
• Analysis of multilayer substrates by multilayer contribution of wave concept iterative processEl Amjed Hajlaoui, Hichem Trabelsi, Hassen Zairi — 2007
• EM Scattering Analysis of Cylinder Array Using Iterative T-Matrix TheoryQikun Liu, Dongfang Zhou, Feng Xing — 2015
• Improving the macro-basis function using insertion method and iterative refinement process for planar structure with one-dimensional wave propagationIrene Ang, B.L. Ooi, M.S. Leong — 2010
• New iterative method for model updating based on model reductionWeiming Li, Hong Jia-zhen — 2011
• Gathering Experience Knowledge from Iterative Software Development ProcessesJ. Kokkoniemi — 2008
• Fractional patch antenna analysis based on the iterative approachSouad Berhab, Méhadji Abri, Ramzi Garbi — 2017
• On the Local Convergence of a Third Order Family of Iterative ProcessesM.A. Hernández, Natalia Romero — 2015
• ANALYSIS OF SOURCE LOCATION ALGORITHMS Part II: Iterative methodsMao Chen Ge — 2003
• Exact relaxation of multi point iterative methods in scalar caseSerge E. Miheev — 2014