Symbiotic 6: generating test cases by slicing and symbolic execution. - Marek Chalupa; Martina Vitovská; Tomás Jasek; Michael Simácek; Jan Strejcek (Int. J. Softw. Tools Technol. Transf., 2021)