Blockchains and Security: Grammar-Based Evolutionary Fuzzing for JSON-RPC APIs and the Division of Responsibilities

DiscoTest: Evolutionary Distributed Concurrency Testing of Blockchain Consensus Algorithms

A Toolchain for Streaming Dataflow Accelerator Designs for Big Data Analytics: Defining an IR for Composable Typed Streaming Dataflow Designs

Automated Detection of Code Smells for Machine Learning Applications

Agile software development and IT-architecture interactions in the public sector: A multi-case study approach to identify whether these roles are complementary or counterproductive

Green AI: An empirical study

Practical Verification of Lenses: Implementing Formally Verified Lenses using agda2hs

Study the impact of topology-related attacks in Software Defined Network

Developer-Centric Test Amplification: User-Guided Test Amplification

Controller-Related Security Risks and Vulnerabilities in Software-Defined Networking

Analysing the Impact of Inline Comments for the Task of Code Captioning

Finding most used software application by using a time-dependency graph

Training a Machine-Learning Model for Optimal Fitness Function Selection with the Aim of Finding Bugs

Exploitation of P4 Programmable Switch Networks

A study of bugs found in the Ansible configuration management system

Method Popularity Distributions of Software Artefacts within Maven Central

Enterprise-level search-based software remodularisation using domain knowledge

A BDI-based Virtual Agent for Training Child Helpline Counsellors

VC valuation and multiples: an exploration of comparable analysis of software start-ups

Code Smells & Software Quality in Machine Learning Projects