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

07 Nov 2025SIGSOFT FSE Companion 2024EveryoneCC BY-SA 4.0
Loading