Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Sciences informatiques
Auteur, co-auteur :
BRIAND, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
NEJATI, Shiva ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
SABETZADEH, Mehrdad ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Date de publication/diffusion :
mai 2016
Nom de la manifestation :
38th International Conference on Software Engineering (ICSE 2016)
Lieu de la manifestation :
Austin, TX, Etats-Unis
Date de la manifestation :
May 14-22 2016
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion
