Directed Model Checking for Fast Abstract Reachability Analysis.
IEEE Access, 2021
On the Long-Term Predictive Capability of Data-Driven Software Reliability Model: An Empirical Evaluation.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014