Showing 1 - 10 of 101 results for Type - Conference Paper
This paper was accepted by the SQUADE workshop at ICSE 2018. It describes the development of several classification models for the prioritization of alerts produced by static analysis tools and how those models were tested for accuracy.
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 advantages and some of the challenges of applying DevOps to highly regulated entities in industry, academia, and government.
At the Ninth International Workshop on Managing Technical Debt, participants explored the impact of agile development approaches on managing technical debt.
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.