Discovering Algebraic Specifications from Java Classes
- 1 January 2003
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- KoratPublished by Association for Computing Machinery (ACM) ,2002
- Mining specificationsPublished by Association for Computing Machinery (ACM) ,2002
- Automated Testing of ClassesPublished by Association for Computing Machinery (ACM) ,2000
- Automatically checking an implementation against its formal specificationIEEE Transactions on Software Engineering, 2000
- In black and whiteACM Transactions on Software Engineering and Methodology, 1998
- Systematic design of algebraic specificationsPublished by Association for Computing Machinery (ACM) ,1989
- Inference of Reversible LanguagesJournal of the ACM, 1982
- The Inference of Regular LISP Programs from ExamplesIEEE Transactions on Systems, Man, and Cybernetics, 1978
- Constructing Programs from Example ComputationsIEEE Transactions on Software Engineering, 1976
- On the inference of Turing machines from sample computationsArtificial Intelligence, 1972