Lingjun Liu

I am a Full-time PhD student at North Carolina State University (NCSU). My research interests are software testing, fault diagnosis, software reliability, cyber-physical systems, and safety-critical systems.

       

Work Experience

2021 - 2022, 2023 - 2024 KAIST
Full-time Researcher
Advisor: Eunkyoung Jee

2022 - 2023 SureSoft Technologies Inc.
Associate Research Engineer
Test Automatic Lab


Education

2024 - Now NCSU
PhD in Computer Science
Advisor: Marcelo d'Amorim

2019 - 2021 KAIST
M.S. in School of Computing
Advisor: Doo-Hwan Bae

2018 - 2019 KAIST
Exchange Master Program in School of Computing

2014 - 2019 National Tsing Hua University (NTHU)
B.S. in Computer Science


Awards

2021 Best Artifact Award
International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

2020 Outstanding Short Paper Award
Korea Conference on Software Engineering (KCSE)


Publications

MuFBDTester: A mutationā€based test sequence generator for FBD programs implementing nuclear power plant software
Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae
Software Testing, Verification and Reliability (STVR), 2022
Paper / Code

An Empirical Study of Reliability Analysis for Platooning System-of-Systems
Sangwon Hyun, Lingjun Liu, Hansu Kim, Esther Cho, and Doo-Hwan Bae ,
International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021
Paper

Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems
Zelalem Mihret and Lingjun Liu
International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS), 2021
Paper

Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems
Yong-Jun Shin, Lingjun Liu, Sangwon Hyun, and Doo-Hwan Bae
International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021
Paper / Code

MuGenFBD: Automated Mutant Generator for Function Block Diagram Program
Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae
KIPS Transactions on Software and Data Engineering (KTSDE), 2021
Paper

A Systematic Translation from PAT-based Counterexamples to Viable Test Cases
Zelalem Mihret, Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae
Korea Conference on Software Engineering (KCSE), 2021
Paper

Analysis of coupling effect hypothesis for function block diagram programs
Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae
Korea Software Congress (KSC), 2020
Paper

Automated mutant generation for function block diagram programs
Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae
Korea Conference on Software Engineering (KCSE), 2020
Paper


Template from Jon Barron