Symbiotic 6: generating test cases by slicing and symbolic execution
Crossref DOI link: https://doi.org/10.1007/s10009-020-00573-0
Published Online: 2020-05-18
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chalupa, Marek
Vitovská, Martina
Jašek, Tomáš
Šimáček, Michael
Strejček, Jan
Text and Data Mining valid from 2020-05-18
Version of Record valid from 2020-05-18
Article History
First Online: 18 May 2020