Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps.

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. 2024 SIGSOFT FSE Companion https://doi.org/10.1145/3663529.3663863 https://www.wikidata.org/entity/Q131011708 conf/sigsoft/2024c db/conf/sigsoft/fse2024c.html#Sun00LWP24 440-451