Publication Records

CHALUPA, Marek, Jakub NOVÁK and Jan STREJČEK. Symbiotic 8: Parallel and Targeted Test Generation. In Esther Guerra and Mariëlle Stoelinga. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 368-372. ISBN 978-3-030-71499-4. Available from: https://dx.doi.org/10.1007/978-3-030-71500-7_20.

CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK and Jan STREJČEK. Symbiotic 6: generating test cases by slicing and symbolic execution. International Journal on Software Tools for Technology Transfer. 2021, vol. 23, No 6, p. 875-877. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-020-00573-0.

CHALUPA, Marek, Jan STREJČEK and Martina VITOVSKÁ. Joint Forces for Memory Safety Checking Revisited. International Journal on Software Tools for Technology Transfer (STTT). Springer, 2020, vol. 22, No 2, p. 115-133. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-019-00526-2.

CHALUPA, Marek and Jan STREJČEK. Evaluation of Program Slicing in Software Verification. In Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 101-119. ISBN 978-3-030-34967-7. Available from: https://dx.doi.org/10.1007/978-3-030-34968-4_6.

CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK and Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin, Heidelberg: Springer, 2016, p. 946-949. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_67.