Chaudhary, Eti and Joshi, Saurabh
(2019)
Pinaka: Symbolic Execution Meets Incremental Solving.
In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS, 6-11 April 2019, Prague, Czech Republic.