Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Sub-domain level 1 : info.info-ni
hal_authIdPerson_i : 924273
Page :
sorted by
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
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

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
Page :