Bounded sequence testing from deterministic finite state machines
type: Item
instance of: scholarly article
title: Bounded sequence testing from deterministic finite state machines
zbMATH Open document ID: 1192.68414
author: Florentin Ipate
published in: Theoretical Computer Science
publication date: 2010-04-15T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5693344
zbMATH Keywords: finite state machines
zbMATH Keywords: test selection
zbMATH Keywords: \(W\)-method
zbMATH Keywords: \(Wp\)-method
zbMATH Keywords: specification-based testing
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.01.030
OpenAlex ID: W2013233534
cites work: Q3070874
cites work: Q4900302
cites work: Minimal cover-automata for finite languages
cites work: Testing Software Design Modeled by Finite-State Machines
cites work: Q5541342
cites work: Q4210112
cites work: Q5592246
cites work: An integration testing method that is proved to find all faults
cites work: Complete deterministic stream X-machine testing
cites work: Testing against a non-controllable stream X-machine using state counting
cites work: Q4418606
cites work: Q4540971
DOI: 10.1016/J.TCS.2010.01.030
Recommended article: Bounded Sequence Testing from Non-deterministic Finite State Machines
Recommended article: Q3018215
Recommended article: Testing finite-state machines: state identification and verification
Recommended article: Checking Completeness of Tests for Finite State Machines
Recommended article: Finite state based testing of P systems
Recommended article: Testing finite state machines: Fault detection
Recommended article: Q3070874
description: scientific article; zbMATH DE number 5693344