Follow
Mark R. Blackburn, PhD
Title
Cited by
Cited by
Year
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
1912017
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
1332004
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
761997
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
742015
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
732014
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
681996
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
672019
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
642018
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
582001
Model-based approach to security test automation
M Blackburn, R Busser, A Nauman, R Chandramouli
Proceeding of Quality Week 2001, 2001
582001
AI4SE and SE4AI: A research roadmap
T McDermott, D DeLaurentis, P Beling, M Blackburn, M Bone
Insight 23 (1), 8-14, 2020
462020
Collaborating with OpenMBEE as an authoritative source of truth environment
B Kruse, M Blackburn
Procedia Computer Science 153, 277-284, 2019
382019
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
342013
Removing Requirement Defects and Automating Test
MR Blackburn, R Busser, A Nauman
STAREAST, May, 2001
332001
Using models for test generation and analysis
MR Blackburn
17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings …, 1998
301998
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
282020
Using semantic web technologies for integrating domain specific modeling and analytical tools
MR Blackburn, PO Denno
Procedia Computer Science 61, 141-146, 2015
282015
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
282004
Component assessment using specification-based analysis and testing
R Alexander, M Blackburn
Software Productivity Consortium, Herndon, Virginia, USA, Tech. Rep. SPC …, 1999
271999
Using expert systems to construct formal specifications
MR Blackburn
IEEE Intelligent Systems 4 (01), 62-74, 1989
271989
The system can't perform the operation now. Try again later.
Articles 1–20