Enabledness-Based Program Abstractions for Behavior Validation.
Saved in:
| Title: | Enabledness-Based Program Abstractions for Behavior Validation. |
|---|---|
| Authors: | DE CASO, GUIDO1, gdecaso@dc.uba.ar, BRABERMAN, VICTOR1, GARBERVETSKY, DIEGO1, UCHITEL, SEBASTIAN1,2 |
| Source: | ACM Transactions on Software Engineering & Methodology; Jul2013, Vol. 22 Issue 3, p25:1-25:46, 46p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
