Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

9 results
Page :
sorted by
Image document

Using an SMT Solver for Checking the Completeness of FSM-Based Tests

 Evgenii Vinarskii , Andrey Laputenko , Nina Yevtushenko
32th 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
Image document

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation

 Aleksandr Tvardovskii
29th 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
Image document

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

 Alexandre Petrenko , Nina Yevtushenko
23th 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
Image document

On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment

 Khaled El-Fakih , Tariq Salameh , Nina Yevtushenko
26th 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
Image document

Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines

 Natalia Kushik , Husnu Yenigun
27th 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
Image document

Homing Sequence Derivation with Quantified Boolean Satisfiability

 Hung-En Wang , Kuan-Hua Tu , Jie-Hong R. Jiang , Natalia Kushik
29th 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
Image document

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications

 Nina Yevtushenko , Khaled El-Fakih , Anton Ermakov
28th 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 Systems

 Khaled El-Fakih , Gerassimos Barlas , Nina Yevtushenko
Springer, LNCS-9447, 2015, Testing Software and Systems, 978-3-319-25944-4. ⟨10.1007/978-3-319-25945-1⟩
Books hal-01470162v1

Testing Software and Systems

 Nina Yevtushenko , Ana Rosa Cavalli , Husnu Yenigun
Springer 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
Page :