4
Publications
83
Citations
4
H-Index
2017
Active since
Craig McMillan is an author at Northeastern University specializing in software analysis, software design, and software engineering.
Top concepts
EngineeringSoftware DesignSoftware TestingSoftware AnalysisSoftware EngineeringVerificationComputer ScienceProgram AnalysisFormal VerificationSystems Engineering
Publications per year
2017–2019
4
4
Requirements Capture and Analysis in ASSERT(TM)
Andrew Crapo, Abha Moitra, Craig McMillan et al. · 2017 · 33 citations
Automating requirements analysis and test case generation
Abha Moitra, Kit Siu, Andrew Crapo et al. · Requirements Engineering · 2019 · 23 citations
Flight critical software and systems development using ASSERT™
Kit Siu, Abha Moitra, Michael Durling et al. · 2017 · 16 citations
Auto Test Generation, Formal Requirements Capture, Engineering +26
Requirements-based Automated Test Generation for Safety Critical Software
Meng Li, Baoluo Meng, Han Yu et al. · 2019 · 11 citations
Rows per page
1–4 of 4