Synthesizing intensional behavior models by graph transformation

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 430-440

  Ghezzi, Carlo ^a   Mocci, Andrea ^a   Monga, Mattia ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOR MODEL; BLACK BOXES; DATA ABSTRACTION; FINITE STATE MACHINES; FORMAL SPECIFICATION; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION RULES; INFINITE NUMBERS; RUNTIMES; SOFTWARE COMPONENT;

ABSTRACTING; COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER SOFTWARE; SPECIFICATIONS;

COBOL (PROGRAMMING LANGUAGE);

EID: 77949876750     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070542     Document Type: Conference Paper

References (25)

1. Amazon Simple Queue Service. http://aws.amazon.com/sqs/.
2. OpenJDK project. http://jdk7.dev.java.net/.
3. Spy website. http://home.dei.polimi.it/mocci/spy/.
4. L. Baresi, C. Ghezzi, A. Mocci, and M. Monga. Using graph transformation systems to specify and verify data abstractions. In Proc. of GT-VMT'08, Electronic Communications of the EASST, Volume X (2008), 2008.
5. L. C. Briand, Y. Labiche, and Y. Miao. Towards the reverse engineering of UML sequence diagrams. In Working Conf. on Reverse Engineering, pages 57-66, 2003.
6. I. Ciupa, A. Leitner, M. Oriol, and B. Meyer. Object distance and its application to adaptive random testing of objectoriented programs. In RT'06: Int. workshop on Random testing, pages 55-63, New York, NY, USA, 2006. ACM.
7. C. Csallner, N. Tillmann, and Y. Smaragdakis. DySy: dynamic symbolic execution for invariant inference. In Int. Conf. on Software engineering, pages 281-290, New York, NY, USA, 2008. ACM.
8. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining object behavior with Adabu. In Int. Wks. on Dynamic Analysis, May 2006.
9. E. W. Dijkstra. A note on two problems in connexion with graphs. Numerische Mathematik, pages 269-271, 1959.
10. R. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2):101-130, 1994.
11. H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in TCS. Springer, 2005.
12. M. D. Ernst. Dynamically Discovering Likely Program Invariants. Ph.D. thesis, University of Washington, Seattle, Washington, Aug. 2000.
13. C. Ghezzi, A. Mocci, and M. Monga. Efficient recovery of algebraic specifications for stateful components. In Int. Wks. on Principles of Software Evolution, Dubrovnik, Croatia, Sept. 2007.
14. J. V. Guttag and B. Liskov. Program Development in Java: Abstraction, Specification and Object-Oriented Design. Addison-Wesley, 2001.
15. D. Harel and E. Gery. Executable object modeling with statecharts. In Int. Conf. on Software Engineering. IEEE, 1996.
16. J. Henkel, C. Reichenbach, and A. Diwan. Discovering documentation for Java container classes. IEEE Trans. Software Eng., 33(8):526-543, 2007.
17. M. N. Huhns and M. P. Singh. Service-oriented computing: Key concepts and principles. IEEE Internet Computing, 9(1):75-81, 2005.
18. G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer, 1999.
19. M. E. Majster. Limits of the "algebraic" specification of abstract data types. SIGPLAN Notices, 12(10):37-42, 1977.
20. B. Meyer. Design by Contract: The Eiffel Method. In Int. Conf. on Technology of Object-Oriented Languages and Systems, 1998.
21. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In Int. Conf. on Software Engineering, pages 338-348, 1996.
22. M. J. O'Donnell. Computing in Systems Described by Equations. Springer-Verlag, 1977.
23. A. Rountev and B. H. Connell. Object naming analysis for reverse-engineered sequence diagrams. In International Conference on Software Engineering, pages 254-263, 2005.
24. G. Taentzer. AGG: A graph transformation environment for modeling and validation of software. In Application of Graph Transformations with Industrial Relevance, volume 3062 of LNCS, pages 446-456. Springer, 2004.
25. T. Xie, E. Martin, and H. Yuan. Automatic extraction of abstract-object-state machines from unit-test executions. In Int. Conf. on Software Engineering, Research Demos, pages 835-838, May 2006.