Improving behavioral design pattern detection through model checking

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2010, Pages 176-185

  De Lucia, Andrea ^a   Deufemia, Vincenzo ^a   Gravino, Carmine ^a   Risi, Michele ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

Design pattern recovery; Dynamic analysis; Model checking

Indexed keywords

COMPLIANCE CONTROL; DYNAMIC ANALYSIS; OBJECT ORIENTED PROGRAMMING; PATTERN RECOGNITION; RECOVERY; TEMPORAL LOGIC;

CANDIDATE PATTERNS; CODE INSTRUMENTATION; DESIGN AND IMPLEMENTATIONS; DESIGN PATTERN DETECTIONS; DESIGN PATTERN RECOVERY; LINEAR TEMPORAL LOGIC; PATTERN DEFINITION; PROGRAM EXECUTION;

MODEL CHECKING;

EID: 79952692538     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2010.16     Document Type: Conference Paper

References (29)

1. Z. Balanyi and R. Ferenc, "Mining Design Patterns from C++ Source Code", Proc. of International Conference on Software Maintenance (ICSM'03), 2003, pp. 305-314.
2. D. Beyer, C. Lewerentz, "CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs", in Proc. of the IEEE International Workshop on Program Comprehension (IWPC'03), 2003, pp. 294-295.
3. A. De Lucia, V. Deufemia, C. Gravino, M. Risi, "Design Pattern Recovery through Visual Language Parsing and Source Code Analysis", Journal of Systems & Software, 18(7), 2009, 1177-1193.
4. A. De Lucia, V. Deufemia, C: Gravino, M. Risi, "Behavioral Pattern Identification through Visual Language Parsing and Code Instrumentation", Proc. of European Conference on Software Maintenance and Reengineering (CSMR'09), 2009, pp. 99-108.
5. J. Dong, Y. Zhao, and Y. Sun, "A Matrix-Based Approach to Recovering Design Patterns", IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 39(6), (2009), pp. 1271-1282.
6. R. Ferenc, A. Beszedes, L. J. Fülöp, J. Lelle, "Design Pattern Mining Enhanced by Machine Learning", Proc. of the International Conference on Software Maintenance (ICSM'05), 2005, pp. 295-304. (Pubitemid 43790943)
7. L. J. Fülöp, T. Gyovai, R. Ferenc, "Evaluating C++ Design Pattern Miner Tools", Proc. of the International Workshop on Source Code Analysis and Manipulation (SCAM'06), 2006, pp. 127-138.
8. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Menlo Park, CA, 1995.
9. C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice-Hall, NJ, USA, 1991.
10. Y.-G. Guéhéneuc, "P-MARt: Pattern-like Micro Architecture Repository", in Proc. of the 1st EuroPLoP Focus Group on Pattern Repositories, July 2007.
11. Y.-G. Guéhéneuc, G. Antoniol, "DeMIMA: A Multilayered Approach for Design Pattern Identification", IEEE Transactions on Softw. Engineer., 34(5), 2008, pp. 667-684.
12. Y.-G. Gueheneuc, R. Douence, and N. Jussien, "No Java without Caffeine - A Tool for Dynamic Analysis of Java Programs," in Proc. of Conference on Automated Software Engineering, W. Emmerich and D. Wile, eds., pp. 117-126.
13. D. Heuzeroth, S. Mandel, and W. Lowe, "Generating Design Pattern Detectors from Pattern Specifications", in Proc. of the International Conference on Automated Software Engineering (ASE'03), 2003, pp. 245-248.
14. D. Heuzeroth, T. Holl, G. Högström, and W. Löwe, "Automatic Design Pattern Detection", in Proc. of International Workshop on Program Comprehension (IWPC'03), 2003, pp.94-103.
15. http://babelfish.arc.nasa.gov/trac/jpf
16. JHotDraw, http://www.jhotdraw.org
17. JRefactory: http://jrefactory.sourceforge.net
18. J. Ka-Yee Ng and Y.-G. Guéhéneuc, "Identification of Behavioral and Creational Design Patterns through Dynamic Analysis", Proc. of the Workshop on Program Comprehension through Dynamic Analysis (PCODA'07), 2007, pp. 34-42.
19. C. Kramer, L. Prechelt, "Design Recovery by Automated Search for Structural Design Patterns in Object Oriented Software", Proc. of Working Conference on Reverse Engineering (WCRE'96), 1996, pp. 208-215.
20. S. Leue and P. B. Ladkin, "Implementing and Verifying MSC Specifications using PROMELA/XSPIN", Proc. of the 2nd SPIN workshop, Sept. 1996.
21. J. Niere, W. Shafer, J. P. Wadsack, L. Wendehals, J. Walsh, "Towards Pattern-based Design Recovery", Proc. of International Conference on Software Engineering (ICSE'02), 2002, pp. 338-348. (Pubitemid 35009122)
22. R. Olsson, N. Shi, "Reverse Engineering of Design Patterns from Java Source Code", Proc. of IEEE/ACM International Conference on Automated Software Engineering (ASE'06), 2006, pp. 123-134.
23. N. Pettersson, "Measuring Precision for Static and Dynamic Design Pattern Recognition as a Function of Coverage", Proc. of Workshop on Dynamic Analysis (WODA'05), 2005, pp. 43-49.
24. P-MARt: http://ptidej.dyndns.org/downloads/pmart/
25. Probekit. Creating Custom Profilers with Probekit, http://www.eclipse. org/tptp/platform/documents/probekit/pro bekit.html.
26. G. Salton and M. McGill, Introduction to Modern Information Retrieval, McGraw Hill, 1983.
27. N. Tsantalis, A. Chatzigeorgiou, G. Stephanides, S. T. Halkidis, "Design Pattern Detection using Similarity Scoring", IEEE Trans. on Software Engineering, 32(11), 2006, pp. 896-909. (Pubitemid 46437709)
28. N. Tsantalis, A. Chatzigeorgiou, G. Stephanides, S. T. Halkidis, Design Pattern Detection, http://java.uom.gr/~nikos/pattern-detection.html, 2006.
29. L. Wendehals, A. Orso, "Recognizing Behavioral Patterns at Runtime using Finite Automata," in Proc. of Workshop on Dynamic Systems Analysis, (WODA'06), 2006, pp.33-40.