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: Sherman:Elena
Contributed to:
2014
2010
2009201520182019Wrote 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.