Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 10 of 86 results for the Type - Conference Paper

Conference Paper | September 2017 - Conference Paper "SHORT"er Reasoning About Larger Requirements Models By George Mathew (North Carolina State University), Tim Menzies (North Carolina State University), Neil Ernst, John Klein

SHORT is a tool to simplify reasoning about requirements engineering (RE) models by exploiting key decisions within them, evaluated on eight complex RE models.

Conference Paper | April 2017 - Conference Paper Using Stakeholder Preferences to Make Better Architecture ... By Neil Ernst, John Klein, George Mathew (North Carolina State University), Tim Menzies (North Carolina State University)

This paper describes a method to collect stakeholder preferences about architecture options and uses automated optimization to identify important architecture decisions.

Conference Paper | April 2017 - Conference Paper What to Fix? Distinguishing Between Design and Non-design ... By Neil Ernst, Stephany Bellomo, Ipek Ozkaya, Robert Nord

This paper describes an empirical study using a structured categorization approach to manually classify 466 software quality rules from three industry tools.

Conference Paper | March 2017 - Conference Paper Testing in a Non-Deterministic World By Donald Firesmith

This presentation discusses sources of non-determinism, testing ramifications of non-determinism, and recommendations for testing in a non-deterministic world.

Conference Paper | January 2017 - Conference Paper Certifiable Runtime Assurance of Distributed Real-Time ... By Sagar Chaki, Dionisio de Niz

This paper presents two challenge problems guiding research on developing a provably correct approach for runtime assurance of distributed real-time embedded systems.

Conference Paper | November 2016 - Conference Paper Static Analysis Alert Audits: Lexicon & Rules By David Svoboda, Lori Flynn, William Snavely

In this paper, the authors provide a suggested set of auditing rules and a lexicon for auditing static analysis alerts.

Conference Paper | November 2016 - Conference Paper Automated Code Repair Based on Inferred Specifications By William Klieber, William Snavely

In this paper, the authors describe automated repairs for three types of bugs: integer overflows, missing array bounds checks, and missing authorization checks.

Conference Paper | October 2016 - Conference Paper Automated Fault Tree Analysis from AADL Models By Peter H. Feiler, Julien Delange

In this paper, the authors we discuss three elements that are key to safety analysis automation in the context of fault tree analysis (FTA).

Conference Paper | October 2016 - Conference Paper Analysis and Design of Safety-critical, Cyber-Physical ... By John McGregor, David P. Gluch, Peter H. Feiler

In this paper, the authors focus on the architecture-led development process and illustrate the support given by ALISA.

Conference Paper | October 2016 - Conference Paper Contract-Based Verification of Timing Enforcers By Sagar Chaki, Dionisio de Niz

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.

Refine