ExpertInnen der Forschungsgruppe Verification & Validation sind Teil des Programmkomitees der wissenschaftliche Konferenz ASQT 2013 die von 19. - 20. September an der TU Graz stattfindet.
Das Schwerpunktthema der Konferenz ist Sicherheit in der IT und umfasst prozesstechnische und technologische Aspekte der modernen Informationssicherheit.
Neben zahlreichen Vorträgen fokussiert sich die Konferenz auf eine hochwertige Mischung aus Fallstudien und wissenschaftlichen Beiträgen zum Thema Softwarequalität.
Das AIT ist im Themenkreis "Testdesign & Teststrategy" mit dem Vortrag Efficient Test-Case Generation For Compositional Real-Time Specifications der ExpertInnen Willibald Krenn, Dejan Ničković und Loredana Tec vertreten.
Link: ASQT 2013
Download: ASQT-Programm