Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Events (41 results)

Openings and 5-minute research intro from all attending PC members

Celebration of ASE 2019 When: Mon 11 Nov 2019 09:00 - 10:10

… …

A Hybrid Editor for Fast Robot Mission Prototyping

EXPLAIN 2019 When: Fri 15 Nov 2019 11:30 - 12:00 People: Thomas Witte, Matthias Tichy

… the program is executed to draw the preview, it traces the source locations of all values …

Framework for Trustworthy Software Development

EXPLAIN 2019 When: Fri 15 Nov 2019 14:00 - 14:30 People: Jagadeesh Chandra Bose R P, Kapil Singi, Vikrant Kaulgud, Kanchanjot Kaur Phokela, Sanjay Podder

… cycle and should be addressed across all stages of software development. Trust can …

Systematically Covering Input Structure

Research Papers When: Tue 12 Nov 2019 13:40 - 14:00 People: Nikolas Havrikov, Andreas Zeller

… Grammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary to also cover input features—say, all URL variants for a URL parser. Our k-path algorithm for grammar …

Feature-Interaction Aware Configuration Prioritization for Configurable Code

Research Papers When: Wed 13 Nov 2019 14:40 - 15:00 People: Son Nguyen, Hoan Anh Nguyen, Ngoc Tran, Hieu Tran, Tien N. Nguyen

… Unexpected interactions among features induce most bugs in a configurable software system. Exhaustively analyzing all the exponential number of possible … configurations to be analyzed. Since analyzing all selected configurations can …

VeriAbs : Verification by Abstraction and Test Generation

Demonstrations When: Tue 12 Nov 2019 10:00 - 10:40Wed 13 Nov 2019 15:00 - 15:10 People: Mohammad Afzal, A Asia, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R Venkatesh

… Verification of programs continues to be a challenge and no single technique succeeds on all programs. In this paper we present VeriAbs, a reachability C program verifier that incorporates a portfolio of techniques implemented as four …

An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums

Late Breaking Results When: Wed 13 Nov 2019 15:20 - 16:00 People: Yi Li, Shaohua Wang, Tien N. Nguyen, Son Nguyen, Xinyue Ye, Yan Wang

… of question-answering process. We observe that +60% of the posts on all three forums …

Efficient Test Generation Guided by Field Coverage Criteria

Research Papers When: Tue 12 Nov 2019 11:00 - 11:20 People: Ariel Godio, Valeria Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

… to contain enough test inputs to cover all feasible values for object’s fields within …. Moreover, the restriction of producing all feasible values for inputs’ fields makes … smaller suites using a fraction of the generation time. All this while retaining …

Automated N-way Program Merging for Facilitating Family-Based Analyses of Variant-Rich Software

Journal First Presentations When: Wed 13 Nov 2019 14:00 - 14:20 People: Dennis Reuling, Udo Kelter, Johannes Bürdek, Malte Lochau

… program representation superimposing all program variants in a syntactically …. In addition, our results show that merging all N variants at once produces, in almost all cases, clearly more precise results than incremental step-wise 2-way …

PeASS: A Tool for Identifying Performance Changes at Code Level

Demonstrations When: Thu 14 Nov 2019 10:00 - 10:40Wed 13 Nov 2019 17:20 - 17:30 People: David Georg Reichelt, Stefan Kühne, Wilhelm Hasselbring

… on a selection of Apache Commons projects and show that 81% of all unit test …

An Image-inspired and CNN-based Android Malware Detection Approach

Student Research Competition When: Tue 12 Nov 2019 15:20 - 16:00Wed 13 Nov 2019 11:10 - 11:25 People: Shao Yang

… -engineering techniques, it is harder to detect all kinds of malware. To address …

Predicting Licenses for Changed Source Code

Research Papers When: Wed 13 Nov 2019 16:00 - 16:20 People: Xiaoyu Liu, Liguo Huang, Jidong Ge, Vincent Ng

… % in micro F1-score) but also high accuracies across all license types. …

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs

Demonstrations When: Tue 12 Nov 2019 10:00 - 10:40Wed 13 Nov 2019 12:00 - 12:10 People: Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang

… our tool can detect all these errors. And we also found 521 bugs among 8 open …

