Filter your results
- 5
- 1
- 5
- 1
- 6
- 2
- 1
- 2
- 1
- 6
- 2
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 results
|
|
sorted by
|
|
Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah And Dubai, United Arab Emirates. pp.243-248, ⟨10.1007/978-3-319-25945-1_15⟩
Conference papers
hal-01262740v1
|
||
|
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
|
||
|
Synchronizing Heuristics: Speeding up the Slowest29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.243-256, ⟨10.1007/978-3-319-67549-7_15⟩
Conference papers
hal-01678975v1
|