Learn More
UML activity diagram is a notation suitable for modeling a concurrent system in which multiple objects interact with each other. This paper proposes a method to generate test cases from UML activity diagrams that minimizes the number of test cases generated while deriving all practically useful test cases. Our method first builds an I/O explicit activity(More)
Web services utilize a standard communication infrastructure such as XML and SOAP to communicate through the Internet. Even though Web services are becoming more and more widespread as an emerging technology, it is hard to test Web services because they are distributed applications with numerous aspects of runtime behavior that are different from typical(More)
Software architecture is a core asset for any organization that develops software-intensive systems. Unsuitable architecture can precipitate disaster because the architecture determines the structure of the project. To prevent this, software architecture must be evaluated. The current evaluation methods, however, focus on single product architecture, and(More)
Software complexity has increased the need for automated software testing. Most research on automating testing, however, has focused on creating test input data. While careful selection of input data is necessary to reach faulty states in a system under test, test oracles are needed to actually detect failures. In this work, we describe Dodona, a system(More)
Current software engineering practice is focused on value-neutral processes. Value-based architecting, one of value-based software engineering agendas, involves the further consideration of the system objectives associated with different stakeholder values in selecting an optimal architectural alternative. There are several value-based architectural(More)
Bayesian network (BN) is one of the popular probabilistic methods of diagnosing diseases in e- health applications. However, it is normally a complex task to construct a BN for diagnosing a specific disease by collecting and analyzing domain knowledge. We propose a semi-automatic way of constructing BNs for diagnosing diseases. Our method automatically(More)
In this paper, we reflect upon the past five years of the KAIST-Carnegie Mellon MSE collaboration, and look ahead to the ways in which we can improve in the years to come. With the understanding that the major component of the program lies in its curriculum, our insights focus mainly in the areas of curriculum improvement and evolution. As a means of(More)
In software project management, there are three major factors to predict and control; size, effort, and quality. Much software engineering work has focused on these. When it comes to software quality, there are various possible quality characteristics of software, but in practice, quality management frequently revolves around defects, and delivered defect(More)