@misc{516934c5ac314dc9befa0e6f1d4643a9,
title = "Using model-based traces as runtime models",
abstract = "Software engineers typically use code-level tracing to capture a running system's behavior. An alternative is to generate and analyze model-based traces, which contain rich semantic information about the system's runs at the abstraction level that its design models define. A set of metrics and operators can aid such trace analysis.",
keywords = "Model-based traces, Model-driven engineering, Runtime models, Trace analysis",
author = "Shahar Maoz",
note = "Funding Information: The research described in this article was supported by the John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science, and by an Advanced Research Grant from the European Research Council under the European Community{\textquoteright}s 7th Framework Programme (FP7/2007-2013).",
year = "2009",
doi = "10.1109/MC.2009.336",
language = "אנגלית",
volume = "42",
pages = "28--36",
journal = "Computer",
issn = "0018-9162",
publisher = "IEEE Computer Society",
}