A state space reduction unit testing framework based on generated proxy objects

MaRDI QIDQ3105094zbMATH OpenFDO

Authors Mihály Biczó

Publication date 5 January 2012

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• JMLUnit: the next generation
• An approach for class testing from class contracts
• scientific article; zbMATH DE number 1929886
• scientific article; zbMATH DE number 2040799

This page was built for publication: A state space reduction unit testing framework based on generated proxy objects

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