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
82017
Using metamorphic testing to improve dynamic symbolic execution
E Alatawi, T Miller, H Søndergaard
2015 24th Australasian Software Engineering Conference, 38-47, 2015
52015
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
42018
Morphological algorithm for color objects classification
E Zaharescu
2009 Fourth Balkan Conference in Informatics, 17-21, 2009
32009
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
EM Alatawi
12019
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
12016
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, ...
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–10