Filter your results
- 3
- 3
- 3
- 2
- 1
- 3
- 3
- 3
- 2
- 1
- 1
- 1
3 results
|
|
sorted by
|
|
Adaptive Localizer Based on Splitting Trees29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.326-332, ⟨10.1007/978-3-319-67549-7_21⟩
Conference papers
hal-01678983v1
|
||
|
Inferring Finite State Machines Without Reset Using State Identification Sequences27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, ⟨10.1007/978-3-319-25945-1_10⟩
Conference papers
hal-01470168v1
|
||
|
From Passive to Active FSM Inference via Checking Sequence Construction29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.126-141, ⟨10.1007/978-3-319-67549-7_8⟩
Conference papers
hal-01678991v1
|