Filter your results
- 4
- 1
- 4
- 1
- 5
- 2
- 2
- 1
- 5
- 5
- 3
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Checking Experiments for Finite State Machines with Symbolic Inputs27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.3-18, ⟨10.1007/978-3-319-25945-1_1⟩
Conference papers
hal-01470154v1
|
||
|
Generating Checking Sequences for User Defined Fault Models29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.320-325, ⟨10.1007/978-3-319-67549-7_20⟩
Conference papers
hal-01678955v1
|
||
|
Fault-Based Testing for Refinement in CSP29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.21-37, ⟨10.1007/978-3-319-67549-7_2⟩
Conference papers
hal-01678973v1
|
||
|
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
|
||
|
Testing Software and SystemsSpringer, LNCS-6435, 2010, Lecture Notes in Computer Science, 978-3-642-16572-6. ⟨10.1007/978-3-642-16573-3⟩
Books
hal-01555791v1
|