共 47 条
[21]
Kane A., 2015, THESIS
[22]
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
[J].
RUNTIME VERIFICATION, RV 2015,
2015, 9333
:102-117
[23]
Monitor Based Oracles for Cyber-Physical System Testing
[J].
2014 44TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN),
2014,
:148-155
[25]
Koopman Philip., 2008, Interface Robustness Testing: Experience and Lessons Learned from the Ballista Project, chapter 11, P201
[26]
Koopman Philip., 2010, BETTER EMBEDDED SYST
[27]
Automated robustness testing of Off-The-Shelf software components
[J].
TWENTY-EIGHTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST PAPERS,
1998,
:230-239
[30]
Robustness testing of the windows DDK
[J].
37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS,
2007,
:554-+