Affiliation:
1. University of Colorado Boulder
Funder
Defense Advanced Research Projects Agency
Toyota USA
National Science Foundation
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Statistical verification of autonomous system controllers under timing uncertainties;Real-Time Systems;2024-01-29
2. Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees;IEEE Transactions on Automation Science and Engineering;2023
3. Search-based Testing for Accurate Fault Localization in CPS;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
4. Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties;2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2022-08
5. CPSDebug: Automatic failure explanation in CPS models;International Journal on Software Tools for Technology Transfer;2021-01-08