DynaTest and beyond: From dynamic testing to automated error-prevention and error-detection

MaRDI QIDQ3423336zbMATH OpenFDO

Authors David C. Pheanis, John A. Jackson, Lance G. Johnson

Publication date 22 February 2007

zbMATH Keywords

software testing

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2011486
• scientific article; zbMATH DE number 4157871
• Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems
• TEST: Testing environment for embedded systems based on TTCN-3 in SILS
• A test environment using symbolic program trace

Cited in

(3)

• scientific article; zbMATH DE number 4157871 (Why is no real title available?)
• scientific article; zbMATH DE number 2011486 (Why is no real title available?)
• Autocontours: Dynamic Specification Testing

This page was built for publication: DynaTest and beyond: From dynamic testing to automated error-prevention and error-detection

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