Test generation from state based use case models

DOI10.1007/S00165-012-0258-ZzbMath1342.68210OpenAlexW2081720016MaRDI QIDQ736788

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

zbMATH Keywords

natural languagetest generationCSPconformance testingtest modeluse cases

Mathematics Subject Classification ID

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)

Related Items (3)

Testing using CSP Models: Time, Inputs, and Outputs ⋮ Modelling timed reactive systems from natural-language requirements ⋮ Aiding exploratory testing with pruned GUI models

Uses Software

• STG
• SpecExplorer
• FDR2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-based testing of reactive systems. Advanced lectures.
• CSP with Hierarchical State
• A Mechanized Strategy for Safe Abstraction of CSP Specifications
• Guided Test Generation from CSP Models
• FM 2005: Formal Methods
• Integrated Formal Methods

This page was built for publication: Test generation from state based use case models