Enabledness-Based Program Abstractions for Behavior Validation
File(s)paper.pdf (887.32 KB)
Accepted version
Author(s)
de Caso, G
Braberman, V
Garbervetsky, D
Uchitel, S
Type
Journal Article
Date Issued
2013-07-01
Date Acceptance
2012-05-01
Citation
ACM Transactions on Software Engineering and Methodology, 2013, 22 (3)
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
Identifier
ARTN 25
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Design
Algorithms
Documentation
Source-code validation
enabledness abstractions
OBJECT-ORIENTED PROGRAMS
GENERATION
SPECIFICATIONS
VERIFICATION
QUALITY
SYSTEM
Publication Status
Published
Article Number
ARTN 25