SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software.
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
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