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

Filter your results

2 results
authFullName_s : Ana Cavalcanti
Image document

Conformance Relations for Distributed Testing Based on CSP

Ana Cavalcanti , Marie-Claude Gaudel , Robert M. Hierons
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers hal-01583923v1
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