Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Structure: Internal structure identifier : 190254
Image document

Checking Experiments for Finite State Machines with Symbolic Inputs

Alexandre Petrenko , Adenilso Simao
27th 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
Image document

Generating Checking Sequences for User Defined Fault Models

Alexandre Petrenko , Adenilso Simao
29th 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
Image document

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

Omer Nguena Timo , Alexandre Petrenko , S. Ramesh
29th 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
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

Inferring Finite State Machines Without Reset Using State Identification Sequences

Roland Groz , Adenilso Simao , Alexandre Petrenko , Catherine Oriat
27th 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
Image document

Test Generation by Constraint Solving and FSM Mutant Killing

Alexandre Petrenko , Omer Nguena Timo , S. Ramesh
28th 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
Image document

Multiple Mutation Testing from FSM

Alexandre Petrenko , Omer Nguena Timo , S. Ramesh
36th 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 Systems

Alexandre Petrenko , Adenilso Simao , José Carlos Maldonado
Springer, LNCS-6435, 2010, Lecture Notes in Computer Science, 978-3-642-16572-6. ⟨10.1007/978-3-642-16573-3⟩
Books hal-01555791v1
Image document

From Passive to Active FSM Inference via Checking Sequence Construction

Alexandre Petrenko , Florent Avellaneda , Roland Groz , Catherine Oriat
29th 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