Filter your results
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 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
|
||
|
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.108-125, ⟨10.1007/978-3-319-67549-7_7⟩
Conference papers
hal-01678962v1
|