Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction

Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00767416
Contributor : Sofia Cassel <>
Submitted on : Wednesday, December 19, 2012 - 5:57:41 PM
Last modification on : Friday, April 26, 2019 - 1:19:23 AM

Links full text

Identifiers

Collections

Citation

Fides Aarts, Bengt Jonsson, Johan Uijen. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. IFIP International Conference on Testing Software and Systems (ICTSS), 2010, Natal, Brazil. pp.188-204, ⟨10.1007/978-3-642-16573-3_14⟩. ⟨hal-00767416⟩

Share

Metrics

Record views

238