Travelled to:
1 × France
Collaborated with:
X.Li J.Zhai L.Bu Y.Lu T.Z.0001 Z.Tang Y.Aafer S.Ma X.Z.0001 J.Zhao
Talks about:
forc (2) understand (1) scenario (1) languag (1) android (1) specif (1) prefer (1) malwar (1) execut (1) applic (1)
Person: Minxue Pan
DBLP: Pan:Minxue
Contributed to:
Wrote 3 papers:
- CAV-2009-PanBL #named #specification
- TASS: Timing Analyzer of Scenario-Based Specifications (MP, LB, XL), pp. 689–695.
- ASE-2018-TangZPAM0Z #comprehension #execution #named
- Dual-force: understanding WebView malware via cross-language forced execution (ZT, JZ, MP, YA, SM, XZ0, JZ), pp. 714–725.
- ESEC-FSE-2019-LuPZ0L #android #testing
- Preference-wise testing for Android applications (YL, MP, JZ, TZ0, XL), pp. 268–278.