Test generation from state based use case models
DOI10.1007/S00165-012-0258-ZzbMATH Open1342.68210OpenAlexW2081720016MaRDI QIDQ736788FDOQ736788
Sidney Nogueira, Alexandre Mota, Augusto Sampaio
Publication date: 5 August 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-012-0258-z
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Natural language processing (68T50)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- FM 2005: Formal Methods
- CSP with Hierarchical State
- Model-based testing of reactive systems. Advanced lectures.
- Integrated Formal Methods
- Guided Test Generation from CSP Models
- A Mechanized Strategy for Safe Abstraction of CSP Specifications
Cited In (5)
- Testing using CSP Models: Time, Inputs, and Outputs
- Modelling timed reactive systems from natural-language requirements
- Aiding exploratory testing with pruned GUI models
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR
- Towards a model-checker for \textit{\textsf{Circus}}
Uses Software
This page was built for publication: Test generation from state based use case models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736788)
