Seguir
Eman Alatawi
Eman Alatawi
Assistant Professor in Software Engineering at Taibah University
Dirección de correo verificada de taibahu.edu.sa
Título
Citado por
Citado por
Año
Leveraging abstract interpretation for efficient dynamic symbolic execution
E Alatawi, T Miller
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
102017
Using metamorphic testing to improve dynamic symbolic execution
E Alatawi, T Miller, H Søndergaard
2015 24th Australasian Software Engineering Conference, 38-47, 2015
62015
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
52018
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
42016
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, ...
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–10