Bounded exhaustive test input generation from hybrid invariants

TitleBounded exhaustive test input generation from hybrid invariants
Publication TypeConference Paper
Year of Publication2014
AuthorsRosner, N, Bengolea, VS, Ponzio, P, Khalek, SA, Aguirre, N, Frias, MF, Khurshid, S
EditorBlack, AP, Millstein, TD
Conference NameProceedings 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}
URLhttp://doi.acm.org/10.1145/2660193.2660232
DOI10.1145/2660193.2660232
Work Package: 
WP5