Current antigenic targets for influenza vaccine development are either highly immunogenic
epitopes of high variability or conserved epitopes of low immunogenicity. This requires …

This paper outlines the path towards a method focusing on a process model for the
integrated engineering of Digital Innovation (DI) and Design Science Research (DSR). The …

The ParaPhrase Refactoring Tool for Erlang PaRTE provides automatic, comprehensive and
reliable pattern candidate discovery to locate parallelisable components in Erlang programs …

In this paper we introduce InfERL, an open source, scalable, and extensible static analyzer
for Erlang, based on Meta's Infer tool. InfERL has been developed at WhatsApp and it is …

At Klarna we handle customer's data with utmost care since we believe protecting data is
one of the most basic obligations of any companies. Achieving our goal requires more effort …

Erlang is a functional and concurrent programming language. The aim of this paper is to
investigate basic properties of the Erlang concurrency model, which is based on …

Tool-assisted refactoring transformations must be trustworthy if programmers are to be
confident in applying them on arbitrarily extensive and complex code in order to improve …

Refactoring is the process of changing the design of a program without changing what it
does. Typical refactorings, such as function extraction and generalisation, are intended to …

Context: Software developers spend a significant amount of time on reading,
comprehending, and debugging of source code. Numerous software metrics can give us …

Traditional refactoring is about modifying the structure of existing code without changing its
behaviour, but with the aim of making code easier to understand, modify, or reuse. In this …