MODEL PARTITIONS AND COMPACT TEST CASE SUITES

DOI10.1142/S0129054112500013zbMath1246.68070OpenAlexW1970437561MaRDI QIDQ2909189

Adenilso Simao, Adilson Luiz Bonifacio, 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) Computer system organization (68M99) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cites Work

• Unnamed Item
• Unnamed Item
• On minimizing the lengths of checking sequences
• Conformance tests for real-time systems with timed automata specifications

This page was built for publication: MODEL PARTITIONS AND COMPACT TEST CASE SUITES