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

Fulltext present in this item

Fulltext: 83354.pdf

Format: PDF

Description: preprint version

Embargo: until further notice

Title:	Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
Author(s):	Aarts, Fides ; Jonsson, B.; Uijen, Johan
Publication year:	2010
In:	Petrenko, A.; Maldonado, J. (ed.), Testing Software and Systems, pp. 188-204
Publisher:	Berlin : Springer
ISBN:	978364216573314
Series:	Lecture Notes in Computer Science ; 6435
DOI:	https://doi.org/10.1007/978-3-642-16573-3_14
Publication type:	Part of book or chapter of book
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/83354
Display more details
Editor(s):	Petrenko, A.; Maldonado, J.
Subject:	Software Science
Organization:	Software Science
Book title:	Petrenko, A.; Maldonado, J. (ed.), Testing Software and Systems
Page start:	p. 188
Page end:	p. 204

Electronic publications [87458]
Freely accessible full text publications plus those not yet available due to embargo
Faculty of Science [28950]
Academic publications [187718]
Academic output Radboud University