Towards development of complete and conflict-free requirements A Moitra, K Siu, A Crapo, H Chamarthi, M Durling, M Li, H Yu, P Manolios, ... 2018 IEEE 26th International Requirements Engineering Conference (RE), 286-296, 2018 | 30 | 2018 |
Automating requirements analysis and test case generation A Moitra, K Siu, AW Crapo, M Durling, M Li, P Manolios, M Meiners, ... Requirements Engineering 24, 341-364, 2019 | 20 | 2019 |
Certification considerations for adaptive stress testing of airborne software M Durling, H Herencia-Zapana, B Meng, M Meiners, J Hochwarth, ... 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), 1-9, 2021 | 3 | 2021 |
Towards the Certification of Neural Networks using Overarching Properties: An Avionics Case Study S Paul, D Prince, N Iyer, M Durling, N Visnevski, B Meng, SC Varanasi, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | | 2023 |