Testing and Analysis of Software Systems