12 citations · 18 across the 6 of their papers we have counts for
6 papers
Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
Jaekwon Lee, Fabrizio Pastore, Lionel Briand
Mutation testing can help minimize the delivery of faulty software. Therefore, it is a recommended practice for developing embedded software in safety-critical cyber-physical syste…
MOTIF: A tool for Mutation Testing with Fuzzing
Jaekwon Lee, Enrico Viganò, Fabrizio Pastore +1
Mutation testing consists of generating test cases that detect faults injected into software (generating mutants) which its original test suite could not. By running such an augmen…
Fuzzing for CPS Mutation Testing
Jaekwon Lee, Enrico Viganò, Oscar Cornejo +2
Mutation testing can help reduce the risks of releasing faulty software. For such reason, it is a desired practice for the development of embedded software running in safety-critic…
Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages
Jaekwon Lee, Seung Yeob Shin, Lionel Briand +1
Weakly hard real-time systems can, to some degree, tolerate deadline misses, but their schedulability still needs to be analyzed to ensure their quality of service. Such analysis u…
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…
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…