Publications

SA4U: Practical Static Analysis for Unit Type Error Detection

Published in 37th IEEE/ACM International Conference on Automated Software Engineering (ASE ’22), 2022

This paper describes SA4U, a tool for detecting unit type errors in C++ programs.

Recommended citation: Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, and Xiangyu Zhang. 2022. SA4U: Practical Static Analysis for Unit Type Error Detection. In 37th IEEE/ACM International Conference on Automated Software Engineering (ASE ’22), October 10–14, 2022, Rochester, MI, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3551349.3556937 /files/sa4u.pdf

Avis: In-Situ Model Checking for Unmanned Aerial Vehicles

Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021

This paper describes Avis, an in-situ model checker for UAS firmware.

Recommended citation: M. Taylor, H. Chen, F. Qin and C. Stewart, "Avis: In-Situ Model Checking for Unmanned Aerial Vehicles," 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021, pp. 471-483, doi: 10.1109/DSN48987.2021.00057. https://arxiv.org/abs/2106.14959

A Study on Software Bugs in Unmanned Aerial Systems

Published in 2021 International Conference on Unmanned Aircraft Systems (ICUAS), 2021

This paper studies over 200 previously reported bugs in UAS control firmware.

Recommended citation: M. Taylor, J. Boubin, H. Chen, C. Stewart and F. Qin, "A Study on Software Bugs in Unmanned Aircraft Systems," 2021 International Conference on Unmanned Aircraft Systems (ICUAS), 2021, pp. 1439-1448, doi: 10.1109/ICUAS51884.2021.9476844. https://www.researchgate.net/publication/351607363_A_Study_on_Software_Bugs_in_Unmanned_Aircraft_Systems