|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 54 occurrences of 48 keywords
|
|
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sukhee Lee, Gigon Bae, Heung Seok Chae, Doo-Hwan Bae, Yong Rae Kwon |
Automated scheduling for clone-based refactoring using a competent GA.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimin Hwa, Sukhee Lee, Yong Rae Kwon |
Hierarchical Understandability Assessment Model for Large-Scale OO System. |
APSEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ho Kyoung Lee, Woo Jin Lee, Heung Seok Chae, Yong Rae Kwon |
Specification and analysis of timing requirements for real-time systems in the CBD approach. |
Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Real-time system, Petri nets, Component, Timing analysis, Timing constraints, CBD, Compositional analysis |
| 1 | Heui-Seok Seo, In Sang Chung, Yong Rae Kwon |
Generating Test Sequences from Statecharts for Concurrent Program Testing. |
IEICE Transactions |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Offutt, Yu-Seung Ma, Yong Rae Kwon |
The Class-Level Mutants of MuJava. |
AST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Seung Ma, Mary Jean Harrold, Yong Rae Kwon |
Evaluation of mutation testing for object-oriented programs. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon |
MuJava: a mutation system for java. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
mutation system, java, mutation testing |
| 1 | Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon |
MuJava: an automated class mutation system. |
Softw. Test., Verif. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae |
Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
object-oriented design, Cohesion, metrics/measurement |
| 1 | Jeff Offutt, Yu-Seung Ma, Yong Rae Kwon |
An experimental mutation system for Java. |
ACM SIGSOFT Software Engineering Notes |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon |
Modeling and Testing Agent Systems Based on Statecharts. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyo-Jeong Lee, Yu-Seung Ma, Yong Rae Kwon |
Empirical Evaluation of Orthogonality of Class Mutation Operators. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae |
Response to 'More comments on: A cohesion measure for object-oriented classes'. |
Softw., Pract. Exper. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon |
An empirical evaluation of six methods to detect faults in software. |
Softw. Test., Verif. Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Sup So, Sung Deok Cha, Yong Rae Kwon |
Empirical evaluation of a fuzzy logic-based software quality prediction model. |
Fuzzy Sets and Systems |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt |
Inter-Class Mutation Operators for Java. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae |
Response to Comments on: A cohesion measure for object-oriented classes. |
Softw., Pract. Exper. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Kwon Lee, In Sang Chung, Gwang Sik Yoon, Yong Rae Kwon |
Specification-based program slicing and its applications. |
Journal of Systems Architecture |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon |
Extending the SCR Method for Real-Time Systems. |
Real-Time Systems |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoon Kyu Jang, Malcolm Munro, Yong Rae Kwon |
An improved method of selecting regression tests for C++ programs. |
Journal of Software Maintenance |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon |
Framework for Third Party Testing of Component Software. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
metadata, Framework, Certification, Component-based software engineering, EJB, Component testing |
| 1 | Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon |
The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwang Sik Yoon, Yong Rae Kwon |
Extending MSC for Reactive Systems. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | In Sang Chung, Wan Kwon Lee, Gwang Sik Yoon, Yong Rae Kwon |
Program slicing based on specification. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
strongest postcondition, software maintenance, software reuse, program slice, weakest precondition |
| 1 | Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae |
A cohesion measure for object-oriented classes. |
Softw., Pract. Exper. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun Seop Bae, In Sang Chung, Yong Rae Kwon |
Specifying and verifying real-time systems with timing uncertainty. |
Journal of Systems and Software |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. Kim |
A Slicing-based Approach to Enhance Petri Net Reachability Analysis. |
Journal of Research and Practice in Information Technology |
2000 |
DBLP BibTeX RDF |
|
| 1 | In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee |
Testing of Concurrent Programs Based on Message Sequence Charts. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts |
| 1 | Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae |
Safety Verification of Ada95 Programs Using Software Fault Trees. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Dong Gil Lee |
Testing of Concurrent Programs After Specification Changes. (PDF / PS) |
ICSM |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon |
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
incremental specification, use case dependency analysis, Petri nets slice, Petri nets, requirements engineering, scenarios, Use cases |
| 1 | Yoon Kyu Jang, Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae |
Change Impact Analysis for A Class Hierarchy. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
retesting, object-oriented programs, change impact analysis |
| 1 | Ester Jinee Choi, Yong Rae Kwon |
An Efficient Method for Version Control of a Tree Data Structure. |
Softw., Pract. Exper. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo |
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon |
On the concurrent behaviour of SCR specifications. (PDF / PS) |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics |
| 1 | Heung Seok Chae, Yong Rae Kwon |
Assessing and Restructuring of Classes Based on Cohesion. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon |
Applying Conventional Testing Techniques for Class Testing. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
program testing techniques, class member function testing, code-based testing, formal specification, object-oriented programming, object oriented programming, finite state machines, finite state machines, program testing, symbolic execution, programming theory, specification-based testing, class testing, branch coverage |
| 1 | Soon Ju Kang, Yong Rae Kwon |
Hybrid knowledge-based architecture for building an intelligent nondestructive signal inspection system. |
Knowl.-Based Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim |
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering |
| 1 | Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon |
An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. (PDF / PS) |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha |
Testing of Object-Oriented Programs Based on Finite State Machines. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
software testing, object-oriented programs, finite state machines, classes |
| 1 | In Sang Chung, Yong Rae Kwon |
An approach to partitioning programs on the functional basis and applications. |
Microprocessing and Microprogramming |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeon Soo Kim, Yong Rae Kwon, In Sang Chung |
Restructuring Programs through Program Slicing. |
International Journal of Software Engineering and Knowledge Engineering |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Cha, In Sang Chung, Yong Rae Kwon |
Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics. |
Inf. Process. Lett. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Myung Ho Kim, Yong Rae Kwon |
SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information. |
Australian Computer Journal |
1989 |
DBLP BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")