Static software analyser tools use different levels of intermediate source code
representations that depend on the syntax and semantics of the language to be analysed …

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

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

Refactorings are behavior-preserving code transformations. They are a recommended
software development practice and are now a standard feature in modern IDEs. There are …

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 …

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

The programming style has an impact on the readability and comprehensibility of the source
code, and it may also affect run-time performance. This statement also holds for functional …

Divide-and-conquer algorithms appear in the solution of many computationally intensive
problems, and are good candidates for parallelization. A divide-and-conquer computation …

Refactorings are behavior-preserving code transformations. They are a recommended
software development practice and are now a standard feature in modern IDEs. There are …

Security is a critical part of software development, companies have the utmost responsibility
to protect their customers data against any threat. Secure design is a key enabler, since it …