Publications

Export 4 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Valeria S. Bengolea  [Clear All Filters]
Book Chapter
V. S. Bengolea, N. Aguirre, D. Marinov, and M. F. Frias, “Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites”, in International Conference on Tests and Proofs TAP 2012, vol. 7305, 2012, p. 19 - 34.PDF icon testsuite-reduction.pdf (262.31 KB)
Conference Paper
N. Rosner, et al., “Bounded exhaustive test input generation from hybrid invariants”, in 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, 2014.
P. Abad, et al., “Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving”, in IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, 2013.PDF icon icst2013.pdf (285.71 KB)
Journal Article
V. S. Bengolea, N. Aguirre, D. Marinov, and M. F. Frias, “RepOK-based reduction of bounded exhaustive testing”, Softw. Test., Verif. Reliab., vol. 24, p. 629–655, 2014.