Craig McMillan

dblp:160/1726 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
1since 2021 · last 2023
0009-0005-8002-791XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-authorTheory of computation · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author
YearPublicationVenuePosition
2023 Towards a Correct-by-Construction Design of Integrated Modular Avionics
Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Tim Oates 0001
FMCAD10
2019 Automating requirements analysis and test case generation
Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Panagiotis Manolios, Michael Meiners, Craig McMillan
Requir. Eng.8
2017 Requirements Capture and Analysis in ASSERT(TM)
abstract
Capturing high-level requirements in a human readable but formal representation suitable for analysis is an important goal for GE. To that end we have augmented an existing controlled-English modeling language with a new controlled-English requirements capture language to create the Requirements Capture frontend of the ASSERT(TM) tool suite. Requirements captured in ASSERT can be analyzed for a number of possible shortcomings, both individually and collectively. Once a set of requirements has reached a satisfactory level of completeness, consistency, etc., it can then be further used to generate test cases and test procedures. This paper will focus on the requirements capture and analysis functions of ASSERT and will illustrate its capabilities with a sample problem previously used as a challenge problem for requirements specification.
Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell
RE3
2015 Collaborative Diffusion on the GPU for Path-Finding in Games
Craig McMillan, Emma Hart, Kevin Chalmers
EvoApplications1