Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Parallelizing Heuristics for Generating Synchronizing Sequences28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.106-122, ⟨10.1007/978-3-319-47443-4_7⟩
Conference papers
hal-01643717v1
|
||
|
|
Synchronizing Heuristics: Speeding up the Slowest29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.243-256, ⟨10.1007/978-3-319-67549-7_15⟩
Conference papers
hal-01678975v1
|