Testing Listado de artículos correspondientes a la sesión Testing Using Model Checking to Generate Test Cases for Android ApplicationsProperty based Testing of XQuery ProgramsA Collection of Website Benchmarks Labelled for Template Detection and Content Extraction