{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:05:59Z","timestamp":1776373559294,"version":"3.51.2"},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2020,7,6]],"date-time":"2020-07-06T00:00:00Z","timestamp":1593993600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,6]],"date-time":"2020-07-06T00:00:00Z","timestamp":1593993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005722","name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005722","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Automatic test-suite generation tools are often complex and their behavior is not predictable. To provide a minimum baseline that test-suite generators should be able to surpass, we present <jats:sc>PRTest<\/jats:sc>, a random black-box test-suite generator for C\u00a0programs: To create a test, <jats:sc>PRTest<\/jats:sc> natively executes the program under test and creates a new, random test value whenever an input value is required. After execution, <jats:sc>PRTest<\/jats:sc> checks whether any new program branches were covered and, if this is the case, the created test is added to the test suite. This way, tests are rapidly created either until a crash is found, or until the user aborts the creation. While this naive mechanism is not competitive with more sophisticated, state-of-the-art test-suite generation tools, it is able to provide a good baseline for Test-Comp and a fast alternative for automatic test-suite generation for programs with simple control flow. <jats:sc>PRTest<\/jats:sc> is publicly available and open source.<\/jats:p>","DOI":"10.1007\/s10009-020-00568-x","type":"journal-article","created":{"date-parts":[[2020,7,6]],"date-time":"2020-07-06T13:03:51Z","timestamp":1594040631000},"page":"871-873","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Plain random test generation with PRTest"],"prefix":"10.1007","volume":"23","author":[{"given":"Thomas","family":"Lemberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,6]]},"reference":[{"key":"568_CR1","doi-asserted-by":"crossref","unstructured":"Beyer, D., Lemberger, T.: Software verification: Testing vs. model checking. In: Proc. HVC, LNCS, vol. 10629, pp. 99\u2013114. Springer (2017)","DOI":"10.1007\/978-3-319-70389-3_7"},{"issue":"3","key":"568_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1147\/sj.223.0229","volume":"22","author":"DL Bird","year":"1983","unstructured":"Bird, D.L., Munoz, C.U.: Automatic generation of random self-checking test cases. IBM Syst. J. 22(3), 229\u2013245 (1983)","journal-title":"IBM Syst. J."},{"key":"568_CR3","doi-asserted-by":"crossref","unstructured":"Majumdar, R. Sen, K.: Hybrid concolic testing. In: Proc. ICSE, pp. 416\u2013426. IEEE (2007)","DOI":"10.1109\/ICSE.2007.41"},{"issue":"5","key":"568_CR4","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1002\/stvr.1601","volume":"26","author":"JM Rojas","year":"2016","unstructured":"Rojas, J.M., Fraser, G., Arcuri, A.: Seeding strategies in search-based unit test generation. Softw. Test. Verif. Reliab. 26(5), 366\u2013401 (2016)","journal-title":"Softw. Test. Verif. Reliab."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00568-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00568-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00568-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,26]],"date-time":"2021-12-26T12:03:00Z","timestamp":1640520180000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00568-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,6]]},"references-count":4,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["568"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00568-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7,6]]},"assertion":[{"value":"6 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}