Skip to content

Commit a524198

Browse files
hongshinhongshin
committed
Update
1 parent 7bd8947 commit a524198

10 files changed

Lines changed: 522 additions & 36 deletions

File tree

‎2025/10/21/Recruit.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -200,11 +200,11 @@ <h3 id="참여-가능한-프로젝트와-학업지원">참여 가능한 프로
200200
SW 개발 및 실험 등을 통한 첨단 연구에 참여할 수 있습니다. 2025년 SDEV 연구실에서 진행한 연구 프로젝트는 아래와 같습니다:</p>
201201

202202
<ul>
203-
<li>오류 재현을 위한 로그 기반 테스트 생성, 소프트웨어재난연구센터(ERC), 2021-2028, 과학기술정보통신부</li>
203+
<li>오류 재현을 위한 로그 기반 테스트 생성, 소프트웨어재난연구센터(ERC), 2021-2028, 한국연구재단</li>
204204
<li>원전 디지털시스템 엔지니어링 프로세스 표준내 사이어보안 분석, 2025, 한국원자력통제기술원</li>
205-
<li>C/C++ 라이브러리 마이그레이션을 위한 SWE 멀티 에이전트 운영 기술 연구 (김준희 학생), 석사연구지원사업, 2025-2026, 교육부</li>
206-
<li>LLM의 코드 의미 추론을 활용한 목적지향 Greybox Fuzzing 탐색 기술 연구 (한나린 학생), 석사연구지원사업, 2025-2026, 교육부</li>
207-
<li>효과적인 디버깅 지원을 위한 퍼즈 테스트 복제 기법 연구 (김기은 학생), 석사연구지원사업, 2024-2025, 교육부</li>
205+
<li>효과적인 디버깅 지원을 위한 퍼즈 테스트 복제 기법 연구, 석사연구지원사업, 2024-2025, 한국연구재단</li>
206+
<li>효과적인 디버깅 지원을 위한 퍼즈 테스트 복제 기법 연구, 석사연구지원사업, 2024-2025, 한국연구재단</li>
207+
<li>효과적인 디버깅 지원을 위한 퍼즈 테스트 복제 기법 연구, 석사연구지원사업, 2024-2025, 한국연구재단</li>
208208
</ul>
209209

210210
<p>대학원에 진학한 학생은 국가연구과제 및 산업체R&amp;D 과제에 참여하여 학생인건비를 받을 수 있습니다.

‎2025/12/18/Award.html‎

Lines changed: 163 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,163 @@
1+
<!DOCTYPE html>
2+
<html lang="en"><head>
3+
<meta charset="utf-8">
4+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
5+
<meta name="viewport" content="width=device-width, initial-scale=1"><link type="application/atom+xml" rel="alternate" href="/feed.xml" title="SDEV Lab" /></head>
6+
<style>@import url(/public/css/syntax/monokai.css);</style>
7+
<title>SDEV Lab</title>
8+
<!-- <link href="/public/css/bootstrap.min.css" rel="stylesheet"> -->
9+
10+
<link href="/public/css/style.css" rel="stylesheet">
11+
<body>
12+
<div class="container">
13+
<div class="sidebar">
14+
<div class="sidebar-item sidebar-header">
15+
<p></p>
16+
<p></p>
17+
<div class='sidebar-brand'>
18+
<a href="/">SDEV Lab</a>
19+
</div>
20+
<p class="lead">Software Development and Verification Methodologies Lab@CBNU </p></div>
21+
22+
<div class="sidebar-item sidebar-nav">
23+
<ul class="nav">
24+
<!--
25+
<li class="nav-title">Pages</li>
26+
-->
27+
<li>
28+
<a class="nav-item" href="/">Home</a>
29+
</li>
30+
<li>
31+
<a class="nav-item" href="/about/">About SDEV Lab</a>
32+
</li>
33+
<li>
34+
<a class="nav-item" href="/members/">Members</a>
35+
</li>
36+
<li>
37+
<a class="nav-item" href="/publications/">Publications</a>
38+
</li>
39+
<li>
40+
<a class="nav-item" href="/projects/">Projects</a>
41+
</li>
42+
<li>
43+
<a class="nav-item" href="/teaching/">Teaching</a>
44+
</li>
45+
<!--
46+
47+
48+
49+
50+
51+
52+
<li>
53+
<a class="nav-item" href="/about/">
54+
About
55+
</a>
56+
</li>
57+
58+
59+
60+
61+
62+
<li>
63+
<a class="nav-item" href="/about/">
64+
About SDEV Lab
65+
</a>
66+
</li>
67+
68+
69+
70+
71+
72+
73+
74+
75+
76+
77+
78+
<li>
79+
<a class="nav-item" href="/members/">
80+
Members
81+
</a>
82+
</li>
83+
84+
85+
86+
87+
88+
<li>
89+
<a class="nav-item" href="/projects/">
90+
Projects
91+
</a>
92+
</li>
93+
94+
95+
96+
97+
98+
<li>
99+
<a class="nav-item" href="/publications/">
100+
Publications
101+
</a>
102+
</li>
103+
104+
105+
106+
107+
108+
<li>
109+
<a class="nav-item" href="/teaching/">
110+
Teaching
111+
</a>
112+
</li>
113+
114+
115+
116+
117+
118+
-->
119+
</ul>
120+
</div>
121+
122+
<!--
123+
<div class="sidebar-item sidebar-nav">
124+
<ul class="nav">
125+
<li class="nav-title">Categories</li>
126+
127+
</nav>
128+
</ul>
129+
</div>
130+
-->
131+
132+
<div class="sidebar-item sidebar-footer">
133+
<p>Powered by <a href="https://github.com/jekyll/jekyll">Jekyll</a></p>
134+
</div>
135+
136+
</div>
137+
<div class="content">
138+
<article class="post">
139+
<header class="post-header" style="width: 775px; padding: 15px;">
140+
<div class="post-title" style="width: 775px; padding: 15px;">
141+
2025 정보과학회 소프트웨어소사이어티 우수논문상
142+
</div>
143+
<time class="post-date dt-published" datetime="2025-12-18T00:00:00+09:00" itemprop="datePublished">2025/12/18
144+
</time>
145+
</header>
146+
147+
<div class="post-content" style="width: 775px; font-size: 17px; text-align: justify; padding: 15px;">
148+
<h1 id="2025-정보과학회-소프트웨어소사이어티-우수논문상-수상">2025 정보과학회 소프트웨어소사이어티 우수논문상 수상</h1>
149+
150+
<p>2025년 12월 18일</p>
151+
152+
<p>우리 연구실에서 2024년 정보과학회논문지에 발표한 “MISRA C 코딩 가이드라인 준수를 위한 코드 변경은 어떻게 이루어지는가: 오픈소스 소프트웨어 프로젝트를 대상으로 한 실태 조사” 논문이 2025년 정보과학회 소프트웨어소사이어티 우수논문상을 수상하였습니다.</p>
153+
154+
<p>2025년 12월 18일 KSC 2025 뱅큇에서 진행된 시상식에 저자인 박수현 졸업생이 참가하여 수상하였습니다.</p>
155+
156+
157+
</div>
158+
</article>
159+
160+
</div>
161+
</div>
162+
</body>
163+
</html>

0 commit comments

Comments
 (0)