Symbolic PathFinder (SPF) is a software analysis tool that combines symbolic execution with
model checking for automated test case generation and error detection in Java bytecode …

Energy is a critical resource for apps that run on mobile devices. Among all operations,
making HTTP requests is one of the most energy consuming. Previous studies have shown …

A smartphone's display is one of its most energy consuming components. Modern
smartphones use OLED displays that consume more energy when displaying light colors as …

Constraints in form regular expressions over strings are ubiquitous. They occur often in
programming languages like Perl and C#, in SQL in form of LIKE expressions, and in web …

Stranger is an automata-based string analysis tool for finding and eliminating string-related
security vulnerabilities in PHP applications. Stranger uses symbolic forward and backward …

We introduce a new paradigm for analysing and finding bugs in quantum circuits. In our
approach, the problem is given by a ‍triple {P} C {Q} and the question is whether, given a set …

Most common vulnerabilities in Web applications are due to string manipulation errors in
input validation and sanitization code. String constraint solvers are essential components of …

We present an automated approach for detecting and quantifying side channels in Java
programs, which uses symbolic execution, string analysis and model counting to compute …

Verifying string manipulating programs is a crucial problem in computer security. String
operations are used extensively within web applications to manipulate user input, and their …

We propose a novel technique for statically verifying the strings generated by a program.
The verification is conducted by encoding the program in Monadic Second-order Logic …