The adoption of agile approaches has put an increased emphasis on testing, resulting in
extensive test suites. These suites include a large number of tests, in which developers …

A test oracle determines whether a test execution reveals a fault, often by comparing the
observed program output to the expected output. This is not always practical, for example …

Test suites should test exceptional behavior to detect faults in error-handling code. However,
manually-written test suites tend to neglect exceptional behavior. Automatically-generated …

The exponential growth of social media platforms such as Twitter and Facebook has
revolutionized textual communication and textual content publication in human society …

Procedure specifications are useful in many software development tasks. As one example,
in automatic test case generation they can guide testing, act as test oracles able to reveal …

The exponential growth of social media platforms has brought about a revolution in
communication and content dissemination in human society. Nevertheless, these platforms …

Symbolic execution has attracted significant attention in recent years, with applications in
software testing, security, networking and more. Symbolic execution tools, like CREST …

A powerful, but limited, way to view software is as source code alone. Treating a program as
a sequence of instructions enables it to be formalized and makes it amenable to …

Metamorphic relations (MRs) describe the invariant relationships between program inputs
and outputs. By checking for violations of MRs, faults in programs can be detected …

The level and quality of automation dramatically affects software testing activities,
determines costs and effectiveness of the testing process, and largely impacts on the quality …