Rather than tediously writing unit tests manually, tools can be used to generate them
automatically-sometimes even resulting in higher code coverage than manual testing. But …

In the past decades, a significant increase has been observed in cyberattacks on the web-
based systems used for financial purposes. Such individual systems often contain security …

PHP web applications routinely generate invalid HTML. Modern browsers silently correct
HTML errors, but sometimes malformed pages render inconsistently, cause browser …

The frequent non-availability of an automated oracle means that, in practice, checking
software behaviour is frequently a painstakingly manual task. Despite the high cost of …

We prove several decidability and undecidability results for the satisfiability and validity
problems for languages that can express solutions to word equations with length constraints …

Satisfiability Modulo Theories (SMT) solvers have been widely applied in automated
software analysis to reason about the queries that encode the essence of program …

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 …

Software testing is one of the significant stages in software development life cycle which is a
costly and time‐consuming task. Automatic tests data generation is one of the traditional …

The problem of solving string constraints together with numeric constraints has received
increasing interest recently. Existing methods use either bit-vectors or automata (or their …

String test cases are required by many real-world applications to identify defects and
security risks. Random Testing (RT) is a low cost and easy to implement testing approach to …