Craig McMillan

Automating requirements analysis and test case generation

Panagiotis Manolios, Abha Moitra, Kit Siu, 2019, Requirements Engineering.

Requirements Capture and Analysis in ASSERT(TM)

Abha Moitra, Andrew W. Crapo, Daniel Russell, 2017, 2017 IEEE 25th International Requirements Engineering Conference (RE).

Increasing Development Assurance for System and Software Development with Validation and Verification Using ASSERT™

Meng Li, Panagiotis Manolios, Abha Moitra, 2019, SAE technical paper series.

Collaborative Diffusion on the GPU for Path-Finding in Games

Emma Hart, Kevin Chalmers, Craig McMillan, 2015, EvoApplications.

Requirements-based Automated Test Generation for Safety Critical Software

Meng Li, Kit Siu, Michael Durling, 2019, 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).

Flight critical software and systems development using ASSERT™

Han Yu, Panagiotis Manolios, Meng Li, 2017, 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC).