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
1602017
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
741997
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
682014
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
662015
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
661996
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
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
562018
Model-based approach to security test automation
M Blackburn, R Busser, A Nauman, R Chandramouli
Proceeding of Quality Week 2001, 2001
562001
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
522019
AI4SE and SE4AI: A research roadmap
T McDermott, D DeLaurentis, P Beling, M Blackburn, M Bone
Insight 23 (1), 8-14, 2020
322020
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
322013
Removing Requirement Defects and Automating Test
MR Blackburn, R Busser, A Nauman
STAREAST, May, 2001
312001
Collaborating with OpenMBEE as an authoritative source of truth environment
B Kruse, M Blackburn
Procedia Computer Science 153, 277-284, 2019
302019
Using models for test generation and analysis
MR Blackburn
17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings …, 1998
301998
Using semantic web technologies for integrating domain specific modeling and analytical tools
MR Blackburn, PO Denno
Procedia Computer Science 61, 141-146, 2015
272015
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
272004
Using expert systems to construct formal specifications
MR Blackburn
IEEE Intelligent Systems 4 (01), 62-74, 1989
271989
Component assessment using specification-based analysis and testing
R Alexander, M Blackburn
Software Productivity Consortium, Herndon, Virginia, USA, Tech. Rep. SPC …, 1999
251999
Virtual design and verification of cyber-physical systems: Industrial process plant design
M Blackburn, P Denno
Procedia Computer Science 28, 883-890, 2014
242014
The system can't perform the operation now. Try again later.
Articles 1–20