Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Structure: Internal structure identifier : 354565
publicationDateY_i : 2017
Page :
sorted by
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
Page :