Abstract The Algorithm Selection Problem is concerned with selecting the best algorithm to
solve a given problem on a case-by-case basis. It has become especially relevant in the last …

In this paper, we present the first benchmark for algorithm synthesis from formal
specification: ASAC. ASAC consists of 136 tasks covering a wide range of algorithmic …

Combinatorial problems (CPs) arise in many areas, and people use constraint solvers to
automatically solve these problems. However, the state-of-the-art constraint solvers (eg …

Software (regression) testing is performed to detect errors as early as possible and
guarantee that changes did not affect the system negatively. As test suites tend to grow over …

Software (regression) testing is performed not only to detect errors as early as possible but
also to guarantee that changes did not affect the system negatively. As test suites tend to …

Background: Large Language Models (LLMs) are emerging as promising tools in hardware
design and verification, with recent advancements suggesting they could fundamentally …

Large Language Models (LLMs) are emerging as promising tools in hardware design and
verification, with recent advancements suggesting they could fundamentally reshape …

Qualitative modelling is a technique integrating the fields of theoretical computer science,
artificial intelligence and the physical and biological sciences. The aim is to be able to model …

Java objects used with the standard collection should override both of its equals and
hashCode methods. Both methods need to satisfy the consistency rules or unexpected …

Frameworks that facilitate runtime data sharingacross multiple applications are of great
importance for scientificdata analytics. Although existing frameworks work well overuniform …