Filter your results
- 3
- 1
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Parallelizing Heuristics for Generating Synchronizing Sequences28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.106-122, ⟨10.1007/978-3-319-47443-4_7⟩
Conference papers
hal-01643717v1
|
||
|
|
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.32-47, ⟨10.1007/978-3-662-44857-1_3⟩
Conference papers
hal-01405273v1
|
||
|
|
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.19-34, ⟨10.1007/978-3-319-25945-1_2⟩
Conference papers
hal-01470155v1
|
||
|
|
Testing Software and SystemsSpringer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Books
hal-01678967v1
|