Scenario-based and value-based specification mining: Better together

Automated Software Engineering

Volumn 19, Issue 4, 2012, Pages 423-458

  Lo, David ^a   Maoz, Shahar ^b  

^a SINGAPORE MANAGEMENT UNIVERSITY   (Singapore)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Dynamic analysis; Live sequence charts; Specification mining; Value based invariants

Indexed keywords

DATA MINING ALGORITHM; EXECUTION TRACE; LIKELY INVARIANTS; LIVE SEQUENCE CHART; MINING ALGORITHMS; OBJECT PROPERTY; ORDERING CONSTRAINTS; PROGRAM COMPREHENSION; PROGRAM INVARIANTS; PROGRAM POINTS; SCENARIO-BASED SPECIFICATIONS; SPECIFICATION MINING; STANDARD DEVELOPMENT; VALUE-BASED; VISUAL PRESENTATION;

ALGORITHMS; DATA MINING; DYNAMIC ANALYSIS; FLOWCHARTING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; WEBSITES;

SPECIFICATIONS;

EID: 84865215665     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-012-0103-x     Document Type: Article

References (70)

1. Accompanying Website & Technical Report: LSC mining with value-based invariants. Supplementary material (2011). http://www.mysmu.edu/faculty/davidlo/ inv/invariants.html
2. Acharya, M.; Xie, T.; Xu, J.: Mining interface specifications for generating checkable robustness properties. In: Proc. of International Symposium on Software Reliability Engineering (ISSRE), pp. 311-320 (2006) (Pubitemid 47213968)
3. Acharya, M.; Xie, T.; Pei, J.; Xu, J.: Mining API patterns as partial orders from source code: from usage scenarios to specifications. In: Proc. of Joint Symposium on the Foundations of Software Engineering and European Software Engineering Conference (ESEC/SIGSOFT FSE), pp. 25-34 (2007)
4. Agrawal, R.; Srikant, R.: Fast algorithms for mining association rules in large databases. In: Proc. of International Conference on Very Large Data Bases (VLDB), pp. 487-499 (1994)
5. Agrawal, R.; Srikant, R.: Mining sequential patterns. In: Proc. of International Conference on Data Engineering (ICDE), pp. 3-14 (1995)
6. Ammons, G.; Bodík, R.; Larus, J.R.: Mining specifications. In: Proc. of Symposium on Principles of Programming Languages (POPL), pp. 4-16 (2002) (Pubitemid 35009026)
7. Boshernitsan, M.; Doong, R.K.; Savoia, A.: From Daikon to Agitator: Lessons and challenges in building a commercial tool for developer testing. In: Proc. of International Symposium on Software Testing and Analysis (ISSTA), pp. 169-180 (2006) (Pubitemid 46645528)
8. Dallmeier, V.; Lindig, C.; Wasylkowski, A.; Zeller, A.: Mining object behavior with ADABU. In: Proc. of International Workshop on Dynamic Analysis (WODA), pp. 17-24 (2006)
9. W. Damm D. Harel 2001 LSCs: breathing life into message sequence charts Form. Methods Syst. Des. 19 1 45 80 0985.68033 10.1023/A:1011227529550 (Pubitemid 32697643)
10. Dwyer, M.B.; Avrunin, G.S.; Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. of International Conference on Software Engineering (ICSE), pp. 411-420 (1999)
11. EclipseTPTP: Eclipse test and performance tools platform (2011). http://www.eclipse.org/tptp/
12. El-Ramly, M.; Stroulia, E.; Sorenson, P.G.: From run-time behavior to usage scenarios: an interaction-pattern mining approach. In: Proc. of International Conference on Knowledge Discovery and Data Mining (KDD), pp. 315-324 (2002)
13. M. Ernst J. Cockrell W. Griswold D. Notkin 2001 Dynamically discovering likely program invariants to support program evolution IEEE Trans. Softw. Eng. 27 2 99 123 10.1109/32.908957 (Pubitemid 32254259)
14. M.D. Ernst J.H. Perkins P.J. Guo S. McCamant C. Pacheco M.S. Tschantz C. Xiao 2007 The Daikon system for dynamic detection of likely invariants Sci. Comput. Program. 69 1-3 35 45 2412577 1161.68390 10.1016/j.scico.2007.01.015 (Pubitemid 350087239)
15. Gabel, M.; Su, Z.: Symbolic mining of temporal specifications. In: Proc. of International Conference on Software Engineering (ICSE), pp. 51-60 (2008)
16. Goues, C.L.; Weimer, W.: Specification mining with few false positives. In: Proc. of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 292-306 (2009)
17. Guo, P.J.; Perkins, J.H.; McCamant, S.; Ernst, M.D.: Dynamic inference of abstract types. In: Proc. of International Symposium on Software Testing and Analysis (ISSTA), pp. 255-265 (2006) (Pubitemid 46645536)
18. Han, J.; Kamber, M.: Data Mining Concepts and Techniques. Morgan Kaufmann, San Mateo (2006)
19. J. Han J. Pei 2000 Mining frequent patterns by pattern-growth: methodology and implications ACM SIGKDD Explor. 2 2 14 20 10.1145/380995.381002
20. D. Harel 2001 From play-in scenarios to code: an achievable dream Computer 34 1 53 60 1848626 10.1109/2.895118 (Pubitemid 32135809)
21. D. Harel S. Maoz 2008 Assert and negate revisited: modal semantics for UML sequence diagrams Softw. Syst. Model. 7 2 237 252 10.1007/s10270-007-0054-z (Pubitemid 351663184)
22. Harel, D.; Marelly, R.: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Berlin (2003)
23. Harel, D.; Kleinbort, A.; Maoz, S.: S2A: A compiler for multi-modal UML sequence diagrams. In: Proc. of International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 121-124 (2007) (Pubitemid 350259346)
24. Harel, D.; Maoz, S.; Szekely, S.; Barkan, D.: PlayGo: towards a comprehensive tool for scenario based programming. In: Proc. of International Conference on Automated Software Engineering (ASE), pp. 359-360 (2010)
25. Jerding, D.F.; Stasko, J.T.; Ball, T.: Visualizing interactions in program executions. In: Proc. of International Conference on Software Engineering (ICSE), pp. 360-370 (1997)
26. Klein, F.; Giese, H.: Joint structural and temporal property specification using timed story scenario diagrams. In: Proc. of International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 185-199 (2007) (Pubitemid 350259350)
27. Klose, J.; Toben, T.; Westphal, B.; Wittke, H.: Check it out: on the efficient formal verification of live sequence charts. In: Proc. of International Conference on Computer Aided Verification (CAV), pp. 219-233 (2006) (Pubitemid 44560879)
28. Krüger, I.: Capturing overlapping, triggered, and preemptive collaborations using MSCs. In: Proc. of International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 387-402 (2003)
29. Kugler, H.; Segall, I.: Compositional synthesis of reactive systems from live sequence chart specifications. In: Proc. of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 77-91 (2009)
30. Kugler, H.; Harel, D.; Pnueli, A.; Lu, Y.; Bontemps, Y.: Temporal logic for scenario-based specifications. In: Proc. of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 445-460 (2005) (Pubitemid 41273758)
31. Lettrari, M.; Klose, J.: Scenario-based monitoring and testing of real-time UML models. In: Proc. of International Conference on the Unified Modeling Language (UML), pp. 317-328 (2001) (Pubitemid 33351903)
32. Li, J.; Li, H.; Wong, L.; Pei, J.; Dong, G.: Minimum description length principle: generators are preferable to closed patterns. In: Proc. of Conference on Artificial Intelligence (AAAI) (2006)
33. Li, Z.; Zhou, Y.: PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code. In: Proc. of Joint Symposium on the Foundations of Software Engineering and European Software Engineering Conference (ESEC/SIGSOFT FSE), pp. 306-315 (2005) (Pubitemid 43218841)
34. Livshits, V.B.; Nori, A.V.; Rajamani, S.K.; Banerjee, A.: Merlin: specification inference for explicit information flow problems. In: Proc. of Conference on Programming Language Design and Implementation (PLDI), pp. 75-86 (2009)
35. Lo, D.; Khoo, S.C.: SMArTIC: towards building an accurate, robust and scalable specification miner. In: Proc. of Symposium on the Foundations of Software Engineering (SIGSOFT FSE), pp. 265-275 (2006) (Pubitemid 47129403)
36. Lo, D.; Maoz, S.: Mining scenario-based triggers and effects. In: Proc. of International Conference on Automated Software Engineering (ASE), pp. 109-118 (2008a)
37. Lo, D.; Maoz, S.: Specification mining of symbolic scenario-based models. In: Proc. of Workshop on Program Analysis For Software Tools and Engineering (PASTE), pp. 29-35 (2008b)
38. Lo, D.; Maoz, S.: Mining hierarchical scenario-based specifications. In: Proc. of International Conference on Automated Software Engineering (ASE), pp. 359-370 (2009)
39. Lo, D.; Maoz, S.: Scenario-based and value-based specification mining: better together. In: Proc. of International Conference on Automated Software Engineering (ASE), pp. 387-396 (2010)
40. Lo, D.; Maoz, S.: Towards succinctness in mining scenario-based specifications. In: Proc. of International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 231-240 (2011)
41. Lo, D.; Maoz, S.; Khoo, S.C.: Mining modal scenario-based specifications from execution traces of reactive systems. In: Proc. of International Conference on Automated Software Engineering (ASE), pp. 465-468 (2007)
42. Lo, D.; Khoo, S.C.; Li, J.: Mining and ranking generators of sequential patterns. In: Proc. of SIAM International Conference on Data Mining (SDM), pp. 553-564 (2008)
43. Lo, D.; Ramalingam, G.; Ranganath, V.P.; Vaswani, K.: Mining quantified temporal rules: formalism, algorithms, and evaluation. In: Proc. of Working Conference on Reverse Engineering (WCRE), pp. 62-71 (2009)
44. Lorenzoli, D.; Mariani, L.; Pezzè, M.: Automatic generation of software behavioral models. In: Proc. of International Conference on Software Engineering (ICSE), pp. 501-510 (2008)
45. Maoz, S.; Harel, D.: From multi-modal scenarios to code: compiling LSCs into AspectJ. In: Proc. of Symposium on the Foundations of Software Engineering (SIGSOFT FSE), pp. 219-230 (2006) (Pubitemid 47129399)
46. S. Maoz D. Harel 2011 On tracing reactive systems Softw. Syst. Model. 10 4 447 468 10.1007/s10270-010-0151-2
47. Maoz, S.; Metsä, J.; Katara, M.: Model-based testing using LSCs and S2A. In: Proc. of International Conference on Model Driven Engineering Languages and Systems (MoDELS), pp. 301-306 (2009)
48. S. Maoz D. Harel A. Kleinbort 2011 A compiler for multimodal scenarios: transforming LSCs into AspectJ ACM Trans. Softw. Eng. Methodol. 20 4 18 10.1145/2000799.2000804
49. Mariani, L.; Pezzè, M.: Behavior capture and test: automated analysis of component integration. In: Proc. of International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 292-301 (2005) (Pubitemid 41495756)
50. Mariani, L.; Papagiannakis, S.; Pezzè, M.: Compatibility and regression testing of COTS-component-based software. In: Proc. of International Conference on Software Engineering (ICSE), pp. 85-95 (2007) (Pubitemid 47430644)
51. Milea, N.; Khoo, S.C.; Lo, D.; Pop, C.: Nort: Runtime anomaly-based monitoring of malicious behavior for windows. In: Proc. of International Conference on Runtime Verification (RV) (2011)
52. K. Olender L. Osterweil 1990 Cecil: a sequencing constraint language for automatic static analysis generation IEEE Trans. Softw. Eng. 16 268 280 10.1109/32.48935 (Pubitemid 20678674)
53. Pytlik, B.; Renieris, M.; Krishnamurthi, S.; Reiss, S.P.: Automated fault localization using potential invariants. CoRR cs.SE/0310040 (2003)
54. Quante, J.; Koschke, R.: Dynamic protocol recovery. In: Proc. of Working Conference on Reverse Engineering (WCRE), pp. 219-228 (2007)
55. Ramanathan, M.K.; Grama, A.; Jagannathan, S.: Path-sensitive inference of function precedence protocols. In: Proc. of International Conference on Software Engineering (ICSE), pp. 240-250 (2007a) (Pubitemid 47430659)
56. Ramanathan, M.K.; Grama, A.; Jagannathan, S.: Static specification inference using predicate mining. In: Proc. of Conference on Programming Language Design and Implementation (PLDI), pp. 123-134 (2007b) (Pubitemid 47630681)
57. Safyallah, H.; Sartipi, K.: Dynamic analysis of software systems using execution pattern mining. In: Proc. of International Conference on Program Comprehension (ICPC), pp. 84-88 (2006) (Pubitemid 44889004)
58. Santelices, RA, Chittimalli, P.K.; Apiwattanapong, T.; Orso, A.; Harrold, M.J.: Test-suite augmentation for evolving software. In: Proc. of International Conference on Automated Software Engineering (ASE), pp. 218-227 (2008)
59. Shoham, S.; Yahav, E.; Fink, S.; Pistoia, M.: Static specification mining using automata-based abstractions. In: Proc. of International Symposium on Software Testing and Analysis (ISSTA), pp. 174-184 (2007) (Pubitemid 47317591)
60. Sibay, G.; Uchitel, S.; Braberman, VA: Existential live sequence charts revisited. In: Proc. of International Conference on Software Engineering (ICSE), pp. 41-50 (2008)
61. Sun, J.; Dong, J.S.: Synthesis of distributed processes from scenario-based specifications. In: Proc. of International Symposium on Formal Methods (FM), pp. 415-431 (2005) (Pubitemid 41436071)
62. Uchitel, S.; Kramer, J.; Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: Proc. of Symposium on the Foundations of Software Engineering (SIGSOFT FSE), pp. 74-82 (2001) (Pubitemid 35466912)
63. Wang, J.; Han, J.: BIDE: efficient mining of frequent closed sequences. In: Proc. of International Conference on Data Engineering (ICDE), pp. 79-90 (2004)
64. Wang, J.; Han, J.; Pei, J.: Closet+: searching for the best strategies for mining frequent closed itemsets. In: Proc. of International Conference on Knowledge Discovery and Data Mining (KDD), pp. 236-245 (2003)
65. Wasylkowski, A.; Zeller, A.: Mining temporal specifications from object usage. In: Proc. of International Conference on Automated Software Engineering (ASE), pp. 295-306 (2009)
66. A. Wasylkowski A. Zeller 2011 Mining temporal specifications from object usage Autom. Softw. Eng. 18 3-4 263 292 10.1007/s10515-011-0084-1
67. Weimer, W.; Necula, G.C.: Mining temporal specifications for error detection. In: Proc. of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 461-476 (2005) (Pubitemid 41273759)
68. T. Xie S. Thummalapenta D. Lo C. Liu 2009 Data mining for software engineering Computer 42 8 35 42
69. Xu, Z.; Cohen, M.B.; Rothermel, G.: Factors affecting the use of genetic algorithms in test suite augmentation. In: Proc. of Annual Genetic and Evolutionary Computation Conference (GECCO), pp. 1365-1372 (2010)
70. Yang, J.; Evans, D.; Bhardwaj, D.; Bhat, T.; Das, M.: Perracotta: mining temporal API rules from imperfect traces. In: Proc. of International Conference on Software Engineering (ICSE), pp. 282-291 (2006) (Pubitemid 46600925)