scientific article; zbMATH DE number 1951206
From MaRDI portal
Publication:4413699
zbMATH Open1021.68516MaRDI QIDQ4413699FDOQ4413699
Authors: Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes 
Publication date: 21 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2589/25890413.htm
Title of this publication is not available (Why is that?)
Recommendations
- Data Flow Analysis and Testing of Abstract State Machines
- scientific article; zbMATH DE number 1951195
- Using Model Checking to Generate Fault Detecting Tests
- Model-based testing of reactive systems. Advanced lectures.
- Test generation from integrated system models capturing state-based and MSC-based notations
Cited In (11)
- Generating test sequences from a set of MSCs.
- A data-flow approach to test multi-agent ASMs
- Model partitions and compact test case suites
- Generation of complete test suites from Mealy input/output transition systems
- Test generation from integrated system models capturing state-based and MSC-based notations
- Title not available (Why is that?)
- Model based testing with logical properties versus state machines
- Using Model Checking to Generate Fault Detecting Tests
- Test generation from state based use case models
- Guided Test Generation from CSP Models
- Data Flow Analysis and Testing of Abstract State Machines
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413699)
