Jingling Sun, Ting Su 0001, Jun Sun 0001, Jianwen Li, Mengfei Wang, Geguang Pu. Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. In Marcelo d'Amorim, editor, Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024. pages 440-451, ACM, 2024. [doi]
Abstract is missing.