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 × Sweden
1 × The Netherlands
1 × United Kingdom
Collaborated with:
M.B.Dwyer S.Kausler R.D.0001 A.Harris B.J.Garvin S.G.Elbaum
Talks about:
base (3) collaboratori (2) constraint (2) program (2) string (2) structur (1) procedur (1) automata (1) synthes (1) softwar (1)

Person: Elena Sherman

DBLP DBLP: Sherman:Elena

Contributed to:

ASE 20142014
IJCAR 20102010
ESEC/FSE 20092009
ASE 20152015
ESEC/FSE 20182018
ASE 20192019

Wrote 6 papers:

ASE-2014-KauslerS #constraints #evaluation #execution #string #symbolic computation #theorem proving
Evaluation of string constraint solvers in the context of symbolic execution (SK, ES), pp. 259–270.
IJCAR-2010-ShermanGD #partial order #type system
A Slice-Based Decision Procedure for Type-Based Partial Orders (ES, BJG, MBD), pp. 156–170.
ESEC-FSE-2009-ShermanDE #concurrent #source code #testing
Saturation-based testing of concurrent programs (ES, MBD, SGE), pp. 53–62.
ASE-2015-ShermanD #analysis #data flow #performance #precise
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T) (ES, MBD), pp. 608–618.
ESEC-FSE-2018-ShermanD #as a service #re-engineering
Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS) (ES, RD0), pp. 760–764.
ASE-2019-ShermanH #automaton #constraints #string
Accurate String Constraints Solution Counting with Weighted Automata (ES, AH), pp. 440–452.

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.