Filter your results
- 3
- 3
- 3
- 1
- 2
- 3
- 1
- 3
- 3
- 2
- 1
3 results
|
|
sorted by
|
|
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
|
||
|
Test Generation by Constraint Solving and FSM Mutant Killing28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.36-51, ⟨10.1007/978-3-319-47443-4_3⟩
Conference papers
hal-01643724v1
|
||
|
Multiple Mutation Testing from FSM36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.222-238, ⟨10.1007/978-3-319-39570-8_15⟩
Conference papers
hal-01432920v1
|