scientific article; zbMATH DE number 2204028

zbMATH Open1113.68627MaRDI QIDQ5315741FDOQ5315741

Authors: Tun Li, Yang Guo, Sikun Li 

Publication date: 9 September 2005

Title of this publication is not available (Why is that?)

Recommendations

• Constraint-Based Verification
• scientific article; zbMATH DE number 2060812
• scientific article; zbMATH DE number 1956608
• Functional test generation based on combined random and deterministic search methods
• Functional Level Primitives in Test Generation

Mathematics Subject Classification ID

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