DeepHC: Efficient Generating Tests with High Coverage for Deep Neural Networks.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023
Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020