Extending dynamic constraint detection with polymorphic analysis

Proceedings - ICSE 2007 Workshops 5th International Workshop on Dynamic Analysis, WODA 2007

Volumn , Issue , 2007, Pages

  Kuzmina, Nadya ^a   Gamboa, Ruben ^a  

^a UNIVERSITY OF WYOMING   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GENERAL (CO); INTERNATIONAL (CO); OBJECT ORIENTED (OO); RUN TIME; TESTING FRAMEWORK;

POLYMORPHISM;

DYNAMIC ANALYSIS;

EID: 46749158306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODA.2007.3     Document Type: Conference Paper

References (14)

1. Daikon invariant detector, http://pag.csail.mit.edu/daikon.
2. Junit. http://www. junit .org.
3. Xmim database server, http://www.lim.com.
4. E. Baude. Software Design: From Programming to Architecture. Wiley, 2004.
5. G. Booch. Object-oriented analysis and design with applications. Benjamin-Cummings, second edition, 1994.
6. C. Csallner and Y. Smaragdakis. Dynamically discovering likely interface invariants. In Proc. 28th International Conference on Software Engineering, Emerging Results Track, pages 861-864, May 2006.
7. N. Dodoo, A. Donovan, L. Lin, and M. Ernst. Selecting predicates for implications in program analysis, 2002.
8. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1-25, Feb. 2001.
9. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, 2006.
10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.
11. N. Kuzmina and R. Gamboa. Dynamic constraint detection for polymorphic behavior. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2006), Poster Track, Portland, OR, USA, October 22-26, 2006.
12. N. Kuzmina and R. Gamboa. Extending dynamic constraint detection with polymorphic analysis. Technical report, University of Wyoming Department of Computer Science technical report UWCS-07-01 (Laramie, WY), January 2007.
13. J. H. Perkins and M. D. Ernst. Efficient incremental algorithms for dynamic detection of likely invariants. In Proceedings of the ACM SIGSOFT 12th Symposium on the Foundations of Software Engineering (FSE 2004), pages 23-32, Newport Beach, CA, USA, November 1-4, 2004.
14. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.