38th TAV Meet­ing - Test, Ana­lys­is and Veri­fic­a­tion of Soft­ware

On October 15 -16, 2015, the 38th Meeting of the "GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV)" will take place at the Zukunftsmeile Fürstenallee.
                                                                                                                                   

TAV is a facility of the Software Engineering Section of the GI -- Gesellschaft für Informatik e.V. The work focuses on dynamic testing, static analysis and formal techniques of program verification and issues of test management.

For more information, please see here.