Byoungju Choi Professor Emeritus

Research Record
- 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 Defects Classification using Deep Learning 정보과학회 컴퓨팅의 실제 논문지, 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
- [학술지논문] Design and Implementation of Blockchain-Based Distributed Deep Learning System 정보과학회 컴퓨팅의 실제 논문지, 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
- [학술지논문] Design and Implementation of Log-based Ethereum Smart Contract Dynamic Testing Tool 정보과학회 컴퓨팅의 실제 논문지, 2020, v.26 no.7 , 322-331
- [학술지논문] Software-Implemented Fault Injection Test Case Generation Technique for Safety Diagnosis of Automotive Software 정보과학회 컴퓨팅의 실제 논문지, 2020, v.26 no.1 , 1-11
- [지적재산권] 분산형 딥러닝 학습 시스템의 블록체인 기반 가중치 관리 방법, 분산형 딥러닝 학습 시스템 및 노드 장치 Domestic : Patent , Registration , 10-2497336, 2023
- [지적재산권] 전자 시스템의 결함 분석 방법 Domestic : Patent , Registration , 10-2210544, 2021
- [지적재산권] AUTOSAR 기반 차량 소프트웨어의 결함 테스트 방법 및 결함 테스트 시스템 Domestic : Patent , Registration , 10-2141287, 2020
- [지적재산권] 블록체인 기반 분산 애플리케이션 테스트 방법 및 테스트 장치 Domestic : Patent , Registration , 10-2160379, 2020
- [지적재산권] 블록체인 기반 테스트 데이터 관리 방법 및 블록체인 노드 장치 Domestic : Patent , Registration , 10-2172514, 2020
Courses
-
2024-1st
-
Compiler 강의 계획서 상세보기
- Subject No 34811Class No 01
- 4Year ( 3Credit , 3Hour) Mon 5~5 (ENG A125-2) , Wed 4~4 (ENG A125-2)
-
Foundation of AI Convergence Ⅰ 강의 계획서 상세보기
- Subject No G18468Class No 01
- Year ( 3Credit , 3Hour) Tue 6~7 (ECC-)
-
-
2023-2nd
-
Software Engineering 강의 계획서 상세보기
- Subject No 20472Class No 01
- 3Year ( 3Credit , 3Hour) Mon 3~3 (ENG A125-2) , Wed 2~2 (ENG A125-2)
- Major Requisite
-
Foundation of AI Convergence I 강의 계획서 상세보기
- Subject No G18468Class No 01
- Year ( 3Credit , 3Hour) Tue 2~3 (ENG A-124)
-
-
2023-1st
-
Compiler 강의 계획서 상세보기
- Subject No 34811Class No 01
- 4Year ( 3Credit , 3Hour) Tue 5~5 (ENG A125-2) , Thu 6~6 (ENG A125-2)
-
Foundation of AI Convergence I 강의 계획서 상세보기
- Subject No G18468Class No 01
- Year ( 3Credit , 3Hour) Mon 5~6 (ENG A124)
-
-
2022-2nd
-
Software Engineering 강의 계획서 상세보기
- Subject No 20472Class No 01
- 3Year ( 3Credit , 3Hour) Wed 6~6 (ENG A101) , Fri 4~4 (ENG A101)
- Major Requisite
-
Research Topics in Software Engineering I 강의 계획서 상세보기
- Subject No G14438Class No 01
- Year ( 3Credit , 3Hour) Fri 2~3 (ENG )
-
Academic Background
Purdue University Ph.D.(전산학)