Author:
Li Zhen,Cao Zining,Wang Fujun,Xing Chao
Funder
Aviation Science Foundation of China
National Natural Science Foundation of China
Fundamental Research Funds for the Central Universities
Publisher
Springer Science and Business Media LLC
Reference30 articles.
1. Akram AL-Saati N, Abd-AlKareem Alabajee M (2020) A comparative study on parameter estimation in software reliability modeling using swarm intelligence. arXiv preprint arXiv:2003.04770
2. Aljazzar H, Leue S (2010) Directed explicit state-space search in the generation of counterexamples for stochastic model checking. IEEE Trans Software Eng 36(1):37–60
3. Andrés ME, D’Argenio P, van Rossum P (2008) Significant diagnostic counterexamples in probabilistic model checking. In: Haifa Verification Conference, pp. 129–148. Springer
4. Barbon G, Leroy V, Salaün G (2018) Counterexample simplification for liveness property violation. In: Johnsen EB, Schaefer I (eds) Lecture notes in computer science. Software Engineering and Formal Methods, Cham, pp 173–188
5. Češka M, Hensel C, Junges S, Katoen JP (2019) Counterexample-driven synthesis for probabilistic program sketches. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) Lecture Notes in Computer Science, pp. 101–120. Formal Methods – The Next 30 Years, Cham