Formal black box testing for partially specified deterministic finite state machines
From MaRDI portal
Recommendations
Cited in
(16)- Testing nonlinear operators
- Testing against a non-controllable stream X-machine using state counting
- Finite state based testing of P systems
- Model partitions and compact test case suites
- A testing procedure for deterministic cover finite state machines
- Finite state machine testing from an OR state refinement design
- Error handling in software systems: modeling and testing with finite state machines
- scientific article; zbMATH DE number 2182429 (Why is no real title available?)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing
- scientific article; zbMATH DE number 2087635 (Why is no real title available?)
- \(W_p\)-method for partially specified deterministic finite state machines
- Testing non-deterministic stream X-machine models and P systems
- A model for determining the set of characterization of D-systems
- An optimised complete strategy for testing symbolic finite state machines
- Bounded sequence testing from deterministic finite state machines
This page was built for publication: Formal black box testing for partially specified deterministic finite state machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3070874)
