Search - Testing Software and Systems (ICTSS 2017) Access content directly

Filter your results

3 results
Image document

Adaptive Localizer Based on Splitting Trees

Roland Groz , Adenilso Simao , Catherine Oriat
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.326-332, ⟨10.1007/978-3-319-67549-7_21⟩
Conference papers hal-01678983v1
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

Fault-Based Testing for Refinement in CSP

Ana Cavalcanti , Adenilso Simao
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.21-37, ⟨10.1007/978-3-319-67549-7_2⟩
Conference papers hal-01678973v1