Publications

Export 2 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Darko Marinov  [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)
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.