E-LIB Suche - Ergebnisse für: Cha, Sung Deok

1

A systematic representation of path constraints for implici..:

Kim, Tai Hyo ; Bang, Ho Jung ; Cha, Sung Deok
Software Testing, Verification and Reliability. 20 (2009) 1 - p. 39-61 , 2009

Link: https://doi.org/10.1002/..

2

An effective technique for the software requirements analys..:

Koo, Seo Ryong ; Seong, Poong Hyun ; Yoo, Junbeom..
Reliability Engineering & System Safety. 89 (2005) 3 - p. 248-260 , 2005

Link: https://doi.org/10.1016/..

3

Generating test sequences using symbolic execution for even..:

Lee, Nam Hee ; Cha, Sung Deok
Microprocessors and Microsystems. 27 (2003) 10 - p. 523-531 , 2003

Link: https://doi.org/10.1016/..

4

Generating test sequences from a set of MSCs:

Lee, Nam Hee ; Cha, Sung Deok
Computer Networks. 42 (2003) 3 - p. 405-417 , 2003

Link: https://doi.org/10.1016/..

5

Data flow testing as model checking:

, In: Proceedings of the 25th International Conference on Software Engineering,

Hong, Hyoung Seok ; Cha, Sung Deok ; Lee, Insup.. - p. 232-242 , 2003

Link: https://dl.acm.org/doi/1..

6

An empirical evaluation of six methods to detect faults in ..:

So, Sun Sup ; Cha, Sung Deok ; Shimeall, Timothy J..
Software Testing, Verification and Reliability. 12 (2002) 3 - p. 155-171 , 2002

Link: https://doi.org/10.1002/..

7

Construction of global finite state machine for testing tas..:

, In: Proceedings of the 14th international conference on Software engineering and knowledge engineering,

Lee, Nam Hee ; Kim, Tai Hyo ; Cha, Sung Deok - p. 369-376 , 2002

Link: https://dl.acm.org/doi/1..

8

Empirical evaluation of a fuzzy logic-based software qualit..:

So, Sun Sup ; Cha, Sung Deok ; Kwon, Yong Rae
Fuzzy Sets and Systems. 127 (2002) 2 - p. 199-208 , 2002

Link: https://doi.org/10.1016/..

9

A semantics of sequence diagrams:

Cho, Seung Mo ; Kim, Hyung Ho ; Cha, Sung Deok.
Information Processing Letters. 84 (2002) 3 - p. 125-130 , 2002

Link: https://doi.org/10.1016/..

10

A test sequence selection method for statecharts:

Hong, Hyoung Seok ; Kim, Young Gon ; Cha, Sung Deok..
Software Testing, Verification and Reliability. 10 (2000) 4 - p. 203-227 , 2000

Link: https://doi.org/10.1002/..

11

Visualization and Formalization of User Constraints for Tig..:

LEE, Jong-In ; BANG, Ho-Jung ; KIM, Tai-Hyo.
IEICE Transactions on Information and Systems. E92-D (2009) 1 - p. 24-31 , 2009

Link: https://doi.org/10.1587/..

12

VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS:

Yoo, Jun-Beom ; Cha, Sung-Deok ; Jee, Eun-Kyung
Nuclear Engineering and Technology. 41 (2009) 1 - p. 79-90 , 2009

Link: https://doi.org/10.5516/..

13

Fault tree construction of hybrid system requirements using..:

Lee, Jang-Soo ; Cha, Sung-Deok
Reliability Engineering & System Safety. 87 (2005) 1 - p. 121-131 , 2005

Link: https://doi.org/10.1016/..

14

Empirical evaluation of SVM-based masquerade detection usin..:

Kim, Han-Sung ; Cha, Sung-Deok
Computers & Security. 24 (2005) 2 - p. 160-168 , 2005

Link: https://doi.org/10.1016/..

15

Software Safety Analysis of Digital Protection System Requi..:

Lee, Jang-Soo ; Kwon, Kee-Choon ; Cha, Sung-Deok
Nuclear Technology. 147 (2004) 2 - p. 227-239 , 2004

Link: https://doi.org/10.13182..