Eman Alatawi
Eman Alatawi
Assistant Professor in Software Engineering at Taibah University
在 taibahu.edu.sa 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
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
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, ...
系统目前无法执行此操作,请稍后再试。
文章 1–10