Using Metamorphic Testing to Improve Dynamic Symbolic Execution. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (ASWEC, 2015)

Generating source inputs for metamorphic testing using dynamic symbolic execution. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (MET@ICSE, 2016)

Leveraging abstract interpretation for efficient dynamic symbolic execution. - Eman Alatawi; Harald Søndergaard; Tim Miller 001 (ASE, 2017)

Psychologically-Driven Requirements Engineering: A Case Study in Depression Care. - Eman Alatawi; Antonette Mendoza; Tim Miller 001 (ASWEC, 2018)

Symbolic Execution with Invariant Inlay: Evaluating the Potential. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (ASWEC, 2018)

Dynamic Symbolic Execution with Descriptive and Prescriptive Relations. - Eman Alatawi (2019)