scientific article; zbMATH DE number 938070
From MaRDI portal
Publication:4896913
zbMATH Open0858.68061MaRDI QIDQ4896913FDOQ4896913
Authors: Jan Tretmans 
Publication date: 22 October 1996
Title of this publication is not available (Why is that?)
Recommendations
Cited In (65)
- Automatic Generation of Test Inputs for Mercury
- Goodbye ioco
- Testing divergent transition systems
- A case in point: verification and testing of a EULYNX interface
- Adaptive tests derivation for nondeterministic automata
- \(L^*\)-based learning of Markov decision processes
- Coverage-based testing with symbolic transition systems
- Relating alternating relations for conformance and refinement
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
- Controllable Test Cases for the Distributed Test Architecture
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic
- \(L^\ast\)-based learning of Markov decision processes (extended version)
- Testing using CSP Models: Time, Inputs, and Outputs
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa
- Model-based testing of probabilistic systems
- Compositional schedulability analysis of real-time actor-based systems
- On testing UML statecharts
- Test generation from recursive tiles systems
- Test purpose oriented I/O conformance test selection with colored Petri nets
- Off-line test selection with test purposes for non-deterministic timed automata
- Generation of complete test suites from Mealy input/output transition systems
- Checking sequence generation for symbolic input/output FSMs by constraint solving
- 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
- An abstract framework for choreographic testing
- Connectors as designs: modeling, refinement and test case generation
- 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
- Relational concurrent refinement: automata
- Model-Based Testing of Environmental Conformance of Components
- Model-Based Test Selection for Infinite-State Reactive Systems
- Title not available (Why is that?)
- Synchronizing asynchronous conformance testing
- Logical characterisations and compositionality of input-output conformance simulation
- Test generation from state based use case models
- Title not available (Why is that?)
- Test generation for processing control
- Monadic Sequence Testing and Explicit Test-Refinements
- Specification completion for IOCO
- Model-Based Mutation Testing of Reactive Systems
- Formal Approaches to Software Testing
- Towards deriving test sequences by model checking
- Implementation relations and test generation for systems with distributed interfaces
- Overcoming controllability problems in distributed testing from an input output transition system
- Test selection for traces refinement
- Guided Test Generation from CSP Models
- Information reuse for multi-goal reachability analyses
- On Conformance Testing for Timed Systems
- Symbolic Model-based Test Selection
- Self-Testing without the Generator Bottleneck
- Testing for refinement in \textsf{Circus}
- Formalization of test experiments
- Title not available (Why is that?)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- Towards property oriented testing
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- Processes against tests: on defining contextual equivalences
- Conformance Testing Relations for Timed Systems
- Specification, testing and implementation relations for symbolic-probabilistic 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)
