We address the problem of computing semantic differences between a program and a
patched version of the program. Our goal is to obtain a precise characterization of the …

We address the problem of computing semantic differences between a program and a
patched version of the program. Our goal is to obtain a precise characterization of the …

The primary aim of Automatic Program Repair (APR) is to automatically repair defective
programs, with the intention of reducing the amount of effort required by developers …

How can we check software changes effectively? During software development and
maintenance, the source code of a program is constantly changed. New features are added …

Plug-ins have become an important part of today's integrated development environments
(IDEs). They are useful for extending the functionality of these environments and …

Software changes, such as bug fixes or feature additions, can introduce software bugs and
reduce the code quality. As a result tests which passed earlier may not pass any more …

The work shown in this thesis explores a rogue developer desiring to make a small bug in
the system they are working on. This insider threat's main focus is thus the semi-automatic …

Plug‐ins have become an important part of today's Integrated Development Environments
(IDEs). They are useful not only for extending the IDEs' functionality but also for customizing …

Software testing is one of the most common approaches to verify software systems. Despite
of many automated techniques proposed in the literature, test cases are often generated …

As modern enterprises use a number of different information systems, the problem of
integrating them becomes crucial. One of the most-used patterns for integration is through …