57 citations · 84 across the 9 of their papers we have counts for
9 papers
Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems
Fitash Ul Haq, Donghwan Shin, Lionel Briand
Deep Neural Networks (DNNs) have been widely used to perform real-world tasks in cyber-physical systems such as Autonomous Driving Systems (ADS). Ensuring the correct behavior of s…
Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification
Yong-Jun Shin, Donghwan Shin, Doo-Hwan Bae
Cyber-Physical Systems (CPS) continuously interact with their physical environments through software controllers that observe the environments and determine actions. Engineers can…
Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators
Markus Borg, Raja Ben Abdessalem, Shiva Nejati +2
The increasing levels of software- and data-intensive driving automation call for an evolution of automotive software testing. As a recommended practice of the Verification and Val…
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…
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…
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Fitash Ul Haq, Donghwan Shin, Shiva Nejati +1
There is a growing body of research on developing testing techniques for Deep Neural Networks (DNN). We distinguish two general modes of testing for DNNs: Offline testing where DNN…
Scalable Inference of System-level Models from Component Logs
Donghwan Shin, Salma Messaoudi, Domenico Bianculli +3
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, th…
Empirical Evaluation of Mutation-based Test Prioritization Techniques
Donghwan Shin, Shin Yoo, Mike Papadakis +1
We propose a new test case prioritization technique that combines both mutation-based and diversity-based approaches. Our diversity-aware mutation-based technique relies on the not…
A Theoretical Framework for Understanding Mutation-Based Testing Methods
Donghwan Shin, Doo-Hwan Bae
In the field of mutation analysis, mutation is the systematic generation of mutated programs (i.e., mutants) from an original program. The concept of mutation has been widely appli…