최병주 명예교수
연구실적
- Detection of Vulnerabilities by Incorrect Use of Variable Using Machine Learning ELECTRONICS, 2023, v.12 no.5, 1197
- Reduction of False Positives for Runtime Errors in C/C++ Software: A Comparative Study Electronics (Switzerland), 2023, v.12 no.16, 3518
- 딥러닝을 이용한 HWSW 결함 구분 자동화 정보과학회 컴퓨팅의 실제 논문지, 2022, v.28 no.4, 239-249
- Automated Memory Corruption Detection through Analysis of Static Variables and Dynamic Memory Usage ELECTRONICS, 2021, v.10 no.17, 2127
- 블록체인 기반의 분산형 딥러닝 시스템 설계 및 구현 정보과학회 컴퓨팅의 실제 논문지, 2021, v.27 no.8, 362-371
- ASFIT: AUTOSAR-Based Software Fault Injection Test for Vehicles ELECTRONICS, 2020, v.9 no.5, 850
- Automatic method for distinguishing hardware and software faults based on software execution data and hardware performance counters Electronics (Switzerland), 2020, v.9 no.11, 1-25
- Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments International Journal of Parallel Programming, 2020, v.48 no.6, 1032-1060
- 로그 기반의 이더리움 스마트 컨트랙트 동적 테스트 도구 설계 및 구현 정보과학회 컴퓨팅의 실제 논문지, 2020, v.26 no.7, 322-331
- 차량용 소프트웨어의 안전성 진단을 위한 소프트웨어 결함 주입 테스트케이스 생성 기법 정보과학회 컴퓨팅의 실제 논문지, 2020, v.26 no.1, 1-11
- Real-time temperature monitoring for the early detection of mastitis in dairy cattle: Methods and case researches Computers and Electronics in Agriculture, 2019, v.162, 119-125
- 무기체계 소프트웨어 신뢰성 시험 개선점 도출을 위한 소프트웨어 정적/동적 검증 분석 사례연구 정보처리학회논문지. 소프트웨어 및 데이터 공학, 2019, v.8 no.7, 265-274
- 블록체인 기반의 분산형 테스트 관리 도구 정보과학회논문지, 2019, v.25 no.7, 321-328
- AI Analysis Method Utilizing Ingestible Bio-Sensors for Bovine Calving Predictions 한국정보기술학회논문지, 2018, v.16 no.12, 127~137
- Memory corruption detecting method using static variables and dynamic memory usage Proceedings - International Conference on Software Engineering, 2018 , 46-52
- Monitoring Cattle Disease with Ingestible Bio-Sensors Utilizing LoRaWAN: Method and Case Studies 한국정보기술학회논문지, 2018, v.16 no.4, 123~134
- 국방 무기체계 소프트웨어 신뢰성 향상을 위한 소프트웨어 동적 결함 분석 정보처리학회논문지. 소프트웨어 및 데이터 공학, 2018, v.7 no.7, 249~258
- 구제역 예방을 위한 축우의 실시간 체온 모니터링 방법 및 사례 연구 한국정보기술학회논문지, 2017, v.15 no.5, 141~150
- A runtime fault survival method for deployed software during production runs Journal of Software: Evolution and Process, 2016, 18 JAN 2016
- O2O based, effective social media marketing method to improve online exposure International Journal of Multimedia and Ubiquitous Engineering, 2016, v.11 no.11, 51-70
- Risk-based test case prioritization using a fuzzy expert system Information and Software Technology, 2016, v.69
- Value-driven V-model: From requirements analysis to acceptancetesting IEICE Transactions on Information and Systems, 2016, v.E99D no.7, 1776-1785
- Faults diagnosis method using hardware performance counter and execution information International Journal of Software Engineering and its Applications, 2015, v.9 no.5, 127-134
- 구전효과를 위한 O2O 기반의 소셜미디어 마케팅 방법: 사례분석을 중심으로 한국콘텐츠학회 논문지, 2015, v.15 no.7, 403-413
- Effective regression testing using requirements and risks Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014, 2014 , 157-166
- Memory leakage detection by PCB hooking in Android Information (Japan), 2014, v.17 no.10A, 4875-4883
- [학술지논문] Detection of Vulnerabilities by Incorrect Use of Variable Using Machine Learning ELECTRONICS, 2023, v.12 no.5 , 1197-1197
- [학술지논문] Reduction of False Positives for Runtime Errors in C/C++ Software: A Comparative Study ELECTRONICS, 2023, v.12 no.16 , 1-12
- [학술지논문] 딥러닝을 이용한 HWSW 결함 구분 자동화 정보과학회 컴퓨팅의 실제 논문지, 2022, v.28 no.4 , 239-249
- [학술지논문] Automated Memory Corruption Detection through Analysis of Static Variables and Dynamic Memory Usage ELECTRONICS, 2021, v.10 no.17 , 2127-2127
- [학술지논문] 블록체인 기반의 분산형 딥러닝 시스템 설계 및 구현 정보과학회 컴퓨팅의 실제 논문지, 2021, v.27 no.8 , 362-371
- [학술지논문] ASFIT: AUTOSAR-Based Software Fault Injection Test for Vehicles ELECTRONICS, 2020, v.9 no.5 , 850-850
- [학술지논문] Automatic Method for Distinguishing Hardware and Software Faults Based on Software Execution Data and Hardware Performance Counters ELECTRONICS, 2020, v.9 no.11 , 1815-1815
- [학술지논문] Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2020, v.48 no.6 , 1032-1060
- [학술지논문] 로그 기반의 이더리움 스마트 컨트랙트 동적 테스트 도구 설계 및 구현 정보과학회 컴퓨팅의 실제 논문지, 2020, v.26 no.7 , 322-331
- [학술지논문] 차량용 소프트웨어의 안전성 진단을 위한 소프트웨어 결함 주입 테스트케이스 생성 기법 정보과학회 컴퓨팅의 실제 논문지, 2020, v.26 no.1 , 1-11
- [지적재산권] 분산형 딥러닝 학습 시스템의 블록체인 기반 가중치 관리 방법, 분산형 딥러닝 학습 시스템 및 노드 장치 국내 : 특허, 등록, 10-2497336, 2023
- [지적재산권] 전자 시스템의 결함 분석 방법 국내 : 특허, 등록, 10-2210544, 2021
- [지적재산권] AUTOSAR 기반 차량 소프트웨어의 결함 테스트 방법 및 결함 테스트 시스템 국내 : 특허, 등록, 10-2141287, 2020
- [지적재산권] 블록체인 기반 분산 애플리케이션 테스트 방법 및 테스트 장치 국내 : 특허, 등록, 10-2160379, 2020
- [지적재산권] 블록체인 기반 테스트 데이터 관리 방법 및 블록체인 노드 장치 국내 : 특허, 등록, 10-2172514, 2020
강의
-
2024-1학기
-
컴파일러 강의 계획서 상세보기
- 학수번호 34811분반 01
- 4학년 ( 3학점 , 3시간) 월 5~5 (공학A125-2) , 수 4~4 (공학A125-2)
-
AI융합기초Ⅰ 강의 계획서 상세보기
- 학수번호 G18468분반 01
- 학년 ( 3학점 , 3시간) 화 6~7 (캠)
-
-
2023-2학기
-
소프트웨어공학 강의 계획서 상세보기
- 학수번호 20472분반 01
- 3학년 ( 3학점 , 3시간) 월 3~3 (공학A125-2) , 수 2~2 (공학A125-2)
- 전공필수
-
AI융합기초I 강의 계획서 상세보기
- 학수번호 G18468분반 01
- 학년 ( 3학점 , 3시간) 화 2~3 (공학A124)
-
-
2023-1학기
-
컴파일러 강의 계획서 상세보기
- 학수번호 34811분반 01
- 4학년 ( 3학점 , 3시간) 화 5~5 (공학A125-2) , 목 6~6 (공학A125-2)
-
AI융합기초I 강의 계획서 상세보기
- 학수번호 G18468분반 01
- 학년 ( 3학점 , 3시간) 월 5~6 (공학A124)
-
-
2022-2학기
-
소프트웨어공학 강의 계획서 상세보기
- 학수번호 20472분반 01
- 3학년 ( 3학점 , 3시간) 수 6~6 (공학A101) , 금 4~4 (공학A101)
- 전공필수 전공필수
-
소프트웨어공학주제연구I 강의 계획서 상세보기
- 학수번호 G14438분반 01
- 학년 ( 3학점 , 3시간) 금 2~3 (공학)
-
학력
Purdue University Ph.D.(전산학)