BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sapra:Samir

Contributed to:

ICTSS 20132013
SAT 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.