Test generation from recursive tiles systems

DOI10.1007/978-3-642-30473-6_9MaRDI QIDQ2900183zbMATH OpenOpenAlexFDO

Authors Sébastien Chédor, Thierry Jéron, Christophe Morvan

Publication date 20 July 2012

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30473-6_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 938070
• Automata, Languages and Programming
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2079824
• Test generation from P systems using model checking

Cited in

(1)

• Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems

Describes a project that uses

Uses Software

• TorX

This page was built for publication: Test generation from recursive tiles systems

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