Showing results 1 to 5 of 5
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 |
(A) data flow-based structural testing technique for FBD programs = FBD 프로그램에 대한 데이터 흐름 기반의 구조적 테스팅 기법link Jee, Eun-Kyoung; 지은경; et al, 한국과학기술원, 2009 |
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 |
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 |
Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
Discover