CoVeriTest: interleaving value and predicate analysis for test-case generation
Crossref DOI link: https://doi.org/10.1007/s10009-020-00572-1
Published Online: 2020-07-06
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Jakobs, Marie-Christine
Funding for this research was provided by:
Technische Universität Darmstadt
Text and Data Mining valid from 2020-07-06
Version of Record valid from 2020-07-06
Article History
First Online: 6 July 2020