Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 10:20 - 10:25 at Koala - LBR + DS Poster (1) Chair(s): Kevin Lee

Symbolic execution is still facing the scalability problem caused by path explosion and constraint solving overhead. The recently proposed MuSE framework supports exploring multiple paths by generating partial solutions in one time of solving. In this work, we improve MuSE from two aspects. Firstly, we use a light-weight check to reduce redundant partial solutions, avoiding the wasteful executions having the same results. Secondly, we introduce online learning to devise an adaptive search strategy for the target programs. The preliminary experimental results indicate the promising of the proposed methods.

Tue 22 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

10:20 - 11:20: LBR + DS Poster (1)Late Breaking Results / Doctoral Symposium at Koala
Chair(s): Kevin LeeDeakin University
10:20 - 10:25
Poster
Late Breaking Results
Tianqi ZhangNational University of Defense Technology, Yufeng ZhangCollege of Information Science and Engineering, Hunan University, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Ziqi ShuaiNational University of Defense Technology, Ji WangNational University of Defense Technology
10:25 - 10:30
Poster
Late Breaking Results
Meixi LiuNational University of Defense Technology, Changsha, China, Weijiang HongNational University of Defense Technology, Changsha, China, Weiyu PanNational University of Defense Technology, Changsha, China, Chendong FengCollege of Computer, National University of Defense Technology, Changsha, China, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Ji WangNational University of Defense Technology
10:30 - 10:35
Poster
Late Breaking Results
Zehua ChenNational University of Defense Technology, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Ziqi ShuaiNational University of Defense Technology, Yufeng ZhangCollege of Information Science and Engineering, Hunan University, Weiyu PanNational University of Defense Technology, Changsha, China
10:35 - 10:40
Poster
Late Breaking Results
Zach Wei WangThe University of Adelaide, Ruoxi SunThe University of Adelaide, Jason Minhui XueThe University of Adelaide, Damith C. RanasingheThe University of Adelaide
DOI
10:40 - 10:45
Poster
Late Breaking Results
Daohan SongShanghai Jiao Tong University, Hao ZhongShanghai Jiao Tong University, Li JiaShanghai Jiao Tong University
10:45 - 10:50
Poster
Late Breaking Results
Han GaoSchool of Computer Science and Technology, Anhui University, Yi XuSchool of Computer Science and Technology, Anhui University, Xiao LiuSchool of Information Technology, Deakin University, Jia XuSchool of Computer Science and Technology, Anhui University, Tianxiang ChenSchool of Computer Science and Technology, Anhui University, Bowen ZhouSchool of Computer Science and Technology, Anhui University, Rui LiSchool of Information Technology, Deakin University, Xuejun LiSchool of Computer Science and Technology, Anhui University
10:50 - 10:55
Poster
Late Breaking Results
Rohit MehraAccenture Labs, India, Vibhu Saujanya SharmaAccenture Labs, Bangalore, India, Vikrant KaulgudAccenture Labs, India, Sanjay PodderAccenture, Adam P. BurdenAccenture
10:55 - 11:00
Poster
Late Breaking Results
Xuansong LiSchool of Computer Science and Engineering, Nanjing University of Science and Technology, Wei SongSchool of Computer Science and Engineering, Nanjing University of Science and Technology, Xiangyu ZhangPurdue University, USA
11:00 - 11:05
Talk
Doctoral Symposium
Hala AbdelkaderApplied Artificial Intelligence Institute, Deakin University
11:05 - 11:10
Talk
Doctoral Symposium
Anjana PereraMonash University
DOI Pre-print