An Informal Formal Method for Systematic JUnit Test Case Generation
- 20 September 2002
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 131-143
- https://doi.org/10.1007/3-540-45672-4_13
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Extreme ProgrammingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- The ASTOOT approach to testing object-oriented programsACM Transactions on Software Engineering and Methodology, 1994
- Using Larch to specify Avalon/C++ objectsIEEE Transactions on Software Engineering, 1990
- Trace specifications: methodology and modelsIEEE Transactions on Software Engineering, 1988
- Writing Larch interface language specificationsACM Transactions on Programming Languages and Systems, 1987
- The Larch Family of Specification LanguagesIEEE Software, 1985
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- Notes on Type Abstraction (Version 2)IEEE Transactions on Software Engineering, 1980
- Abstract data types and software validationCommunications of the ACM, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978