Model partitions and compact test case suites

DOI10.1142/S0129054112500013zbMATH Open1246.68070OpenAlexW1970437561MaRDI QIDQ2909189FDOQ2909189

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

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

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

Cited In (1)

• \(W_p\)-method for partially specified deterministic finite state machines

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)