A tool for writing and debugging algebraic specifications

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 449-458

  Henkel, Johannes ^a   Diwan, Amer ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SIMULATION; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING; SOFTWARE PROTOTYPING; SYNTACTICS;

ALGEBRAIC SPECIFICATIONS; HAND-CODED IMPLEMENTATION; JAVA SYNTAX;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 4544236510     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 4-16, 2002.
2. S. Antoy and D. Hamlet. Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering, 26(1), Jan. 2000.
3. Apache Software Foundation. BCEL - byte code engineering library. http://jakarta.apache.org/bcel/.
4. H. Y. Chen, T. H. Tse, F. T. Chan, and T. Y. Chen. In black and white: An integrated approach to class-level testing of object oriented programs. ACM Transactions on Software Engineering, 7(3), July 1998.
5. H. Y. Chen, T. H. Tse, and T. Y Chen. TACCLE: A methodology for object-oriented software testing at the class and cluster levels. ACM Transactions on Software Engineering, 10(4):56-109, Jan. 2001.
6. N. Dershowitz and D. A. Plaisted. Handbook of Automated Reasoning, volume 1, chapter Rewriting. Elsevier, 2001.
7. N. Dershowitz and L. Vigneron. Database of rewriting systems, http://www.loria.fr/vigneron/RewritingHP/systems.html, 2003.
8. R. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering, 3(2), Apr. 1994.
9. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. ACM Transactions on Software Engineering, 27(2): 1-25, Feb. 2001.
10. K. Futatsugi. CafeObj official homepage. http://www.ldl.jaist.ac.jp/cafeobj/,2003.
11. J. Gannon, P. McMullin, and R. Hamlet. Data-abstraction implementation, specification and testing. ACM Transactions on Programming Languages and Systems, 3(3):211-223, 1981.
12. D. Gries. The science of programming. Texts and monographs in computer science. Springer-Verlag, 1981.
13. J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types. Acta Informatica, 10:27-52, 1978.
14. J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In L. Cardelli, editor, ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, July 2003. Springer.
15. J. Henkel and A. Diwan. Case study: Debugging a discovered specification for java.util.arraylist by using algebraic interpretation. Technical Report CU-CS-970-04, University of Colorado at Boulder, 2004.
16. M. Hughes and D. Stotts. Daistish: Systematic algebraic testing for OO programs in the presence of side-effects. In Proceedings of the International Symposium on Software Testing and Verification, San Diego, California, 1996.
17. J. C. Mitchell. Foundations of Programming Languages. MIT Press, 1996.
18. J. W. Nimmer and M. D. Ernst. Static verification of dynamically detected program invariants: Integrating daikon and esc/java. In Proceedings of RV'01, First Workshop on Runtime Verification, Paris, France, July 2001.
19. S. Sankar. Run-time consistency checking of algebraic specifications. In Proceedings of the Symposium on Testing, Analysis, and Verification, Victoria, British Columbia, Canada, Sept. 1991.
20. TeReSe. Term Rewriting Systems, volume 55 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2003.
21. J. W. Thatcher, E. G. Wagner, and J. B. Wright. Data type specification: Parameterization and the power of specification techniques. ACM Transactions on Programming Languages and Systems, 4(4), Oct. 1982.
22. R. Vallée-Rai, E. Gagnon, L. J. Hendren, P. Lam, P. Pominville, and V. Sundaresan. Optimizing Java bytecode using the Soot framework: Is it feasible? In Compiler Construction, 9th International Conference (CC 2000), pages 18-34, 2000.
23. Y. Wang and D. L. Parnas. Simulating the behavior of software modules by trace rewriting. ACM Transactions on Software Engineering, 20(10), Oct. 1994.