Bounded exhaustive test input generation from hybrid invariants
| Title | Bounded exhaustive test input generation from hybrid invariants |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Rosner, N, Bengolea, VS, Ponzio, P, Khalek, SA, Aguirre, N, Frias, MF, Khurshid, S |
| Editor | Black, AP, Millstein, TD |
| Conference Name | Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014 |
| Publisher | {ACM} |
| URL | http://doi.acm.org/10.1145/2660193.2660232 |
| DOI | 10.1145/2660193.2660232 |
Work Package:
WP5
