@inproceedings{73b6ab97fc1f48ff8656eaff4d338ad0,
title = "Coverage-driven automatic test generation for UML activity diagrams",
abstract = "Due to the increasing complexity of today's embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded system design as a system level specification. One of the major bottlenecks in the validation of UML activity diagrams is the lack of automated techniques for directed test generation. This paper proposes an automated test generation approach for the UML activity diagrams. The contribution of this paper is the use of specification coverage to generate properties as well as design models to enable directed test generation using model checking. Our experimental results demonstrate that our approach can drastically reduce the validation effort in both specification and implementation levels.",
keywords = "Test generation, UML activity diagrams",
author = "Mingsong Chen and Prabhat Mishra and Dhrubajyoti Kalita",
year = "2008",
doi = "10.1145/1366110.1366145",
language = "英语",
isbn = "9781595939999",
series = "Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI",
pages = "139--142",
booktitle = "GLSVLSI 2008",
note = "GLSVLSI 2008: 18th ACM Great Lakes Symposium on VLSI 2008 ; Conference date: 04-03-2008 Through 06-03-2008",
}