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 × Canada
1 × Italy
1 × USA
Collaborated with:
D.Schwartz-Narbonne M.Schäf T.Wies
Talks about:
sat (2) fundament (1) vermeer (1) program (1) explain (1) between (1) faulti (1) differ (1) concol (1) unsat (1)

Person: Chanseok Oh

DBLP DBLP: Oh:Chanseok

Contributed to:

ICSE 20152015
SAT 20152015
SCAM 20142014

Wrote 3 papers:

ICSE-v2-2015-Schwartz-Narbonne #c #named #source code
VERMEER: A Tool for Tracing and Explaining Faulty C Programs (DSN, CO, MS, TW), pp. 737–740.
SAT-2015-Oh #difference #satisfiability
Between SAT and UNSAT: The Fundamental Difference in CDCL SAT (CO), pp. 307–323.
SCAM-2014-OhSSW #fault #locality
Concolic Fault Localization (CO, MS, DSN, TW), pp. 135–144.

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.