scientific article; zbMATH DE number 1929886

MaRDI QIDQ4708482zbMATH OpenFDO

Authors David Stotts, Mark Lindsey, Angus Antley

Publication date 18 June 2003

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
• scientific article; zbMATH DE number 1706341
• Towards a framework for constraint-based test case generation
• A novel approach to generate test cases using class and sequence diagrams
• scientific article; zbMATH DE number 2079824

Cited in

(8)

• A state space reduction unit testing framework based on generated proxy objects
• A framework for table driven testing of Java classes
• scientific article; zbMATH DE number 1951134 (Why is no real title available?)
• An approach for class testing from class contracts
• scientific article; zbMATH DE number 2089386 (Why is no real title available?)
• JMLUnit: the next generation
• A probabilistic alternative to regression suites
• Generating Unit Tests from Formal Proofs

This page was built for publication:

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