Background: Modern Code Review (MCR) is a lightweight alternative to traditional code
inspections. While secondary studies on MCR exist, it is ua nknown whether the research …

• There are IDEs for KeY, including an Eclipse extension, that make it easy to keep track of
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …

Code review is a software quality assurance practice widely employed in both open source
and commercial software projects to detect defects, transfer knowledge and encourage …

Context Code review is a widely used technique of systematic examination of code changes
which aims at increasing software quality. Code reviews provide several benefits for the …

Code reviews are an important mechanism for assuring quality of source code changes.
Reviewers can either add general comments pertaining to the entire change or pinpoint …

Many scientific applications need support from a communication infrastructure that provides
predictable performance, which requires effective algorithms for bandwidth reservations …

Recently, formal methods have been used in large industrial organisations (including AWS,
Facebook/Meta, and Microsoft) and have proved to be an effective part of a software …

Abstract The Symbolic Execution Debugger (SED), is an extension of the debug platform for
interactive debuggers based on symbolic execution. The SED comes with a static symbolic …

Abstract Correctness-by-construction (CbC) is a refinement-based methodology to
incrementally create formally correct programs. Programs are constructed using refinement …

Over the past decade, modern code review (MCR) has been deemed as a crucial practice of
software quality assurance, which is applied to improve software quality and transfer …