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

The development of complex and dependable systems like autonomous vehicles relies increasingly on the use of systems modeling language (SysML). In fact, SysML has become a de facto standard for systems engineering. With model-driven engineering, a SysML model serves as a reference for the early defect detection of the system under design: the earlier the errors are detected, the less is the cost of handling the errors. Mutation testing is a fault-based technique that has recently seen its applications to SysML behavioral models (e.g., state machine diagrams). Specifically, a system’s state-transition design can be fed to a model checker where mutants are automatically generated and then killed against the desired design specifications (e.g., safety properties). In this paper, we present a novel approach based on process mining to improve the effectiveness and efficiency of the SysML mutation testing based on model checking. In our approach, the mutation operators are applied directly to the state machine diagram. These mutants are then fed as traces into a process mining tool and checked according to the event logs. Our initial results indicates that the process mining approach kills more mutants faster than the model checking method.

Wed 13 Nov

ase-2019-Late-Breaking-Results
15:20 - 16:00: Late Breaking Results - Poster Session: Late Breaking Results at Kensington Ballroom
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Recommendation of Exception Handling Code in Mobile App Development Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
LVMapper: A Large-variance Clone Detector Using Sequencing Alignment Approach
Ming Wu, Pengcheng WangUniversity of Science and Technology of China, Kangqi Yin, Haoyu Cheng, Yun XuUniversity of Science and Technology of China, Chanchal K. RoyUniversity of Saskatchewan
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums
Yi LiNanyang Technological University, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas, Xinyue Ye, Yan Wang
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Testing Neural Programs
Md Rafiqul Islam RabinUniversity of Houston, Ke WangVisa Research, Mohammad Amin Alipour
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Self Learning from Large Scale Code Corpus to Infer Structure of Method Invocations Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Data Sanity Check for Deep Learning Systems via Learnt Assertions
Haochuan LuFudan University, Huanlin Xu, Nana Liu, Yangfan ZhouFudan University, Xin Wang
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Software Engineering for Fairness: A Case Study with Hyperparameter Optimization
Joymallya ChakrabortyNorth Carolina State University, Tianpei Xia, Fahmid M. Fahid, Tim MenziesNorth Carolina State University
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
API Misuse Correction: A Statistical Approach Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Should We Add Repair Time to an Unfixed Bug? An Exploratory Study of Automated Program Repair on 2980 Small-Scale Programs Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Learning test traces Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
The Dynamics of Software Composition Analysis Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
A Process Mining based Approach to Improving Defect Detection of SysML Models.
Mounifah Alenazi, Nan NiuUniversity of Cincinnati, Juha SavolainenDanfoss
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Open-Source Projects and their Collaborative Development Workflows
panuchart bunyakiatikasetsart university, Usa Sammapunkasetsart university
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Detecting Deep Neural Network Defects with Data Flow Analysis
Jiazhen Gu, Huanlin Xu, Yangfan ZhouFudan University, Xin Wang, Hui Xu, Michael LyuThe Chinese University of Hong Kong
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
On building an automated responding system for app reviews: What are the characteristics of reviews and their responses? Pre-print