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