Skip to main content

University of Minnesota Software Engineering Center (UMSEC) Publications  [167]

Persistent link to this collection: http://hdl.handle.net/11299/217249

Recently Added

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

Katis, Andreas; Fedyukovich, Grigory; Guo, Huajun; Gacek, Andrew; Backes, John; Gurfinkel, Arie; Whalen, Michael (2018)
Automated synthesis of reactive systems from specifications has been a topic of research for decades. Recently, a variety of approaches have been proposed to extend synthesis of reactive systems from propositional ...

Contract discovery from black-box components

Sharma, Vaibhav; Byun, Taejoon; McCamant, Stephen; Rayadurgam, Sanjai; Heimdahl, Mats (2018)
Complex computer-controlled systems are commonly constructed in a middle-out fashion where existing subsystems and available components have a significant influence on system architecture and drive design decisions. During ...

Domain Modeling for Development Process Simulation

De Silva, Ian; Rayadurgam, Sanjai; Heimdahl, Mats (ACM, 2017)
Simulating agile processes prior to adoption can reduce the risk of enacting an ill-fitting process. Agent-based simulation is well-suited to capture the individual decision-making valued in agile. Yet, agile's lightweight ...

Discovering Instructions for Robust Binary-level Coverage Criteria

Sharma, Vaibhav; Byun, Taejoon; McCamant, Stephen; Rayadurgam, Sanjai; Heimdahl, Mats (2017)
Object-Branch Coverage (OBC) is often used to measure e ective- ness of test suites, when source code is unavailable. The traditional OBC de nition can be made more resilient to variations in compil- ers and the structure ...

Challenges in Testing Next Generation CPS Systems

Whalen, Michael (2017)
Testing cyber-physical systems presents a unique set of testing challenges: heterogeneity, timing, and, especially, observability. In particular, some of the mechanisms that are designed to make embedded software robust ...

View more