Model-Based Software Testing and Analysis with C#

DOI10.1017/CBO9780511619540MaRDI QIDQ5444686zbMATH OpenOpenAlexFDO

Authors

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

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

Recommendations

• scientific article; zbMATH DE number 5542184
• Software testing. A craftsman's approach
• Model-based testing of object-oriented systems.
• Introduction to Software Testing
• Modeling software behavior: A craftsman's approach.

Cited in

(10)

• Composing model programs for analysis
• Model-driven engineering support for building C\# applications
• NModel
• Integration of verification methods for program systems
• Model-based testing of object-oriented systems.
• Introduction to model checking
• Composition of Model Programs
• State Isomorphism in Model Programs with Abstract Data Structures
• Formal models for software development. Model checking, verification, analysis and simulation
• Modeling software behavior: A craftsman's approach.

Describes a project that uses

Uses Software

• Visual C#

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

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