Generation of complete test suites from Mealy input/output transition systems

DOI10.1007/S00165-015-0350-2zbMATH Open1335.68022OpenAlexW2242703451WikidataQ130982960 ScholiaQ130982960MaRDI QIDQ282098FDOQ282098

Authors: Sofia Costa Paiva, Adenilso Simao 

Publication date: 12 May 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-015-0350-2

Recommendations

• Test generation from integrated system models capturing state-based and MSC-based notations
• scientific article; zbMATH DE number 938070
• Model-based testing of reactive systems. Advanced lectures.
• scientific article; zbMATH DE number 1951206
• Model-Based Mutation Testing of Reactive Systems

zbMATH Keywords

complete test suitesfault domainMealy input/output transition systemstest generation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cites Work

• Model-based testing of reactive systems. Advanced lectures.
• Synchronizing asynchronous conformance testing
• Unifying input output conformance
• Testing Software Design Modeled by Finite-State Machines
• Title not available (Why is that?)
• Testing can be formal, too
• Checking Completeness of Tests for Finite State Machines
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• The complexity of asynchronous model based testing

Cited In (1)

• Title not available (Why is that?)

Uses Software

• JTorX
• TorX

This page was built for publication: Generation of complete test suites from Mealy input/output transition systems

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