Model-Based Software Testing and Analysis with C#
From MaRDI portal
Publication:5444686
Recommendations
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.
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)