Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.155-171, ⟨10.1007/978-3-319-47443-4_10⟩
Conference papers
hal-01643718v1
|