Browsing University of Waterloo by Subject "bug detection"

Now showing items 1-3 of 3

Finding Patterns in Static Analysis Alerts: Improving Actionable Alert Ranking

Hanam, Quinn (University of Waterloo, 2014-09-02)

Static analysis (SA) tools that find bugs by inferring programmer beliefs (e.g., FindBugs) are commonplace in today’s software industry. While they find a large number of actual defects, they are often plagued by high rates ...
Improving Software Dependability through Documentation Analysis

Wong, Edmund (University of Waterloo, 2019-01-31)

Software documentation contains critical information that describes a system’s functionality and requirements. Documentation exists in several forms, including code comments, test plans, manual pages, and user manuals. The ...
Machine Learning for Software Dependability

Lutellier, Thibaud (University of Waterloo, 2020-11-10)

Dependability is an important quality of modern software but is challenging to achieve. Many software dependability techniques have been proposed to help developers improve software reliability and dependability such as ...