research
∙
09/08/2023
Seeding Contradiction: a fast method for generating full-coverage test suites
The regression test suite, a key resource for managing program evolution...
share
research
∙
01/05/2023
Lessons from Formally Verified Deployed Software Systems
The technology of formal software verification has made spectacular adva...
research
∙
11/29/2022
Right and wrong: ten choices in language design
A description of language design choices that have profound effects on s...
research
∙
09/06/2022
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
A paradox of requirements specifications as dominantly practiced in the ...
research
∙
08/21/2022
A Failed Proof Can Yield a Useful Test
A successful automated program proof is, in software verification, the u...
research
∙
08/21/2022
Improving Counterexample Quality from Failed Program Verification
In software verification, a successful automated program proof is the ul...
research
∙
09/14/2021
The concept of class invariant in object-oriented programming
Class invariants – consistency constraints preserved by every operation ...
research
∙
11/06/2019
The role of formalism in system requirements (full version)
A major determinant of the quality of software systems is the quality of...
research
∙
11/06/2019
The role of formalism in system requirements (extended version)
A major determinant of the quality of software systems is the quality of...
research
∙
11/06/2019
The role of formalism in system requirements
A major determinant of the quality of software systems is the quality of...
research
∙
11/06/2019
Formality in Software Requirements
A major determinant of the quality of software systems is the quality of...
research
∙
06/15/2019
The Anatomy of Requirements
Requirements engineering is crucial to software development but lacks a ...
research
∙
08/27/2018
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs
The aliasing question (can two reference expressions point, during an ex...
research
∙
12/14/2017
Fourteen Years of Software Engineering at ETH Zurich
A Chair of Software Engineering existed at ETH Zurich, the Swiss Federal...
research
∙
10/08/2017