Automatic Program Repair (APR) is a practical research topic that studies techniques to
automatically repair programs to fix bugs. Most existing APR techniques are designed for …

Many software systems today face uncertain operating conditions, such as sudden changes
in the availability of resources or unexpected user behavior. Without proper mitigation these …

Modern software systems often have to cope with uncertain operation conditions, such as
changing workloads or fluctuating interference in a wireless network. To ensure that these …

Due to the growing presence of Internet of Things (IoT) apps and devices in smart homes
and smart cities, there are more and more concerns about their security and privacy risks …

The growing adoption of declarative software specification languages, coupled with their
inherent difficulty in debugging, has underscored the need for effective and automated …

Alloy is a lightweight specification language based on relational logic, with an analysis
engine that relies on SAT solvers to automate bounded verification of specifications. In spite …

Software engineers have long employed formal verification to ensure the safety and validity
of their system designs. As the system changes---often via predictable, domain-specific …

Alloy is a declarative modeling language based on a first-order relational logic. Its constraint-
based analysis has enabled a wide range of applications in software engineering, including …

Self-adaptive systems increasingly rely on black-box predictive models (eg, Neural
Networks) to make decisions and steer adaptations. The lack of transparency of these …

Bounded formal analysis techniques (such as bounded model checking) are incredibly
powerful tools for today's software engineers. However, such techniques often suffer from …