Cited By
View all- Renner JSanchez-Stern ABrown FLerner SStefan DFreund SYahav E(2021)Scooter & Sidecar: a domain-specific approach to writing secure database migrationsProceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3453483.3454072(710-724)Online publication date: 19-Jun-2021
- Bocić IBultan TRosner N(2019)Inductive verification of data model invariants in web applications using first-order logicAutomated Software Engineering10.1007/s10515-018-0249-226:2(379-416)Online publication date: 1-Jun-2019
- Bocić IBultan TUchitel SOrso ARobillard M(2017)Symbolic model extraction for web application verificationProceedings of the 39th International Conference on Software Engineering10.1109/ICSE.2017.72(724-734)Online publication date: 20-May-2017
- Show More Cited By