scientific article; zbMATH DE number 2013593

MaRDI QIDQ4436979zbMATH OpenFDO

Authors Harbhajan Singh, Robert M. Hierons, Mark Harman

Publication date 4 December 2003

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A novel approach to generate test cases using class and sequence diagrams
• Automatically generating test data from a Boolean specification
• Automatic transformation from formal specifications to functional scenario forms for automatic test case generation
• Automatic Testing from Formal Specifications
• scientific article; zbMATH DE number 1706341

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 Q4436979)