Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Amadini, Roberto; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Algorithm selection for dynamic symbolic execution: a preliminary study (2021)
- Godefroid, Patrice; Sen, Koushik: Combining model checking and testing (2018)
- Berzish, M., Ganesh, V., Zheng, Y.: Z3str3: A String Solver with Theory-aware Branching (2017) arXiv
- Inala, Jeevana Priya; Singh, Rohit; Solar-Lezama, Armando: Synthesis of domain specific CNF encoders for bit-vector solvers (2016)