Byoungju Choi

Learn More
0164-1212/$ see front matter 2009 Elsevier Inc. A doi:10.1016/j.jss.2009.09.037 q This research was supported by the MKE (Minis Korea, under the ITRC (Information Technology Resea supervised by the NIPA (National IT Industry Prom (C1090-0902-0032)). * Corresponding author. Tel.: +1 972 883 6619; fax E-mail addresses: (W. Eric Wo (V.(More)
Fault localization is one of the most expensive activities of program debugging, which is why the recent years have witnessed the development of many different fault localization techniques. This paper proposes a grouping-based strategy that can be applied to various techniques in order to boost their fault localization effectiveness. The applicability of(More)
Today most organizations run their daily operations using data at their disposal. However, a vast majority of the organizations do not have adequate process and tools to maintain high quality operational data at all times. One of the key reasons for this is the lack of appreciation of the damages that low quality data can bring to an organization, and the(More)
Existing techniques for testing an SDL specification mainly allow for either black box simulation or conformance testing to verify that the behavior of an implementation matches its corresponding model. However, this relies on the potentially hazardous assumption that the model is completely correct. We propose a test generation framework that can(More)
An embedded system has a hierarchical structure including hardware-dependent software layer, operating system layer, and applications layer. Since the system has interfaces between the different layers that are tightly coupled and interdependent to each other, these interfaces are the focal area to be tested. This paper proposes an Embedded System's(More)
Software testing is a core activity in quality assurance. To improve the test process, we can use best practice models which describe in detail what to do in organizational test processes. The improvement activities using best practice models are performed as follows: checking the current status of test processes, suggesting and planning new actions, and(More)