Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems Permalink
Yong-Jun Shin, Lingjun Liu, Sangwon Hyun, Doo-Hwan Bae
Published at: International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021
[paper] [code]
Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems Permalink
Zelalem Mihret, Lingjun Liu
Published at: International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS), 2021
[paper]
An Empirical Study of Reliability Analysis for Platooning System-of-Systems Permalink
Sangwon Hyun, Lingjun Liu, Hansu Kim, Esther Cho, Doo-Hwan Bae
Published at: International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021
[paper]
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software Permalink
Lingjun Liu, Eunkyoung Jee, Doo‐Hwan Bae
Published at: Software Testing, Verification and Reliability, 2022
[paper] [code]
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs Permalink
Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta, Miren Illarramendi Rezabal
Published at: International Symposium on Software Reliability Engineering (ISSRE), 2023
[paper]
Bug Histories as Sources of Compiler Fuzzing Mutators Permalink
Lingjun Liu, Feiran Qin, Owolabi Legunsen, Marcelo d'Amorim
Published at: Under Review, 2025
[arXiv]
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.