Is digital thread/digital twin affordable? A systemic assessment of the cost of DoD’s latest manhattan project TD West, M Blackburn Procedia computer science 114, 47-56, 2017 | 169 | 2017 |
Why model-based test automation is different and what you should know to get started M Blackburn, R Busser, A Nauman International conference on practical software quality and testing, 212-232, 2004 | 131 | 2004 |
Automatic generation of test vectors for SCR-style specifications M Blackburn, RD Busser, JS Fontaine Proceedings of COMPASS'97: 12th Annual Conference on Computer Assurance, 54-67, 1997 | 75 | 1997 |
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn Science of Computer Programming 95, 275-297, 2014 | 70 | 2014 |
Transforming systems engineering through model-centric engineering M Blackburn, R Cloutier, G Witus, E Hole, M Bone Stevens Institute of Technology, SERC-2015-TR-109, 2015 | 67 | 2015 |
T-VEC: A tool for developing critical systems MR Blackburn, RD Busser Proceedings of 11th Annual Conference on Computer Assurance. COMPASS'96, 237-249, 1996 | 67 | 1996 |
Transforming systems engineering through digital engineering MA Bone, MR Blackburn, DH Rhodes, DN Cohen, JA Guerrero The Journal of Defense Modeling and Simulation 16 (4), 339-355, 2019 | 59 | 2019 |
Toward an interoperability and integration framework to enable digital thread M Bone, M Blackburn, B Kruse, J Dzielski, T Hagedorn, I Grosse Systems 6 (4), 46, 2018 | 59 | 2018 |
Mars polar lander fault identification using model-based testing M Blackburn, R Busser, A Nauman, R Knickerbocker, R Kasuda Proceedings 26th annual NASA Goddard software engineering workshop, 128-135, 2001 | 58 | 2001 |
Model-based approach to security test automation M Blackburn, R Busser, A Nauman, R Chandramouli Proceeding of Quality Week 2001, 2001 | 58 | 2001 |
AI4SE and SE4AI: A research roadmap T McDermott, D DeLaurentis, P Beling, M Blackburn, M Bone Insight 23 (1), 8-14, 2020 | 34 | 2020 |
Test case generation from natural language requirements based on SCR specifications G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn Proceedings of the 28th annual ACM symposium on applied computing, 1217-1222, 2013 | 33 | 2013 |
Removing Requirement Defects and Automating Test MR Blackburn, R Busser, A Nauman STAREAST, May, 2001 | 32 | 2001 |
Collaborating with OpenMBEE as an authoritative source of truth environment B Kruse, M Blackburn Procedia Computer Science 153, 277-284, 2019 | 30 | 2019 |
Using models for test generation and analysis MR Blackburn 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings …, 1998 | 30 | 1998 |
Automated testing of security functions using a combined model and interface-driven approach R Chandramouli, M Blackburn 37th Annual Hawaii International Conference on System Sciences, 2004 …, 2004 | 28 | 2004 |
Using semantic web technologies for integrating domain specific modeling and analytical tools MR Blackburn, PO Denno Procedia Computer Science 61, 141-146, 2015 | 27 | 2015 |
Component assessment using specification-based analysis and testing R Alexander, M Blackburn Software Productivity Consortium, Herndon, Virginia, USA, Tech. Rep. SPC …, 1999 | 26 | 1999 |
Using expert systems to construct formal specifications MR Blackburn IEEE Intelligent Systems 4 (01), 62-74, 1989 | 26 | 1989 |
Knowledge representation with ontologies and semantic web technologies to promote augmented and artificial intelligence in systems engineering T Hagedorn, M Bone, B Kruse, I Grosse, M Blackburn Insight 23 (1), 15-20, 2020 | 24 | 2020 |