Travelled to:1 × Turkey
1 × United Kingdom
Collaborated with:E.M.Clarke W.Klieber S.Gao M.Minea S.Chaki A.Gurfinkel
Talks about:non (2) program (1) clausal (1) symbol (1) solver (1) python (1) prenex (1) execut (1) state (1) learn (1)
Person: Samir Sapra
DBLP: Sapra:Samir
Contributed to:
2013
2010Wrote 2 papers:
- ICTSS-2013-SapraMCGC #execution #fault #python #source code #symbolic computation #using
- Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.
- SAT-2010-KlieberSGC #learning
- A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.