Filter your results
- 8
- 1
- 8
- 1
- 9
- 3
- 2
- 2
- 1
- 1
- 9
- 1
- 7
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
9 results
|
|
sorted by
|
|
Generating Checking Sequences for User Defined Fault Models29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.320-325, ⟨10.1007/978-3-319-67549-7_20⟩
Conference papers
hal-01678955v1
|
||
|
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
|
||
|
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
|
||
|
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.162-178, ⟨10.1007/978-3-642-24580-0_12⟩
Conference papers
hal-01583921v1
|
||
|
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
|
||
|
Testing Software and SystemsSpringer, LNCS-6435, 2010, Lecture Notes in Computer Science, 978-3-642-16572-6. ⟨10.1007/978-3-642-16573-3⟩
Books
hal-01555791v1
|
||
|
From Passive to Active FSM Inference via Checking Sequence Construction29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.126-141, ⟨10.1007/978-3-319-67549-7_8⟩
Conference papers
hal-01678991v1
|