Test smells are symptoms in the test code that indicate possible design or implementation
problems. Previous research demonstrated their harmfulness and the developers' …

This article presents a mathematical characterization of object-oriented concepts by defining
an observation-oriented semantics for a relational object-based language with a rich variety …

The number of possible refactorings is unlimited, so no tool vendor will ever be able to
provide custom refactorings for all specific user needs. Therefore, we propose a new kind of …

The lack of formalism in most software developments can lead to a loss of precision and
correctness in the resulting software. Formal techniques of program development have been …

We present algebraic laws for a language similar to a subset of sequential Java that
includes inheritance, recursive classes, dynamic binding, access control, type tests and …

Modern software development is complex as it has to deal with many different and yet
related aspects of applications. In practical software engineering this is now handled by a …

For some organizations, the proactive approach to product lines may be inadequate due to
prohibitively high investment and risks. As an alternative, the extractive and the reactive …

Previously, we presented Circus, an integration of Z, CSP, and Morgan's refinement
calculus, with a semantics based on the unifying theories of programming. Circus provides a …

Currently analysis of refactoring in software repositories is either manual or only syntactic,
which is time-consuming, error-prone, and non-scalable. Such analysis is useful to …

We present a theory of reactive components. We identify a component by its provided
services, and specify the individual services by a guarded-design, which enables one to …