Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. Bengolea, V. S., Aguirre, N., Marinov, D., & Frias, M. F. In Brucker, A. D. & Julliand, J., editors, Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings, volume 7305, of Lecture Notes in Computer Science, pages 19–34, 2012. Springer. ![Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @inproceedings{DBLP:conf/tap/BengoleaAMF12,
author = {Valeria S. Bengolea and Nazareno Aguirre and Darko Marinov and Marcelo F. Frias},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/tap/BengoleaAMF12.bib},
booktitle = {Tests and Proofs - 6th International Conference, {TAP} 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings},
doi = {10.1007/978-3-642-30473-6\_4},
editor = {Achim D. Brucker and Jacques Julliand},
pages = {19--34},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
title = {Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites},
url = {https://doi.org/10.1007/978-3-642-30473-6\_4},
volume = {7305},
year = {2012},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-30473-6%5C_4},
Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-30473-6%5C_4}}
Downloads: 0
{"_id":"4q3gc45Ltzp92sduw","bibbaseid":"bengolea-aguirre-marinov-frias-usingcoveragecriteriaonrepoktoreduceboundedexhaustivetestsuites-2012","author_short":["Bengolea, V. S.","Aguirre, N.","Marinov, D.","Frias, M. F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Valeria","S."],"propositions":[],"lastnames":["Bengolea"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["Darko"],"propositions":[],"lastnames":["Marinov"],"suffixes":[]},{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/tap/BengoleaAMF12.bib","booktitle":"Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings","doi":"10.1007/978-3-642-30473-6_4","editor":[{"firstnames":["Achim","D."],"propositions":[],"lastnames":["Brucker"],"suffixes":[]},{"firstnames":["Jacques"],"propositions":[],"lastnames":["Julliand"],"suffixes":[]}],"pages":"19–34","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Tue, 14 May 2019 10:00:44 +0200","title":"Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites","url":"https://doi.org/10.1007/978-3-642-30473-6\\_4","volume":"7305","year":"2012","bdsk-url-1":"https://doi.org/10.1007/978-3-642-30473-6%5C_4","bdsk-url-2":"http://dx.doi.org/10.1007/978-3-642-30473-6%5C_4","bibtex":"@inproceedings{DBLP:conf/tap/BengoleaAMF12,\n\tauthor = {Valeria S. Bengolea and Nazareno Aguirre and Darko Marinov and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/tap/BengoleaAMF12.bib},\n\tbooktitle = {Tests and Proofs - 6th International Conference, {TAP} 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings},\n\tdoi = {10.1007/978-3-642-30473-6\\_4},\n\teditor = {Achim D. Brucker and Jacques Julliand},\n\tpages = {19--34},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:44 +0200},\n\ttitle = {Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites},\n\turl = {https://doi.org/10.1007/978-3-642-30473-6\\_4},\n\tvolume = {7305},\n\tyear = {2012},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-30473-6%5C_4},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-30473-6%5C_4}}\n\n","author_short":["Bengolea, V. S.","Aguirre, N.","Marinov, D.","Frias, M. F."],"editor_short":["Brucker, A. D.","Julliand, J."],"key":"DBLP:conf/tap/BengoleaAMF12","id":"DBLP:conf/tap/BengoleaAMF12","bibbaseid":"bengolea-aguirre-marinov-frias-usingcoveragecriteriaonrepoktoreduceboundedexhaustivetestsuites-2012","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-30473-6\\_4"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","dataSources":["CctimS4AgKgzGybH5"],"keywords":[],"search_terms":["using","coverage","criteria","repok","reduce","bounded","exhaustive","test","suites","bengolea","aguirre","marinov","frias"],"title":"Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites","year":2012}