4 citations · 7 across the 4 of their papers we have counts for
6 papers
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…
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…