Browsing University of Waterloo by Author "Hackman, Robert"
Now showing items 1-2 of 2
-
Detecting Feature-Interaction Symptoms in Automotive Software Using Lightweight Analysis
Muscedere, Bryan J.; Hackman, Robert; Anbarnam, Davood; Atlee, Joanne M.; Davis, Ian J.; Godfrey, Michael W. (IEEE, 2019-02)Modern automotive software systems are large, com- plex, and feature rich; they can contain over 100 million lines of code, comprising hundreds of features distributed across multiple electronic control units (ECUs), all ... -
mel - Model Extraction Language and Interpreter
Hackman, Robert (University of Waterloo, 2021-04-27)There is a large body of research on extracting models from code-related artifacts to enable model-based analyses of large software systems. However, engineers do not always have access to the entire code base of a system: ...