Filter your results
- 5
- 1
- 5
- 1
- 6
- 2
- 2
- 1
- 1
- 6
- 6
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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
|
||
|
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
|
||
|
A model checking based approach for detecting SDN racesICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩
Conference papers
hal-02448964v1
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-9976, pp.257, 2016, Lecture Notes in Computer Science, Lecture notes in computer science, 978-3-319-47442-7. ⟨10.1007/978-3-319-47443-4⟩
Books
hal-01643721v1
|
||
|
Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMsICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩
Conference papers
hal-02448916v1
|
||
|
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.213-229, ⟨10.1007/978-3-319-67549-7_13⟩
Conference papers
hal-01678958v1
|