scientific article; zbMATH DE number 938070
From MaRDI portal
zbMath0858.68061MaRDI QIDQ4896913
Publication date: 22 October 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Testing using CSP Models: Time, Inputs, and Outputs, Generation of complete test suites from Mealy input/output transition systems, Specification, testing and implementation relations for symbolic-probabilistic systems, SetExp: a method of transformation of timed automata into finite state automata, Implementation relations and test generation for systems with distributed interfaces, Overcoming controllability problems in distributed testing from an input output transition system, Logical characterisations, rule formats and compositionality for input-output conformance simulation, Goodbye ioco, Connectors as designs: modeling, refinement and test case generation, Logical Characterisations and Compositionality of Input-Output Conformance Simulation, Model-Based Testing of Environmental Conformance of Components, Model-Based Test Selection for Infinite-State Reactive Systems, Automated debugging based on a constraint model of the program and a test case, Controllable Test Cases for the Distributed Test Architecture, Formalization of test experiments, On Conformance Testing for Timed Systems, Relational Concurrent Refinement: Automata, Test selection for traces refinement, Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, \(L^\ast\)-based learning of Markov decision processes (extended version), An abstract framework for choreographic testing, \(\mathcal {HOTL}\): Hypotheses and observations testing logic, Model-based testing of probabilistic systems, Compositional schedulability analysis of real-time actor-based systems, Interaction semantics with refusals, divergence, and destruction, Symbolic Model-based Test Selection, Testing timed automata, Formalization of a test experiment. II, Agreement between conformance and composition, Formally transforming user-model testing problems into implementer-model testing problems and viceversa, A formal abstract framework for modelling and testing complex software systems, On testing UML statecharts, Robustness testing for software components, Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts, Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems, Test generation from state based use case models, Synchronizing Asynchronous Conformance Testing, Monadic Sequence Testing and Explicit Test-Refinements, Specification completion for IOCO, Testing for refinement in \textsf{Circus}, Model-Based Mutation Testing of Reactive Systems, Processes against tests: on defining contextual equivalences, Unnamed Item, Guided Test Generation from CSP Models, Test purpose oriented I/O conformance test selection with colored Petri nets, Conformance Testing Relations for Timed Systems, Towards Property Oriented Testing, Towards Deriving Test Sequences by Model Checking, A supervisory control method for ensuring the conformance of real-time discrete event systems
