An informal formal method for systematic Unit test case generation

DOI10.1007/3-540-45672-4_13MaRDI QIDQ4708482zbMATH OpenFDO

Authors David Stotts, Mark Lindsey, Angus Antley

Publication date 18 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2418/24180131.htm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• Testing case generator based on formal specifications
• Generating Unit Tests from Formal Proofs
• Testing from formal specifications, a generic approach
• Towards a framework for constraint-based test case generation
• A novel approach to generate test cases using class and sequence diagrams
• An approach to symbolic test generation

Cited in

(8)

• A simple and practical approach to unit testing: The JML and JUnit way
• JMLUnit: the next generation
• A state space reduction unit testing framework based on generated proxy objects
• Test-driven web application development in Java
• A framework for table driven testing of Java classes
• An approach for class testing from class contracts
• Generating Unit Tests from Formal Proofs
• A probabilistic alternative to regression suites

This page was built for publication: An informal formal method for systematic Unit test case generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708482)