Eman Alatawi

According to our database, Eman Alatawi authored at least 6 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Dynamic Symbolic Execution with Descriptive and Prescriptive Relations.

Eman Alatawi

PhD thesis, 2019

2018

Symbolic Execution with Invariant Inlay: Evaluating the Potential.

Eman Alatawi, Tim Miller, Harald Søndergaard

Proceedings of the 25th Australasian Software Engineering Conference, 2018

Psychologically-Driven Requirements Engineering: A Case Study in Depression Care.

Eman Alatawi, Antonette Mendoza, Tim Miller

Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017

Leveraging abstract interpretation for efficient dynamic symbolic execution.

Eman Alatawi, Harald Søndergaard, Tim Miller

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Generating source inputs for metamorphic testing using dynamic symbolic execution.

Eman Alatawi, Tim Miller, Harald Søndergaard

Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

2015

Using Metamorphic Testing to Improve Dynamic Symbolic Execution.

Eman Alatawi, Tim Miller, Harald Søndergaard

Proceedings of the 24th Australasian Software Engineering Conference, 2015