Search
Now showing items 1-4 of 4
Verification and analysis of domain-specific models of physical characteristics in embedded control software
(Elsevier, 2012-12)
ContextA considerable portion of the software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics ...
Integrated static code analysis and runtime verification
(Wiley, 2015-10)
Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these tools usually generate a very large number of alerts, some of which are subject to false ...
An approach for detecting inconsistencies between behavioral models of the software architecture and the code
(IEEE, 2012)
In practice, inconsistencies between architectural documentation and the code might arise due to improper implementation of the architecture or the separate, uncontrolled evolution of the code. Several approaches have been ...
Generating runtime verification specifications based on static code analysis alerts
(ACM, 2017)
Runtime verification techniques verify dynamic system behavior with respect to a set of specifications. These specifications are often created manually based on system requirements and constraints. In this paper, we introduce ...
Share this page