Filter your results
- 7
- 2
- 7
- 2
- 9
- 1
- 3
- 1
- 2
- 1
- 1
- 9
- 3
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 results
|
|
sorted by
|
|
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.198-204, ⟨10.1007/978-3-662-44857-1_16⟩
Conference papers
hal-01405288v1
|
||
Testing Software and SystemsSpringer, LNCS-9447, 2015, Testing Software and Systems, 978-3-319-25944-4. ⟨10.1007/978-3-319-25945-1⟩
Books
hal-01470162v1
|
|||
|
Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah And Dubai, United Arab Emirates. pp.243-248, ⟨10.1007/978-3-319-25945-1_15⟩
Conference papers
hal-01262740v1
|
||
|
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
|
||
|
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.139-152, ⟨10.1007/978-3-319-47443-4_9⟩
Conference papers
hal-01643713v1
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Books
hal-01678967v1
|
||
|
Homing Sequence Derivation with Quantified Boolean Satisfiability29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩
Conference papers
hal-01678974v1
|
||
|
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.333-339, ⟨10.1007/978-3-319-67549-7_22⟩
Conference papers
hal-01678992v1
|
||
|
Using an SMT Solver for Checking the Completeness of FSM-Based Tests32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.289-295, ⟨10.1007/978-3-030-64881-7_18⟩
Conference papers
hal-03239812v1
|