Leveraging abstract interpretation for efficient dynamic symbolic execution E Alatawi, T Miller 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 8 | 2017 |
Using metamorphic testing to improve dynamic symbolic execution E Alatawi, T Miller, H Søndergaard 2015 24th Australasian Software Engineering Conference, 38-47, 2015 | 5 | 2015 |
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 | 4 | 2018 |
Morphological algorithm for color objects classification E Zaharescu 2009 Fourth Balkan Conference in Informatics, 17-21, 2009 | 3 | 2009 |
Symbolic execution with invariant inlay: Evaluating the potential E Alatawi, T Miller, H Sondergaard 2018 25th Australasian Software Engineering Conference (ASWEC), 26-30, 2018 | 2 | 2018 |
Dynamic Symbolic Execution with Descriptive and Prescriptive Relations EM Alatawi | 1 | 2019 |
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 | 1 | 2016 |
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, ... | | |