181 citations · 933 across the 61 of their papers we have counts for
11 papers · 1 filter
Black-Box Testing of Deep Neural Networks Through Test Case Diversity
Zohreh Aghababaeyan, Manel Abdellatif, Lionel Briand +2
Deep Neural Networks (DNNs) have been extensively used in many areas including image processing, medical diagnostics, and autonomous driving. However, DNNs can exhibit erroneous be…
Flakify: A Black-Box, Language Model-based Predictor for Flaky Tests
Sakina Fatima, Taher A. Ghaleb, Lionel Briand
Software testing assures that code changes do not adversely affect existing functionality. However, a test case can be flaky, i.e., passing and failing across executions, even for…
Tracing Content Requirements in Financial Documents using Multi-granularity Text Analysis
Xiaochen Li, Domenico Bianculli, Lionel C. Briand
The completeness (in terms of content) of financial documents is a fundamental requirement for investment funds. To ensure completeness, financial regulators have to spend signific…
Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts
Ahmadreza Saboor Yaraghi, Mojtaba Bagherzadeh, Nafiseh Kahani +1
Continuous Integration (CI) requires efficient regression testing to ensure software quality without significantly delaying its CI builds. This warrants the need for techniques to…
Test Case Selection and Prioritization Using Machine Learning: A Systematic Literature Review
Rongqi Pan, Mojtaba Bagherzadeh, Taher A. Ghaleb +1
Regression testing is an essential activity to assure that software code changes do not adversely affect existing functionalities. With the wide adoption of Continuous Integration…
AI-enabled Automation for Completeness Checking of Privacy Policies
Orlando Amaral, Sallam Abualhaija, Damiano Torre +2
Technological advances in information sharing have raised concerns about data protection. Privacy policies contain privacy-related requirements about how the personal data of indiv…
PRINS: Scalable Model Inference for Component-based System Logs
Donghwan Shin, Domenico Bianculli, Lionel Briand
Behavioral software models play a key role in many software engineering tasks; unfortunately, these models either are not available during software development or, if available, qu…
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati +1
In real-time systems, priorities assigned to real-time tasks determine the order of task executions, by relying on an underlying task scheduling policy. Assigning optimal priority…
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati +2
Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component make…
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Fitash Ul Haq, Donghwan Shin, Shiva Nejati +1
We distinguish two general modes of testing for Deep Neural Networks (DNNs): Offline testing where DNNs are tested as individual units based on test datasets obtained without invol…
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
Oscar Cornejo, Fabrizio Pastore, Lionel Briand
On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validati…