Showing 1 - 10 of 91 results for the Type - Conference Paper
In this paper, domain parking is the practice of assign- ing a nonsense location to an unused fully-qualified domain name (FQDN) to keep it ready for “live” use.
SHORT is a tool to simplify reasoning about requirements engineering (RE) models by exploiting key decisions within them, evaluated on eight complex RE models.
This paper describes a method to collect stakeholder preferences about architecture options and uses automated optimization to identify important architecture decisions.
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.
In this paper, we present an approach that eliminates runtime overhead by constructing most Markov decision processes offline using formal specification.
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).