Liqi Tang

Félix Yvonnet

Nguyễn Gia Phong

Khamit Askar

Eui Bin Bae

Md. Mazba Ur Rahman

LOFT (Lab of Software) at UNIST develops autonomous techniques that continuously monitor and address issues within software as they arise. This requires us to develop techniques that can automatically detect bugs in software, fix them automatically, and verify the correctness of the fixed software. At LOFT, we are at the forefront of advancing these techniques to ensure that AI-written software serves humanity, rather than controlling it.

Computer Security Programming Languages Software Engineering

SymRadar: PoC-Centered Bounded Verification for Vulnerability Repairs

Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries

Proactive Debugging of Memory Leakage Bugs in Single Page Web Applications

Enhancing the Efficiency of Automated Program Repair via Greybox Analysis

Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-call Bugs

Poracle: Testing Patches Under Preservation Conditions to Combat the Overfitting Problem of Program Repair

LeakPair: Proactive Repairing of Memory Leaks in Single Page Web Applications

BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++

Automated Program Repair from Fuzzing Perspective

Verifix: Verified Repair of Programming Assignments

Speeding up Constraint-Based Program Repair Using a Search-Based Technique

A Correlation Study Between Automated Program Repair and Test-Suite Metrics

A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments

Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis

DirectFix: Looking for Simple Program Repairs

Software Change Contracts

Expressing and Checking Intended Changes via Software Change Contracts

Past Expression: Encapsulating Pre-states at Post-conditions by Means of AOP

Filtering False Alarms of Buffer Overflow Analysis Using SMT Solvers

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems

Angelix: Scalable multiline program patch synthesis via symbolic analysis

Directfix: Looking for simple program repairs

Codeflaws: a programming competition benchmark for evaluating automated program repair tools

A feasibility study of using automated program repair for introductory programming assignments

Bogor/kiasan: A k-bounded symbolic execution for checking strong heap properties of open systems

A Correlation Study between Automated Program Repair and Test-Suite Metrics

Filtering false alarms of buffer overflow analysis using SMT solvers

What do software engineers care about? gaps between research and practice

Verifix: Verified repair of programming assignments

Efficient and formal generalized symbolic execution

Design and validation of precooked developer dashboards

Software change contracts

Speeding up constraint-based program repair using a search-based technique

Towards an industrial grade IVE for Java and next generation research platform for JML

Understanding the impact of pair programming on the minds of developers

Bugsc++: A highly usable real world defect benchmark for c/c++

Dynamic reverse code generation for backward execution

Expressing and checking intended changes via software change contracts

Poracle: Testing patches under preservation conditions to combat the overfitting problem of program repair

LOFT (Lab of Software)

교수님 소개

이주용

연구실 소개

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

SymRadar: PoC-Centered Bounded Verification for Vulnerability Repairs

Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries

Proactive Debugging of Memory Leakage Bugs in Single Page Web Applications

연구실 보유 특허

대학별 입시끈

우리 연구실 모집

교수님 소개

이주용

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

SymRadar: PoC-Centered Bounded Verification for Vulnerability Repairs

Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries

Proactive Debugging of Memory Leakage Bugs in Single Page Web Applications

연구실 보유 특허

최근 3년간 연구실적 높은 연구실

대학별 입시끈

우리 연구실 모집