Cited By
View all- Liu XJiang YWu D(2019)A Lightweight Framework for Regular Expression Verification2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)10.1109/HASE.2019.00011(1-8)Online publication date: Jan-2019
- Liu XWu D(2018)From Natural Language to Programming LanguageInnovative Methods, User-Friendly Tools, Coding, and Design Approaches in People-Oriented Programming10.4018/978-1-5225-5969-6.ch004(110-130)Online publication date: 2018
- Liu XHolden BWu D(2017)Automated Synthesis of Access Control Lists2017 International Conference on Software Security and Assurance (ICSSA)10.1109/ICSSA.2017.26(104-109)Online publication date: Jul-2017