The following pages link to (Q4896913):
Displayed 31 items.
- 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)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← 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)
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- On testing UML statecharts (Q2500697) (← 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)
- 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)
- Guided Test Generation from CSP Models (Q5505607) (← links)
- Testing timed automata (Q5940921) (← links)