Rebecca Bari Buchheit

Automated Assistance for Eliciting User Expectations

2018 · KiltHub Repository

People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday software inhibit many dependability enhancement techniques because these require …