Property Inference for Deep Neural Networks

Research Papers When: Thu 14 Nov 2019 11:20 - 11:40 People: Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly

… We present techniques for automatically inferring formal properties of feed-forward neural networks. We observe that a significant part (if not all) of the logic of feed forward networks is captured in the activation status (on or off …

DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks

Demonstrations When: Tue 12 Nov 2019 10:00 - 10:40Thu 14 Nov 2019 12:10 - 12:20 People: Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

… mutation strategies, and testing criteria customized to DNN testing; all

Rule-based specification mining leveraging learning to rank

Journal First Presentations When: Thu 14 Nov 2019 14:40 - 15:00 People: Zherui Cao, Yuan Tian, Tien-Duy B. Le, David Lo

… work by exploring the search space of all possible rules and use interestingness …

Statistical Log Differencing

Research Papers When: Thu 14 Nov 2019 13:40 - 14:00 People: Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz

… and the statistical significance value, and report only (and all

DaPanda: Detecting Aggressive Push Notification in Android Apps

Research Papers When: Tue 12 Nov 2019 11:20 - 11:40 People: Tianming Liu, Haoyu Wang, Li Li, Guangdong Bai, Yao Guo, Guoai Xu

… Mobile push notification is widely used in mobile platforms to deliver all sorts of information to app users. Although it offers great convenience for both app … all the notification-relevant runtime information for flagging aggressive ones …

PTracer: A Linux Kernel Patch Trace Bot

Industry Showcase When: Wed 13 Nov 2019 14:40 - 15:00 People: Yang Wen, Jicheng Cao, Shengyu Cheng

… PatchNet demonstrates a promising prospect of using machine learning to classify Linux kernel patches. It identifies bug-fixing patches, which should be back ported to long-term stable versions, from all patches in the mainline Linux …

TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis

Demonstrations When: Wed 13 Nov 2019 10:00 - 10:40Thu 14 Nov 2019 15:00 - 15:10 People: Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun

… analysis tools utilizing pointer analysis, considering all dimensions …

Model checking embedded control software using OS-in-the-loop CEGAR

Research Papers When: Wed 13 Nov 2019 14:20 - 14:40 People: Dongwoo Kim, Yunja Choi

… . It automatically removed all false alarms and accomplished property checking within …

Fine-grain memory object representation in symbolic execution

Research Papers When: Thu 14 Nov 2019 14:00 - 14:20 People: Martin Nowack

… to evaluate all possible execution paths of an application, and for every path …

Automatic Detection and Update Suggestion for Outdated API Names in Documentation

Journal First Presentations When: Wed 13 Nov 2019 17:20 - 17:40 People: Seonah Lee, Rongxin Wu, Shing-Chi Cheung, Sungwon Kang

… Application programming interfaces (APIs) continually evolve to meet ever-changing user needs, and documentation provides an authoritative reference for their usage. However, API documentation is commonly outdated because nearly all

Mutation Analysis for Coq

Research Papers When: Wed 13 Nov 2019 13:40 - 14:00 People: Ahmet Celik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric

… in Coq itself, all acknowledged by developers. We believe mCoq can be useful …

Developer Reputation Estimator (DRE)

Demonstrations When: Thu 14 Nov 2019 10:00 - 10:40Tue 12 Nov 2019 15:00 - 15:10 People: Sadika Amreen, Andrey Karnauch, Audris Mockus

… aim to remedy this by amalgamating data from all public Git repositories …

A Study of Oracle Approximations in Testing Deep Learning Libraries

Research Papers When: Thu 14 Nov 2019 11:00 - 11:20 People: Mahdi Nejadgholi, Jinqiu Yang

… approximation assertions are a significant portion among all the assertions in the test …

MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes

Research Papers When: Thu 14 Nov 2019 10:40 - 11:00 People: Zan Wang, Yingquan Zhao, Shuang Liu, Jun Sun, Xiang Chen, Huarui Lin

… and thus it is desirable to comprehensively cover all memory-access patterns …

RefBot: Intelligent Software Refactoring Bot

Research Papers When: Thu 14 Nov 2019 10:40 - 11:00 People: Vahid Alizadeh, Mohamed Amine Ouali, Marouane Kessentini, Meriem Chater

… . The bot recommends all these refactorings through an automatically generated pull …

Accurate Modeling of Performance Histories for Evolving Software Systems

Research Papers When: Wed 13 Nov 2019 16:00 - 16:20 People: Stefan Mühlbauer, Sven Apel, Norbert Siegmund

… by approximating the performance behavior of a software system across all of its …

Software Microbenchmarking in the Cloud. How Bad is it Really?

Journal First Presentations When: Wed 13 Nov 2019 11:20 - 11:40 People: Christoph Laaber, Joel Scheuner, Philipp Leitner

… performance changes and minimal-detectable slowdowns along two dimensions in all …, an increase in samples yields a low number of false positives (i.e., <5%) for all

Are Free Android App Security Analysis Tools Effective in Detecting Known Vulnerabilities?

Journal First Presentations When: Tue 12 Nov 2019 17:00 - 17:20 People: Venkatesh-Prasad Ranganath, Joydeep Mitra

… in their ability to detect known vulnerabilities — all of the evaluated tools …

Learning test traces

Late Breaking Results When: Wed 13 Nov 2019 15:20 - 16:00 People: Eyal Hadad, Roni Stern

… of the software components or compressing the trace on-the-fly. However, all these approaches …

SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-based Analysis of Variant-Rich Software

Demonstrations When: Tue 12 Nov 2019 10:00 - 10:40Wed 13 Nov 2019 15:10 - 15:20 People: Dennis Reuling, Udo Kelter, Sebastian Ruland, Malte Lochau

… superimposing all program variants in a syntactically well-formed, semantically sound …

Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular Expressions

Research Papers When: Wed 13 Nov 2019 10:40 - 11:00 People: Louis G. Michael IV, James Donohue, James C. Davis, Dongyoon Lee, Francisco Servant

… Regular expressions (regexes) are a powerful mechanism for solving string-matching problems. They are supported by all modern programming languages, and have been estimated to appear in more than a third of Python and JavaScript projects …

Re-factoring based Program Repair applied to Programming Assignments

Research Papers When: Wed 13 Nov 2019 11:00 - 11:20 People: Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury

… student program repairs in real-time. This is achieved by first re-factoring all

Lightweight Assessment of Test-Case Effectiveness using Source-Code-Quality Indicators

Journal First Presentations When: Tue 12 Nov 2019 17:00 - 17:20 People: Giovanni Grano, Fabio Palomba, Harald Gall

… Test cases are crucial to help developers preventing the introduction of software faults. Unfortunately, not all the tests are properly designed or can effectively capture faults in production code. Some measures have been defined …

Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis

Research Papers When: Tue 12 Nov 2019 16:00 - 16:20 People: Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue

… to the traditional IFDS algorithm. Instead of propagating the data-flow facts across all

What is Wrong with Topic Modeling? (and How to Fix it Using Search-based Software Engineering)

Journal First Presentations When: Thu 14 Nov 2019 16:00 - 16:20 People: Amritanshu Agrawal, Wei Fu, Tim Menzies

… stability and text mining classification accuracy.

Results In all treatments …

CLCDSA: Cross Language Code Clone Detection using Syntactical Features and API Documentation

Research Papers When: Thu 14 Nov 2019 16:40 - 17:00 People: Kawser Nafi, Tonny Shekha Kar, Banani Roy, Chanchal K. Roy, Kevin Schneider

… outperformed all the available models in detecting cross language clones. …

Characterizing Android App Signing Issues

Research Papers When: Tue 12 Nov 2019 16:20 - 16:40 People: Haoyu Wang, Hongxuan Liu, Xusheng Xiao, Guozhu Meng, Yao Guo

… In the app releasing process, Android requires all apps to be digitally signed with a certificate before distribution. Android uses this certificate to identify the author and ensure the integrity of an app. However, a number of signature …

Understanding Exception-Related Bugs in Large-Scale Cloud Systems

Research Papers When: Wed 13 Nov 2019 10:40 - 11:00 People: Haicheng Chen, Wensheng Dou, Yanyan Jiang, Feng Qin

… , including Cassandra, HBase, HDFS, Hadoop MapReduce, YARN, and ZooKeeper. For all