Filter your results
- 4
- 4
- 4
- 2
- 2
- 3
- 1
- 1
- 4
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
|
|
sorted by
|
|
Inferring Finite State Machines Without Reset Using State Identification Sequences27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, ⟨10.1007/978-3-319-25945-1_10⟩
Conference papers
hal-01470168v1
|
||
|
Checking Experiments for Finite State Machines with Symbolic Inputs27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.3-18, ⟨10.1007/978-3-319-25945-1_1⟩
Conference papers
hal-01470154v1
|
||
|
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
|