Symbolic Execution as DPLL Modulo Theories
From MaRDI portal
Publication:5240106
DOI10.4230/OASIcs.ICCSW.2014.58zbMath1427.68050OpenAlexW2287565210MaRDI QIDQ5240106
Publication date: 24 October 2019
Full work available at URL: https://dblp.uni-trier.de/db/conf/iccsw/iccsw2014.html#Phan14
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work