Model-Based Software Testing and Analysis with C#

DOI10.1017/CBO9780511619540zbMath1142.68024OpenAlexW1606436461MaRDI QIDQ5444686

No author found.

Publication date: 25 February 2008

Full work available at URL: https://doi.org/10.1017/cbo9780511619540

zbMATH Keywords

model-based testingmodel programmodel-based analysisunit testing

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (6)

Introduction to Model Checking ⋮ Composing model programs for analysis ⋮ State Isomorphism in Model Programs with Abstract Data Structures ⋮ Composition of Model Programs ⋮ NModel ⋮ Integration of verification methods for program systems

Uses Software

• Visual C#

This page was built for publication: Model-Based Software Testing and Analysis with C#