DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Subject VALIDATION

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

1
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

2
Efficient and Secure Authenticated Key Exchange Protocols in the eCK Model

Lee, Jooyoung; Park, Je Hong, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, v.E94A, no.1, pp.129 - 138, 2011-01

3
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states

Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, SCIENCE OF COMPUTER PROGRAMMING, v.163, pp.115 - 137, 2018-10

4
Improving cohesion metrics for classes by considering dependent instance variables

Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.30, pp.826 - 832, 2004-11

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0