Follow
Eman Alatawi
Eman Alatawi
Assistant Professor in Software Engineering at Taibah University
Verified email at taibahu.edu.sa
Title
Cited by
Cited by
Year
Psychologically-driven requirements engineering: a case study in depression care
E Alatawi, A Mendoza, T Miller
2018 25th Australasian Software Engineering Conference (ASWEC), 41-50, 2018
122018
Leveraging abstract interpretation for efficient dynamic symbolic execution
E Alatawi, T Miller
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
112017
Using metamorphic testing to improve dynamic symbolic execution
E Alatawi, T Miller, H Søndergaard
2015 24th Australasian Software Engineering Conference, 38-47, 2015
72015
Generating source inputs for metamorphic testing using dynamic symbolic execution
E Alatawi, T Miller, H Søndergaard
Proceedings of the 1st International Workshop on Metamorphic Testing, 19-25, 2016
52016
Symbolic execution with invariant inlay: Evaluating the potential
E Alatawi, T Miller, H Sondergaard
2018 25th Australasian Software Engineering Conference (ASWEC), 26-30, 2018
22018
Dynamic Symbolic Execution with Descriptive and Prescriptive Relations.
E Alatawi
University of Melbourne, Parkville, Victoria, Australia, 2019
12019
Combining Metamorphic Testing and Dynamic Symbolic Execution for effective test inputs generation
E Alatawi, T Miller, H Søndergaard
School of Compu ng and Informa on Systems 5th Annual Doctoral Colloquium …, 2017
2017
ASWEC 2018
A Alhefdhi, HK Dam, E Alatawi, T Miller, J Buchan, M Bano
Zhou, Zhi Quan 96 Zowghi, Didar 31
A Abdullah, E Alatawi, A Alhefdhi, J Almalki, K Baggo, M Bano, ...
1st International Workshop on Metamorphic Testing (MET 2016)
X Xie, J Li, C Wang, TY Chen, AC Barus, FC Kuo, H Liu, HW Schmidt, ...
The system can't perform the operation now. Try again later.
Articles 1–10