UAV: Warnings From Multiple Automated Static Analysis Tools At A Glance

Automated Static Analysis Tools (ASATs) are an integral part of today’s software quality assurance practices. At present, a plethora of ASATs exist, each with different strengths. However, there is little guidance for developers on which of these ASATs to choose and combine for a project. As a result, many projects still only employ one ASAT...

Polaris: Providing context aware navigation in spreadsheets

Spreadsheets are a successful example of an end-user programming language, and the spreadsheet paradigm shares several characteristics like composition, selection, and repetition with programming languages. There are compelling reasons that spreadsheets are code. For most programming languages, developers are supported by powerful IDEs. However,...