Policylint: Investigating internal privacy policy contradictions on google play
- Benjamin Andow
- Samin Yaseer Mahmud
- et al.
- 2019
- USENIX Security 2019
Publications
6 results for Tao Xie
UiRef: Analysis of sensitive user inputs in Android applications
- Benjamin Andow
- Akhil Acharya
- et al.
- 2017
- WiSec 2017
Automated extraction of security policies from natural-language software documents
- Xusheng Xiao
- Amit Paradkar
- et al.
- 2012
- FSE 2012
Synthesizing method sequences for high-coverage testing
- Suresh Thummalapenta
- Tao Xie
- et al.
- 2011
- OOPSLA 2011
Detecting concurrency-related problematic activity arrangement in WS-BPEL programs
- Yitao Ni
- Lu Zhang
- et al.
- 2011
- SCC 2011
Alattin: Mining alternative patterns for defect detection
- Suresh Thummalapenta
- Tao Xie
- 2011
- Automated Software Engineering