1. Verification of ORM-based controllers by summary inference;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
2. Inductive verification of data model invariants in web applications using first-order logic;Automated Software Engineering;2018-12-12
3. Symbolic Model Extraction for Web Application Verification;2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE);2017-05
4. Finding access control bugs in web applications with CanCheck;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25