Dong YanGroup ExperienceGraduated 2017MasterPublicationsSearch publicationsVenueAll venuesAPSECCOMPSACSCP3 publicationsClear all filtersNo publications foundClear all filters2018Lightweight energy consumption analysis and prediction for Android applicationsSCP 2018·Yan Hu, Jiwei Yan, Dong Yan, Qiong Lu, Jun YanCite2017Comprehensive Static Analysis for Configurable Software via Combinatorial InstantiationCOMPSAC 2017·Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian ZhangCite2016The Floating-Point Extension of Symbolic Execution Engine for Bug DetectionAPSEC 2016·Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan, Jian ZhangCite