Eman Alatawi

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 5

Top Topics

Specification Language

Symbolic Execution

Requirements Engineering

Static Analysis

Top Venues

University of Melbourne, Parkville, Victoria, Australia (PHD)

Education History

University of Melbourne, Parkville, Victoria, Australia

PHD

Publications

Eman Alatawi, Tim Miller, Harald Søndergaard
Symbolic Execution with Invariant Inlay: Evaluating the Potential. ASWEC (2018)
Eman Alatawi, Antonette Mendoza, Tim Miller
Psychologically-Driven Requirements Engineering: A Case Study in Depression Care. ASWEC (2018)
Eman Alatawi, Harald Søndergaard, Tim Miller
Leveraging abstract interpretation for efficient dynamic symbolic execution. ASE (2017)
Eman Alatawi, Tim Miller, Harald Søndergaard
Generating source inputs for metamorphic testing using dynamic symbolic execution. MET@ICSE (2016)
Eman Alatawi, Tim Miller, Harald Søndergaard
Using Metamorphic Testing to Improve Dynamic Symbolic Execution. ASWEC (2015)