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

Filter your results

2 results
hal_authIdPerson_i : 1026234
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

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts

Omer Nguena Timo , Dimitri Prestat , Antoine Rollet
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France
Conference papers hal-02341856v1