Model partitions and compact test case suites

DOI10.1142/S0129054112500013MaRDI QIDQ2909189zbMATH OpenOpenAlexFDO

Authors Adilson Luiz Bonifacio, Adenilso Simao, Arnaldo Vieira Moura

Publication date 30 August 2012

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054112500013

zbMATH Keywords

test case generationcompact test suitesG methodW method

Mathematics Subject Classification ID

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

Recommendations

• \(W_p\)-method for partially specified deterministic finite state machines
• Formal black box testing for partially specified deterministic finite state machines
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1951206
• scientific article; zbMATH DE number 1706341

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3254909 (Why is no real title available?)
• Conformance tests for real-time systems with timed automata specifications
• On minimizing the lengths of checking sequences

Cited in

(2)

• \(W_p\)-method for partially specified deterministic finite state machines
• Partial models and weak equivalence

This page was built for publication: Model partitions and compact test case suites

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