Browse "School of Computing(전산학부)" by Author Jee, Eun-Kyoung

Showing results 1 to 5 of 5

1
A data flow-based structural testing technique for FBD programs

Jee, Eun-Kyoung; Yoo, Jun-Beom; Cha, Sung-Deok; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.7, pp.1131 - 1139, 2009-07

2
(A) data flow-based structural testing technique for FBD programs = FBD 프로그램에 대한 데이터 흐름 기반의 구조적 테스팅 기법link

Jee, Eun-Kyoung; 지은경; et al, 한국과학기술원, 2009

3
Automated test case generation for FBD programs implementing reactor protection system software

Jee, Eun-Kyoung; Shin, Donghwan; Cha, Sungdeok; Lee, Jang-Soo; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.24, no.8, pp.608 - 628, 2014-12

4
Automatic Construction of Timing Diagrams from UML/MARTE Models for Real-Time Embedded Software

Bae, Doo-Hwan; Nguyen, Minh Chau; Jee, Eun-Kyoung; Choi, Jinho, 29th Annual ACM Symposium on Applied Computing, SAC 2014, pp.1140 - 1145, Association for Computing Machinery, 2014-03

5
Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link

Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0