Showing 1 - 10 of 71 results for the Type - Conference Paper
This paper describes an empirical study using a structured categorization approach to manually classify 466 software quality rules from three industry tools.
This presentation discusses sources of non-determinism, testing ramifications of non-determinism, and recommendations for testing in a non-deterministic world.
This paper presents two challenge problems guiding research on developing a provably correct approach for runtime assurance of distributed real-time embedded systems.
In this paper, the authors provide a suggested set of auditing rules and a lexicon for auditing static analysis alerts.
In this paper, the authors describe automated repairs for three types of bugs: integer overflows, missing array bounds checks, and missing authorization checks.
In this paper, the authors we discuss three elements that are key to safety analysis automation in the context of fault tree analysis (FTA).
In this paper, the authors focus on the architecture-led development process and illustrate the support given by ALISA.
In this paper, the authors focus on proving the correctness of the budget enforcement that guarantees that no task τi executes beyond its W1 i. They present their approach and some preliminary results.
This paper provides an end-to-end framework where DART systems can be designed, analyzed, and implemented within the same toolchain. In this talk, the authors present this toolchain and demonstrate it on a few representative examples.
In this conference paper, the authors describe an approach to Statistical Model Checking (SMC). This paper is part of the Lecture Notes in Computer Science book series.