institution logo
If you're member of the institution,  you just have to login to download the file in restricted access. It is not necessary to request a print.

Request copy

Automated Generation of State Abstraction Functions using Data Invariant Inference
Nguyen, Duy Cu; Tonella, Paolo; Marchetto, Alessandro et al.
20138th International Workshop on Automation of Software Test (AST’13)

Document(s) requested
ast2013-absfun.pdf

The desired document is not currently available on open access. Nevertheless you can request an offprint through the form below. If your request is accepted you will receive by e-mail a link allowing you access to the document for 5 days, 5 download attempts maximum.


Request form

Fields marked with ✱ are compulsory.

Back to the reference
Contact ORBilu