Model partitions and compact test case suites

DOI10.1142/S0129054112500013zbMATH Open1246.68070OpenAlexW1970437561MaRDI QIDQ2909189FDOQ2909189

Arnaldo Vieira Moura, Adenilso Simao, Adilson Luiz Bonifacio

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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