Automated testing is challenging but necessary to test the increasingly complex existing software applications. One way to automate testing activities is through model-based testing (MBT). In model-based testing (MBT), models function as oracles to decide whether test cases pass or fail. Models are usually created on purpose for MBT either textual or graphical. Models used in MBT are diverse depending on the characteristics to be tested.

This talk presents a research path followed to overcome the challenges of automated testing by combining model-based testing and reverse engineering. Along the way, the expressive power of the models used and the modeling effort decrease, as the test objective becomes more focused, yet applicable to a wider range of software applications. Finally, it presents recent research developing a fully automatic technique capable of testing web applications in a maintenance context.