Filter your results
- 5
- 5
- 5
- 1
- 2
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A Mechanised Proof of an Adaptive State Counting Algorithm31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.176-193, ⟨10.1007/978-3-030-31280-0_11⟩
Conference papers
hal-02526349v1
|
||
|
|
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.146-161, ⟨10.1007/978-3-642-24580-0_11⟩
Conference papers
hal-01583919v1
|
||
|
|
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.8-23, ⟨10.1007/978-3-642-34691-0_3⟩
Conference papers
hal-01482408v1
|
||
|
|
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.38-53, ⟨10.1007/978-3-319-67549-7_3⟩
Conference papers
hal-01678956v1
|
||
|
|
Safety-Complete Test Suites29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.145-161, ⟨10.1007/978-3-319-67549-7_9⟩
Conference papers
hal-01678989v1
|