Detecting implied scenarios from execution traces

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 2007, Pages 50-59

  De Sousa, Felipe Cantal ^a   Mendonça, Nabor C ^a   Uchitel, Sebastian ^b   Kramer, Jeff ^b  

^a UNIVERSITY OF FORTALEZA   (Brazil)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; LIFE CYCLE; REENGINEERING; REVERSE ENGINEERING; SOFTWARE RELIABILITY; SOFTWARE TESTING; SPECIFICATIONS;

EXECUTION TRACES; SCENARIO SPECIFICATION; SYSTEM BEHAVIORS; UNDESIRED BEHAVIOR;

TECHNOLOGY;

EID: 51149099774     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2007.19     Document Type: Conference Paper

References (25)

1. Alur, R., Etessami, K. and Yannakakis, M., "Inference of Message Sequence Charts", In Proc. of the 22nd Int. Conf. on Software Engineering (ICSE'00), Limerick, Ireland, 2000.
2. Beck, K., "Test-Driven Development by Example", Addison-Wesley, 2003.
3. Briand, L. C., Labiche, Y. and Miao, Y., "Towards the Reverse Engineering of UML Sequence Diagrams", In Proc. of the 10th IEEE Work. Conf. on Reverse Engineering (WCRE'03), Victoria, BC, Canada, 2003.
4. Hamou-Lhadj, A. and Lethbridge, T. C., "A Survey of Trace Exploration Tools and Techniques", In Proc. of the 2004 Conference of the Centre for Advanced Studies and Collaborative Research (CASCON'04), Markham, Ontario, Canada, 2004, pp. 42-55.
5. Hamou-Lhadj, A. and Lethbridge, T. C., "Reasoning about the Concept of Utilities", In Proc. of the 1st ECOOP Workshop on Practical Problems of Programming in the Large (PPPL'04), LNCS Vol. 3344, Springer, 2005.
6. Hamou-Lhadj, A. and Lethbridge, T. C., "Techniques for Reducing the Complexity of Object-Oriented Execution Traces", In Proc. of the 2nd "DESIGNFEST" on Visualizing Software for Understanding and Analysis (VISSOFT'03), Amsterdam, The Netherlands, 2003, pp. 35-40.
7. Hamou-Lhadj, A., Braun, E., Amyot, D. and Lethbridge, T. C., "Recovering Behavioral Design Models from Execution Traces", In Proc. of the 9th European Conf. on Software Maintenance and Reengineering (CSMR'05), Manchester, UK, 2005.
8. IBM Research, "Jinsight: Visualizing the Execution of Java Programs". Available at http://www.research.ibm.com/jinsight. Last access on 08/06/2007.
9. ITU-T Recommendation Z.120, "Message Sequence Chart (MSC)", 2004.
10. Letier, E., Kramer, J., Magee, J. and Uchitel, S., "Monitoring and Control in Scenario-Based Requirements Analysis", In Proc. of the 27th IEEE/ACM Int. Conf. on Software Engineering (ICSE'05), St. Louis, USA, 2005.
11. Magee, J. and Kramer, J., "Concurrency: State Models and Java Programs". John Wiley & Sons Ltd., New York, USA, 1999.
12. Mansurov, N. and Campara, D., "Using Message Sequence Charts to Accelerate Maintenance of Existing Systems", In Proc. of the 10th Int. SDL Forum (SDL'01: Meeting UML), LNCS Vol. 2078, Springer, 2001.
13. OMG, "Unified Modeling Language (UML) Specification V2.1.1". Available at http://www.omg.org/technology/documents/formal/uml.htm. Last access on 08/06/2007.
14. OMG, "XML Metadata Interchange (XMI) Specification V2.1", Available at http://www.omg.org/technology/documents/formal/xmi.htm Last access on 08/06/2007.
15. Richner, T. and Ducasse, S., "Using Dynamic Information for the Iterative Recovery of Collaborations and Roles", In Proc. of the IEEE Int. Conf. on Software Maintenance (ICSM'02), Montreal, Quebec, Canada, 2002.
16. Rodrigues, G. N., Rosenblum, D. S. and Uchitel, S., "Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems", In Proc. of the Int. Conf. on Fundamental Approaches to Software Engineering (FASE'05), LNCS Vol. 3442, Springer, 2005.
17. Rountev, A., Volgin, O. and Reddoch, M., "Control Flow Analysis for Reverse Engineering of Sequence Diagrams", Tech. Report OSU-CISRC-3/04-TR12, Department of Computer Science and Engineering, Ohio State University, March 2004.
18. Sun Microsystems, "Java Pet Store". Available at http://java.sun.com/developer/releases/petstore/. Last access on 08/06/2007.
19. Sun Microsystems, "Java Platform Debugger Architecture (JPDA)", Available at http://java.sun.com/javase/6/docs/technotes/guides/jpda/. Last access on 08/06/2007.
20. Uchitel, S., Chatley, R., Kramer, J. and Magee, J., "LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios", In Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), LNCS Vol. 2619, Springer, 2003.
21. Uchitel, S., Kramer, J. and Magee, J., "Detecting Implied Scenarios in Message Sequence Chart Specifications", In Proc. of the Joint 8th European Software Engineering Conference (ESEC'01) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'01), Vienna, Austria, 2001, pp. 74-82.
22. Uchitel, S., Kramer, J. and Magee, J., "Incremental Elaboration of Scenario-based Specifications and Behaviour Models Using Implied Scenarios", ACM Trans. on Software Engineering and Methodology, Vol. 13, No.1, January 2004.
23. Uchitel, S., Kramer, J. and Magee, J., "Negative Scenarios for Implied Scenario Elicitation", In Proc. of the 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'02), Charleston, SC, USA, 2002.
24. Uchitel, S., Kramer, J. and Magee, J., "Synthesis of Behavioral Models from Scenarios", IEEE Trans. on Software Engineering, Vol. 29, No. 2, February 2003, pp. 99-115.
25. W3C, "XSL Transformations (XSLT)". Available at http://www.w3.org/TR/xslt. Last access on 08/06/2007.