( en | de | ru )

 

Disambiguation of "Kwon, Yong Rae"

Author of the publication

copydeleteadd this publication to your clipboard
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.

, , , and . APSEC, page 272-. IEEE Computer Society, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yong-Rae Lee

Yong-Hyek Kwon

Yong-Hyok Kwon

Yong Il Kwon

Yong-Uk Kwon

 

Other publications of authors with the same name

Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables., , and . IEEE Trans. Software Eng., 30 (11): 826-832 (2004)Program slicing based on specification., , , and . SAC, page 605-609. ACM, (2001)Hybrid knowledge-based architecture for building an intelligent nondestructive signal inspection system., and . Knowl. Based Syst., 8 (1): 21-31 (1995)Safety Verification of Ada95 Programs Using Software Fault Trees., , , , and . SAFECOMP, volume 1698 of Lecture Notes in Computer Science, page 226-238. Springer, (1999)Restructuring Programs through Program Slicing., , and . International Journal of Software Engineering and Knowledge Engineering, 4 (3): 349-368 (1994)Empirical evaluation of a fuzzy logic-based software quality prediction model., , and . Fuzzy Sets Syst., 127 (2): 199-208 (2002)Combining weak and strong mutation for a noninterpretive Java mutation system., , and . Softw. Test. Verification Reliab., 23 (8): 647-668 (2013)The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs., , , and . APSEC, page 221-228. IEEE Computer Society, (2001)Extending MSC for Reactive Systems., and . HCC, page 104-. IEEE Computer Society, (2001)MuJava: a mutation system for java., , and . ICSE, page 827-830. ACM, (2006)