Powered by
33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018),
September 3–7, 2018,
Montpellier, France
Frontmatter
Keynotes
Technical Research Papers
Performance
Testing Studies
Build and Test Automation
Quality Assurance for Machine Learning Techniques
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
Lei Ma,
Felix Juefei-Xu,
Fuyuan Zhang,
Jiyuan Sun,
Minhui Xue,
Bo Li,
Chunyang Chen,
Ting Su,
Li Li,
Yang Liu,
Jianjun Zhao, and
Yadong Wang
(Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia)
Publisher's Version
Variability
Mining and Crowd Sourcing
Security
Developer Tools
Static Analysis
Verification 1
Maintenance and Machine Learning
Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?
Zhongxin Liu,
Xin Xia,
Ahmed E. Hassan,
David Lo,
Zhenchang Xing, and
Xinyu Wang
(Zhejiang University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore; Australian National University, Australia)
Publisher's Version
Improving Automatic Source Code Summarization via Deep Reinforcement Learning
Yao Wan,
Zhou Zhao,
Min Yang,
Guandong Xu,
Haochao Ying,
Jian Wu, and
Philip S. Yu
(Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA)
Publisher's Version
Symbolic Execution
Maintenance
Software Quality
Efficiently Manifesting Asynchronous Programming Errors in Android Apps
Lingling Fan,
Ting Su,
Sen Chen,
Guozhu Meng,
Yang Liu,
Lihua Xu, and
Geguang Pu
(East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China)
Publisher's Version
Architecture and Requirements
Mobile Analysis
Repair
Verification 2
Code Differencing and Merging
Mobile Security
Experience Papers
Experiences Applying Automated Architecture Analysis Tool Suites
Ran Mo,
Will Snipes,
Yuanfang Cai,
Srini Ramaswamy,
Rick Kazman, and
Martin Naedele
(Central China Normal University, China; ABB Corporate Research, USA; Drexel University, USA; ABB, USA; Carnegie Mellon University, USA; University of Hawaii, USA; ABB, Switzerland)
Publisher's Version
New Ideas Papers
Tool Demonstrations
OCELOT: A Search-Based Test-Data Generation Tool for C
Simone Scalabrino,
Giovanni Grano,
Dario Di Nucci,
Michele Guerra,
Andrea De Lucia,
Harald C. Gall, and
Rocco Oliveto
(University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy)
Publisher's Version
ESBMC 5.0: An Industrial-Strength C Model Checker
Mikhail R. Gadelha,
Felipe R. Monteiro,
Jeremy Morse,
Lucas C. Cordeiro,
Bernd Fischer, and
Denis A. Nicole
(University of Southampton, UK; Federal University of Amazonas, Brazil; University of Bristol, UK; University of Manchester, UK; Stellenbosch University, South Africa)
Publisher's Version
Video
Info
Doctoral Symposium
Session 1
Session 2
Session 3
Journal-First Papers
proc time: 29.34