The following pages link to (Q4896913):
Displayed 49 items.
- Generation of complete test suites from Mealy input/output transition systems (Q282098) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Automated debugging based on a constraint model of the program and a test case (Q444487) (← links)
- Test selection for traces refinement (Q481094) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Test generation from state based use case models (Q736788) (← links)
- Specification completion for IOCO (Q763529) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- Formalization of test experiments (Q927449) (← links)
- Robustness testing for software components (Q988173) (← links)
- Interaction semantics with refusals, divergence, and destruction (Q1758683) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Overcoming controllability problems in distributed testing from an input output transition system (Q1938361) (← links)
- \(L^\ast\)-based learning of Markov decision processes (extended version) (Q1982638) (← links)
- Formalization of a test experiment. II (Q2017757) (← links)
- Agreement between conformance and composition (Q2017761) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- Test purpose oriented I/O conformance test selection with colored Petri nets (Q2336614) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- On testing UML statecharts (Q2500697) (← links)
- Monadic Sequence Testing and Explicit Test-Refinements (Q2827440) (← links)
- Model-Based Mutation Testing of Reactive Systems (Q2842624) (← links)
- Towards Property Oriented Testing (Q2870321) (← links)
- Towards Deriving Test Sequences by Model Checking (Q2873605) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Synchronizing Asynchronous Conformance Testing (Q3095247) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Model-Based Testing of Environmental Conformance of Components (Q3525108) (← links)
- Model-Based Test Selection for Infinite-State Reactive Systems (Q3525109) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- On Conformance Testing for Timed Systems (Q3543302) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts (Q3613082) (← links)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
- (Q5146121) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)
- Guided Test Generation from CSP Models (Q5505607) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- Testing timed automata (Q5940921) (← links)
- Goodbye ioco (Q6163899) (← links)