| 2020 | EARNEST: A challenge-based intrusion prevention system for CAN messages. | Gianpiero Costantino, Ilaria Matteucci, Domenico Morales |
| 2020 | Modelling Machine Learning Components for Mapping and Scheduling of AUTOSAR Runnables. | Milan Copic, Rainer Leupers, Gerd Ascheid |
| 2020 | Probabilistic Symbolic Analysis of Neural Networks. | Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu |
| 2020 | LogTransfer: Cross-System Log Anomaly Detection for Software Systems with Transfer Learning. | Rui Chen, Shenglin Zhang, Dongwen Li, Yuzhe Zhang, Fangrui Guo, Weibin Meng, Dan Pei, Yuzhi Zhang, Xu Chen, Yuqing Liu |
| 2020 | Automated Tool for Revising Masking MC/DC Test Suite. | Zhenxiang Chen, Hironori Washizaki, Yoshiaki Fukazawa |
| 2020 | TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications. | Zitao Chen, Niranjhana Narayanan, Bo Fang, Guanpeng Li, Karthik Pattabiraman, Nathan DeBardeleben |
| 2020 | An improved fuzzing approach based on adaptive random testing. | Jinfu Chen, Jingyi Chen, Dong Guo, Dave Towey |
| 2020 | Migrating Large Deep Learning Models to Serverless Architecture. | Dheeraj Chahal, Ravi Ojha, Manju Ramesh, Rekha Singhal |
| 2020 | Evaluation of RESTful frameworks under soft errors. | Frederico Cerveira, Rui Andr Oliveira, Raul Barbosa, Henrique Madeira |
| 2020 | Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. | Carmen Crlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar |
| 2020 | Fault Injection to Generate Failure Data for Failure Prediction: A Case Study. | Joo R. Campos, Ernesto Costa |
| 2020 | Domain Metric Driven Decomposition of Data-Intensive Applications. | Matteo Camilli, Carmine Colarusso, Barbara Russo, Eugenio Zimeo |
| 2020 | AHPCap: A Framework for Automated Hardware Profiling and Capture of Mobile Application States. | Rodger William Byrd, Taniza Sultana, Kristen R. Walcott |
| 2020 | Towards Declarative Decentralised Application Management in the Fog. | Antonio Brogi, Stefano Forti, Carlos Guerrero, Isaac Lera |
| 2020 | Similarity Calculation of Executable Using Intel Pin Instrumentation Framework. | Madhuparna Bhowmik, Nara Madhumitha, Biju R. Mohan |
| 2020 | Standing on the Shoulders of Software Product Line Research for Testing Systems of Systems. | Antonia Bertolino, Francesca Lonetti, Vnia de Oliveira Neves |
| 2020 | A Process to Support Safety Analysis for a System-of-Systems. | Stephan Baumgart, Joakim Frberg, Sasikumar Punnekkat |
| 2020 | Generating test cases to evaluate and improve processes of safety-critical systems development. | Lilian Barros, Celso M. Hirata, Johnny Cardoso Marques, Ana Maria Ambrosio |
| 2020 | RSX: Reproduction Scenario Extraction Technique for Business Application Workloads in DBMS. | Seunghwan Baek, Jisoo Song, Changyun Seo |
| 2020 | QoS-aware Metamorphic Testing: An Elevation Case Study. | Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, Maite Arratibel |
| 2020 | Chapter 8: Software Aging Monitoring and Rejuvenation for the Assessment of High Availability Systems - Extended Abstract. | Alberto Avritzer, Michael Grottke, Daniel Sadoc Menasch |
| 2020 | Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract. | Alberto Avritzer, Domenico Cotroneo, Yennun Huang, Kishor S. Trivedi |
| 2020 | FSCS-SIMD: An efficient implementation of Fixed-Size-Candidate-Set adaptive random testing using SIMD instructions. | Muhammad Ashfaq, Rubing Huang, Michael Omari |
| 2020 | A Human Error Based Approach to Understanding Programmer-Induced Software Vulnerabilities. | Vaibhav K. Anu, Kazi Zakia Sultana, Bharath K. Samanthula |
| 2020 | Software Aging in Image Classification Systems on Cloud and Edge. | Ermeson C. Andrade, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo |