Enabledness-based program abstractions for behavior validation

File Description SizeFormat 
paper.pdfAccepted version887.32 kBAdobe PDFDownload
Title: Enabledness-based program abstractions for behavior validation
Author(s): de Caso, G
Braberman, V
Garbervetsky, D
Uchitel, S
Item Type: Journal Article
Publication Date: 1-Jul-2013
Date of Acceptance: 1-May-2012
URI: http://hdl.handle.net/10044/1/23318
DOI: https://dx.doi.org/10.1145/2491509.2491519
ISSN: 1557-7392
Publisher: Association for Computing Machinery (ACM)
Journal / Book Title: ACM Transactions on Software Engineering and Methodology
Volume: 22
Issue: 3
Copyright Statement: © ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Software Engineering and Methodology , {VOL 22, ISS 3, (July 2013)} http://doi.acm.org/10.1145/2491509.2491519
Publication Status: Published
Appears in Collections:Faculty of Engineering
Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons