Filter your results
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 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
|
||
|
|
A Study of Concurrency Bugs in an Open Source Software12th IFIP International Conference on Open Source Systems (OSS), May 2016, Gothenburg, Sweden. pp.16-31, ⟨10.1007/978-3-319-39225-7_2⟩
Conference papers
hal-01369048v1
|