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 × United Kingdom
3 × USA
Collaborated with:
N.Rungta R.Kumar S.Wesonga P.Anderson N.Vrvilo V.Sarkar
Talks about:
model (4) check (4) program (3) guid (3) transform (1) polymorph (1) benchmark (1) structur (1) parallel (1) explicit (1)

Person: Eric G. Mercer

DBLP DBLP: Mercer:Eric_G=

Contributed to:

ASE 20112011
PEPM 20092009
GT-VMT 20082008
SEFM 20072007
ASE 20052005
ASE 20152015

Wrote 6 papers:

ASE-2011-WesongaMR #concurrent #fault #source code #visualisation
Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.
PEPM-2009-RungtaM #model checking #morphism #polymorphism #source code
Guided model checking for programs with polymorphism (NR, EGM), pp. 21–30.
GT-VMT-2008-KumarM #automaton #sequence chart #verification
Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
SEFM-2007-RungtaM #benchmark #metric #model checking
Hardness for Explicit State Software Model Checking Benchmarks (NR, EGM), pp. 247–256.
ASE-2005-RungtaM #heuristic #model checking
A context-sensitive structural heuristic for guided search model checking (NR, EGM), pp. 410–413.
ASE-2015-MercerAVS #model checking #parallel #source code #using
Model Checking Task Parallel Programs Using Gradual Permissions (N) (EGM, PA, NV, VS), pp. 535–540.

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.