Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Mon 15 Nov 2021 19:00 - 19:15 at Wombat - DS Session 3
Wed 17 Nov 2021 20:24 - 20:26 at Kangaroo - LBR + DS Poster (1) (Wed 07:00 - 10:00) Chair(s): Maria Spichkova

Unmanned aerial systems (UAS) have a large number of applications in civil and military domains. UAS rely on various avionics systems that are safety-critical and mission-critical. A major requirement of international safety standards is to perform rigorous system-level testing of avionics systems, including software systems. The current industrial practice is to manually create test scenarios, manually or automatically execute these scenarios using simulators, and manual evaluation of the outcomes. A fundamental part of system-level testing of such systems is the simulation of environmental context. The test scenarios typically consist of setting certain environment conditions and testing the system under test in these settings. The state-of-the-art approaches available for this purpose also require manual test scenario development and manual test evaluation. In this research work, we propose an approach to automate the system-level testing of the UAS. The proposed approach (AITester) utilizes model-based testing and artificial intelligence (AI) techniques to automatically generate, execute, and evaluate various test scenarios. The test scenarios are generated on the fly, i.e., during test execution based on the environmental context at runtime. We develop a toolset to support automation. We perform a pilot experiment using a widely-used open-source autopilot, ArduPilot. The preliminary results show that the AITester is effective and efficient in violating environmental conditions.

Paper preprint (UAST-ASE21-Hassan.pdf)527KiB

Hassan Sartaj is an Assistant Professor at National University of Computer and Emerging Sciences, Islamabad, Pakistan. In 2021, he received Ph.D. in Software Engineering. He is a member of the IEEE Computer Society. He is also Chapter Treasurer of the IEEE Islamabad Chapter (C16).

Mon 15 Nov

Displayed time zone: Hobart change

18:30 - 20:00
DS Session 3Doctoral Symposium at Wombat
18:30
15m
Talk
Opening 2nd part DS
Doctoral Symposium
Barbora Buhnova Masaryk University
18:45
15m
Talk
Effectively Analyzing Evolving Software with Differential Facts
Doctoral Symposium
Xiuheng Wu Nanyang Technological University
File Attached
19:00
15m
Talk
Automated Approach for System-level Testing of Unmanned Aerial Systems
Doctoral Symposium
Hassan Sartaj National University of Computer and Emerging Sciences, Islamabad, Pakistan
File Attached
19:15
15m
Talk
Cross-Lingual Transfer Learning Framework for Program Analysis
Doctoral Symposium
Zhiming Li Nanyang Technological University, Singapore
19:30
15m
Talk
Fuzzing Methods Recommendation Based on Feature Vectors
Doctoral Symposium
Chi Zhang Jiangsu University
File Attached
19:45
15m
Other
Discussion with presenters
Doctoral Symposium

Wed 17 Nov

Displayed time zone: Hobart change

20:00 - 21:00
LBR + DS Poster (1) (Wed 07:00 - 10:00)Doctoral Symposium / Late Breaking Results at Kangaroo
Chair(s): Maria Spichkova RMIT University, Australia
20:00
2m
Talk
Time-Aware Coverage Criteria for Testing of AI-Enabled Hybrid Control Systems
Late Breaking Results
Zhenya Zhang Kyushu University, Deyun Lyu Kyushu university, Paolo Arcaini National Institute of Informatics , Lei Ma University of Alberta, Ichiro Hasuo National Institute of Informatics, Japan, Jianjun Zhao Kyushu University
20:02
2m
Talk
Metamorphic Testing on Multi-module UAV Systems
Late Breaking Results
Rui Li Swinburne University of Technology, Huai Liu Swinburne University of Technology, Guannan Lou Macquarie University, Xi Zheng Macquarie University, Xiao Liu School of Information Technology, Deakin University, Tsong Yueh Chen Swinburne University of Technology
20:04
2m
Talk
Quality analysis of mobile applications with special focus on security aspects
Doctoral Symposium
Kristiina Rahkema University of Tartu
Pre-print
20:06
2m
Talk
Semi-automated Cross-Component Issue Management and Impact Analysis
Doctoral Symposium
Sandro Speth Institute of Software Engineering, University of Stuttgart
File Attached
20:08
2m
Talk
Cross-Lingual Transfer Learning Framework for Program Analysis
Doctoral Symposium
Zhiming Li Nanyang Technological University, Singapore
20:10
2m
Talk
Decoupling Server and Client Code Through Cloud-Native Domain-Specific Functions
Late Breaking Results
José Miguel Pérez-Álvarez NAVER LABS Europe, Adrian Mos NAVER LABS Europe, Benjamin V. Hanrahan Pennsylvania State University, Iyadunni J. Adenuga Pennsylvania State University
20:12
2m
Talk
Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions
Doctoral Symposium
Martin Gruber BMW Group, University of Passau
File Attached
20:14
2m
Talk
Effectively Analyzing Evolving Software with Differential Facts
Doctoral Symposium
Xiuheng Wu Nanyang Technological University
File Attached
20:16
2m
Talk
Automatically Annotating Sentences for Task-specific Bug Report Summarization
Late Breaking Results
Akalanka Galappaththi University of Alberta, John Anvik University of Lethbridge, Rafat Bin Islam University of Lethbridge
20:18
2m
Talk
Genetic Optimisation of C++ Applications
Late Breaking Results
Rafail Giavrimis Turing Intelligence Technology, Alexis Butler Turing Intelligence Technology, Constantin Cezar Petrescu University of Surrey, Michail Basios Turing Intelligence Technology, Santanu Dash University of Surrey, UK
20:20
2m
Talk
Revisiting Textual Feature of Bug-Triage Approach
Late Breaking Results
Zexuan Li Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University
20:22
2m
Talk
Training Automated Test Oracles to Identify Semantic Bugs
Doctoral Symposium
Charaka Geethal Monash University
File Attached
20:24
2m
Talk
Automated Approach for System-level Testing of Unmanned Aerial Systems
Doctoral Symposium
Hassan Sartaj National University of Computer and Emerging Sciences, Islamabad, Pakistan
File Attached
20:26
2m
Talk
How can Subgroup Discovery help AIOps?
Doctoral Symposium
Youcef REMIL INSA Lyon, INFOLOGIC, Anes Bendimerad Infologic, Mehdi Kaytoue INFOLOGIC, Jean-François Boulicaut INSA Lyon
Pre-print
20:28
2m
Talk
Gas Estimation and Optimization for Smart Contracts on Ethereum
Doctoral Symposium
Chunmiao Li National Institute of Informatics
Pre-print
20:30
2m
Talk
Fuzzing Methods Recommendation Based on Feature Vectors
Doctoral Symposium
Chi Zhang Jiangsu University
File Attached