Browse by Author 박용배

Showing results 1 to 10 of 10

1
Automated testing of reactive software with non-deterministic events: a case study on LG electric oven = 비결정적 이벤트를 처리하는 반응형 소프트웨어를 위한 자동화 테스팅 기법: LG 전기 오븐 사례 연구link

Park, Yong Bae; 박용배; et al, 한국과학기술원, 2015

2
Coupling between circular apertures in conducting planes = 도체 평판 위의 원형 개구면 사이의 결합 해석link

Park, Yong-Bae; 박용배; et al, 한국과학기술원, 2003

3
광회선 분배기의 구조에 따른 파장 분할 다중 방식 전광 전송망의 확장성 비교 분석 = Comparison of optical cross-connect architectures for the scalability of WDM all optical networklink

박용배; Park, Yong-Bae; et al, 한국과학기술원, 2000

4
비결정적인 이벤트 처리가 가능한 프로그램의 자동 테스트 방법 및 자동 테스트 장치

김문주; 박용배; 홍신, 2016-12-05

5
사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교

김윤호; 박용배; 김문주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.8, pp.424 - 428, 2013-08

6
심볼릭 라이브러리를 이용한 효과적인 Concolic 테스팅

박용배; 김윤호; 조준희; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2014-02-13

7
유연송전 시스템을 위한 1MVA 배전용 동기 조상기

문건우; 윤석호; 박용배; 윤종수; 추진부, 1997년 전력전자학술대회, pp.1933 - 1935, KIPE, 1997-07

8
이벤트 기반 임베디드 소프트웨어를 위한 자동화 테스팅 기법: LG전자 오븐 제어 소프트웨어 사례 연구

박용배; 홍신; 김문주; 조준희; 이동주; 장훈, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2015-01-29

9
정적 프로그램 분석 기법을 사용하는 도구의 비교: Coverity와 Sparrow를 사용한 libexif 사례 연구

박용배; 김윤호; 김문주, Korea Computer Congress (KCC), 한국정보과학회, 2012-11-24

10
크로스-브라우저 프로파일링을 통한 웹 어플리케이션 성능버그 탐지

김문주; 박용배; 홍 신, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.11, pp.559 - 571, 2013-11

rss_1.0 rss_2.0 atom_1.0