Filter your results
- 3
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 2
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Constraint-Based Oracles for Timed Distributed Systems29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers
hal-01678964v1
|
||
|
Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and ContractsTesting Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩
Book sections
hal-01470156v1
|
||
|
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.119-135, ⟨10.1007/978-3-642-34691-0_10⟩
Conference papers
hal-01482398v1
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Books
hal-02526347v1
|