scientific article; zbMATH DE number 938070
From MaRDI portal
Publication:4896913
Recommendations
Cited in
(65)- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
- \(L^\ast\)-based learning of Markov decision processes (extended version)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic
- Controllable Test Cases for the Distributed Test Architecture
- Model-based testing of probabilistic systems
- Automatic Generation of Test Inputs for Mercury
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa
- Compositional schedulability analysis of real-time actor-based systems
- Testing using CSP Models: Time, Inputs, and Outputs
- On testing UML statecharts
- Test generation from recursive tiles systems
- Test purpose oriented I/O conformance test selection with colored Petri nets
- Generation of complete test suites from Mealy input/output transition systems
- Checking sequence generation for symbolic input/output FSMs by constraint solving
- Off-line test selection with test purposes for non-deterministic timed automata
- Robustness testing for software components
- A formal abstract framework for modelling and testing complex software systems
- Formal Approaches to Software Testing
- Testing timed automata
- Agreement between conformance and composition
- Formalization of a test experiment. II
- Connectors as designs: modeling, refinement and test case generation
- An abstract framework for choreographic testing
- Testing divergent transition systems
- Goodbye ioco
- Interaction semantics with refusals, divergence, and destruction
- Automated debugging based on a constraint model of the program and a test case
- SetExp: a method of transformation of timed automata into finite state automata
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- A case in point: verification and testing of a EULYNX interface
- Relational concurrent refinement: automata
- Model-Based Testing of Environmental Conformance of Components
- Model-Based Test Selection for Infinite-State Reactive Systems
- scientific article; zbMATH DE number 1746452 (Why is no real title available?)
- Test generation from state based use case models
- Synchronizing asynchronous conformance testing
- Adaptive tests derivation for nondeterministic automata
- Logical characterisations and compositionality of input-output conformance simulation
- Test generation for processing control
- scientific article; zbMATH DE number 2013781 (Why is no real title available?)
- Specification completion for IOCO
- Monadic Sequence Testing and Explicit Test-Refinements
- Model-Based Mutation Testing of Reactive Systems
- Test selection for traces refinement
- Formal Approaches to Software Testing
- Implementation relations and test generation for systems with distributed interfaces
- Overcoming controllability problems in distributed testing from an input output transition system
- Towards deriving test sequences by model checking
- Guided Test Generation from CSP Models
- Information reuse for multi-goal reachability analyses
- On Conformance Testing for Timed Systems
- Symbolic Model-based Test Selection
- Testing for refinement in \textsf{Circus}
- Self-Testing without the Generator Bottleneck
- Formalization of test experiments
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- scientific article; zbMATH DE number 1979819 (Why is no real title available?)
- Towards property oriented testing
- \(L^*\)-based learning of Markov decision processes
- Coverage-based testing with symbolic transition systems
- Relating alternating relations for conformance and refinement
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- Processes against tests: on defining contextual equivalences
- Specification, testing and implementation relations for symbolic-probabilistic systems
- Conformance Testing Relations for Timed Systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4896913)
