Mining branching-time scenarios

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings

Volumn , Issue , 2013, Pages 443-453

  Fahland, Dirk ^a   Lo, David ^b   Maoz, Shahar ^c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b SINGAPORE MANAGEMENT UNIVERSITY   (Singapore)

^c TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOR MODEL; DATA MINING ALGORITHM; EXECUTION TRACE; EXISTING SYSTEMS; LINEAR-TIME; LIVE SEQUENCE CHART; SCENARIO-BASED; SPECIFICATION MINING;

ALGORITHMS; DATA MINING; SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 84893536557     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2013.6693102     Document Type: Conference Paper

References (42)

1. M. Acharya, T. Xie, J. Pei, and J. Xu. Mining API patterns as partial orders from source code: from usage scenarios to specifications. In ESEC/SIGSOFT FSE, pages 25-34, 2007.
2. S. Ben-David, M. Chechik, A. Gurfinkel, and S. Uchitel. CSSL: a logic for specifying conditional scenarios. In SIGSOFT FSE, pages 37-47, 2011.
3. Columba, Java Email Client. http://sourceforge.net/projects/columba.
4. CrossFTP Server. sourceforge.net/projects/crossftpserver/.
5. W. Damm and D. Harel. LSCs: Breathing life into Message Sequence Charts. J. on Formal Methods in System Design, 19(1):45-80, 2001. (Pubitemid 32697643)
6. F. C. de Sousa, N. C. Mendonça, S. Uchitel, and J. Kramer. Detecting implied scenarios from execution traces. In WCRE, pages 50-59, 2007.
7. M. El-Ramly, E. Stroulia, and P. G. Sorenson. From run-time behavior to usage scenarios: an interaction-pattern mining approach. In KDD, pages 315-324. ACM, 2002.
8. E. A. Emerson and J. Y. Halpern. "sometimes" and "not never" revisited: on branching versus linear time temporal logic. J. ACM, 33(1):151-178, 1986. (Pubitemid 16461377)
9. D. R. Engler, D. Y. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In SOSP, pages 57-72, 2001. (Pubitemid 33612605)
10. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. TSE, 27(2):99-123, 2001. (Pubitemid 32254259)
11. D. Fahland. Oclets - scenario-based modeling with Petri nets. In PetriNets 2009, volume 5606 of LNCS, pages 223-242. Springer, 2009.
12. D. Fahland. From Scenarios To Components. PhD thesis, Humboldt- Universität zu Berlin, 2010.
13. D. Fahland and A. Kantor. Synthesizing Decentralized Components from a Variant of Live Sequence Charts. In Modelsward 2013 - 1st International Conference on Model-driven Engineering and Software Development - Proceedings, pages 25-38. INSTICC, 2013. ISBN: 9789898565426.
14. D. Fahland, D. Lo, and S. Maoz. Mining Branching LSCs: CrossFTP, Columba traces and results. 3TU.DataCentrum, 2013. doi:10.4121/uuid:aa7db920-aae6-4750- 8975-cb739262f432.
15. M. Gabel and Z. Su. Symbolic mining of temporal specifications. In ICSE, pages 51-60, 2008.
16. M. Gabel and Z. Su. Online inference and enforcement of temporal properties. In ICSE, pages 15-24, 2010.
17. N. Gruska, A. Wasylkowski, and A. Zeller. Learning from 6, 000 projects: lightweight cross-project anomaly detection. In ISSTA, pages 119-130, 2010.
18. D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling, 7(2):237-252, 2008. (Pubitemid 351663184)
19. S. Kumar, S.-C. Khoo, A. Roychoudhury, and D. Lo. Mining message sequence graphs. In ICSE, pages 91-100, 2011.
20. C. Lee, F. Chen, and G. Rosu. Mining parametric specifications. In ICSE, pages 591-600, 2011.
21. Z. Li and Y. Zhou. PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code. In ESEC/SIGSOFT FSE, pages 306-315, 2005. (Pubitemid 43218841)
22. D. Lo and S.-C. Khoo. SMArTIC: towards building an accurate, robust and scalable specification miner. In SIGSOFT FSE, pages 265-275, 2006. (Pubitemid 47129403)
23. D. Lo and S. Maoz. Mining scenario-based triggers and effects. In ASE, pages 109-118, 2008.
24. D. Lo and S. Maoz. Specification mining of symbolic scenario-based models. In S. Krishnamurthi and M. Young, editors, PASTE, pages 29- 35. ACM, 2008.
25. D. Lo and S. Maoz. Mining hierarchical scenario-based specifications. In ASE, pages 359-370, 2009.
26. D. Lo and S. Maoz. Scenario-based and value-based specification mining: better together. In ASE, pages 387-396, 2010.
27. D. Lo and S. Maoz. Towards succinctness in mining scenario-based specifications. In ICECCS, pages 231-240, 2011.
28. D. Lo, S. Maoz, and S.-C. Khoo. Mining modal scenario-based specifications from execution traces of reactive systems. In R. E. K. Stirewalt, A. Egyed, and B. Fischer, editors, ASE, pages 465-468. ACM, 2007.
29. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic generation of software behavioral models. In W. Schäfer, M. B. Dwyer, and V. Gruhn, editors, ICSE, pages 501-510. ACM, 2008.
30. L. Mariani, S. Papagiannakis, and M. Pezzè. Compatibility and regression testing of COTS-component-based software. In ICSE, pages 85-95. IEEE Computer Society, 2007.
31. L. Mariani and M. Pezzè. Behavior capture and test: Automated analysis of component integration. In ICECCS, pages 292-301, 2005. (Pubitemid 41495756)
32. 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. In ESEC/SIGSOFT FSE, pages 383-392, 2009.
33. A. Pnueli. Linear and branching structures in the semantics and logics of reactive systems. In ICALP, volume 194 of LNCS, pages 15-32. Springer, 1985.
34. M. Pradel and T. R. Gross. Automatic generation of object usage specifications from large method traces. In ASE, pages 371-382. IEEE Computer Society, 2009.
35. J. Quante and R. Koschke. Dynamic protocol recovery. In WCRE, pages 219-228, 2007.
36. S. Shoham, E. Yahav, S. Fink, and M. Pistoia. Static specification mining using automata-based abstractions. In ISSTA, pages 174-184, 2007. (Pubitemid 47317591)
37. G. Sibay, S. Uchitel, and V. A. Braberman. Existential live sequence charts revisited. In ICSE, pages 41-50, 2008.
38. W. M. P. van der Aalst. Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, 2011.
39. M. Y. Vardi. Branching vs. linear time: Final showdown. In TACAS, volume 2031 of LNCS, pages 1-22. Springer, 2001. (Pubitemid 33254646)
40. N. Walkinshaw and K. Bogdanov. Inferring finite-state models with temporal constraints. In ASE, 2008.
41. A. Wasylkowski and A. Zeller. Mining temporal specifications from object usage. Autom. Softw. Eng., 18(3-4):263-292, 2011.
42. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: mining temporal API rules from imperfect traces. In ICSE, pages 282- 291, 2006. (Pubitemid 46600925)