Many modern user-intensive applications, such as Web applications, must satisfy the
interaction requirements of thousands if not millions of users, which can be hardly fully …

Search‐based crash reproduction approaches assist developers during debugging by
generating a test case, which reproduces a crash given its stack trace. One of the …

Fuzz testing consists of automatically generating and sending malicious inputs to an
application in order to hopefully trigger a vulnerability. In order to be efficient, the fuzzing …

Models-in particular finite state machine models-provide an invaluable source of information
for the derivation of effective test cases. However, models usually approximate part of the …

Bug reports are used by software testers to identify abnormal software behaviour. In this
paper, we propose a multi-objective evolutionary approach to automatically generate finite …

Test suites tend to become large and complex after software evolution iterations, thus
increasing effort and cost to execute regression testing. In this context, test suite reduction …

This PhD project aims to automatically learn transition systems capturing the behaviour of a
whole family of software-based systems. Reasoning at the family level yields important …

Abstract Models inferred from system execution logs can be used to test general system
behaviour. In this paper, we infer test models from user bug reports that are written in the …

The object‐oriented (OO) systems have emerged as the core systems in every field. Test
case generation (TCG) for these systems has been identified as one of the crucial activity of …

Future Internet applications are expected to be much more complex and powerful, by
exploiting various dynamic capabilities For testing, this is very challenging, as it means that …