181 citations · 933 across the 61 of their papers we have counts for
10 papers · 1 filter
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand +2
Automatically detecting the positions of key-points (e.g., facial key-points or finger key-points) in an image is an essential problem in many applications, such as driver's gaze d…
Automated, Cost-effective, and Update-driven App Testing
Chanh Duc Ngo, Fabrizio Pastore, Lionel Briand
Apps' pervasive role in our society led to the definition of test automation approaches to ensure their dependability. However, state-of-the-art approaches tend to generate large n…
Reinforcement Learning for Test Case Prioritization
Mojtaba Bagherzadeh, Nafiseh Kahani, Lionel Briand
Continuous Integration (CI) significantly reduces integration problems, speeds up development time, and shortens release time. However, it also introduces new challenges for qualit…
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Claudio Menghi, Enrico Viganò, Domenico Bianculli +1
Cyber-physical systems combine software and physical components. Specification-driven trace-checking tools for CPS usually provide users with a specification language to express th…
Model Driven Engineering for Data Protection and Privacy: Application and Experience with GDPR
Damiano Torre, Mauricio Alferez, Ghanem Soltana +2
In Europe and indeed worldwide, the General Data Protection Regulation (GDPR) provides protection to individuals regarding their personal data in the face of new technological deve…
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati +2
Estimating worst-case execution times (WCET) is an important activity at early design stages of real-time systems. Based on WCET estimates, engineers make design and implementation…
On Systematically Building a Controlled Natural Language for Functional Requirements
Alvaro Veizaga, Mauricio Alferez, Damiano Torre +2
[Context] Natural language (NL) is pervasive in software requirements specifications (SRSs). However, despite its popularity and widespread use, NL is highly prone to quality issue…
Effective Removal of Operational Log Messages: an Application to Model Inference
Donghwan Shin, Domenico Bianculli, Lionel Briand
Model inference aims to extract accurate models from the execution logs of software systems. However, in reality, logs may contain some "noise" that could deteriorate the performan…
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning
Hazem Fahmy, Fabrizio Pastore, Mojtaba Bagherzadeh +1
Deep neural networks (DNNs) are increasingly important in safety-critical systems, for example in their perception layer to analyze images. Unfortunately, there is a lack of method…
An Automated Framework for the Extraction of Semantic Legal Metadata from Legal Texts
Amin Sleimi, Nicolas Sannier, Mehrdad Sabetzadeh +3
Semantic legal metadata provides information that helps with understanding and interpreting legal provisions. Such metadata is therefore important for the systematic analysis of le…