| 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 | 6 | 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 |
| 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, ... | | |
| 1st International Workshop on Metamorphic Testing (MET 2016) X Xie, J Li, C Wang, TY Chen, AC Barus, FC Kuo, H Liu, HW Schmidt, ... | | |
