Cited By
View all- Li JLiu S(2023)Requirements‐related fault prevention during the transformation from formal specifications to programsIET Software10.1049/sfw2.1212617:3(316-332)Online publication date: 15-May-2023
- Bai GYe QWu YBotha HSun JLiu YDong JVisser W(2018)Towards Model Checking Android ApplicationsIEEE Transactions on Software Engineering10.1109/TSE.2017.269784844:6(595-612)Online publication date: 1-Jun-2018
- Dudka KHolík LPeringer PTrtík MVojnar T(2016)From Low-Level Pointers to High-Level ContainersProceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 958310.1007/978-3-662-49122-5_21(431-452)Online publication date: 17-Jan-2016
- Show More Cited By