Filter your results
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 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
|
||
|
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
|