Showing 1 - 10 of 65 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 work, we address the generation of narrations of autonomous mobile robot navigation experiences.
This paper presents a reference architecture for big data systems that is focused on addressing typical national defense requirements and that is vendor-neutral.
This paper reports on a study of issues from issue trackers to identify technical debt and present an approach for reporting technical debt in issue trackers.
This report documents the program and outcomes of Dagstuhl Seminar 16162, ,Managing Technical Debt in Software Engineering.Š We summarize the goals and format of the seminar.
This paper presents an architecture that automates metric collection processes for big data systems using a distributed runtime observability framework.