About us
Espace utilisateur
Education
INSTN offers more than 40 diplomas from operator level to post-graduate degree level. 30% of our students are international students.
Professionnal development
Professionnal development
Find a training course
INSTN delivers off-the-self or tailor-made training courses to support the operational excellence of your talents.
Human capital solutions
At INSTN, we are committed to providing our partners with the best human capital solutions to develop and deliver safe & sustainable projects.
Thesis
Home   /   Post Doctorat   /   Integration Testing with Symbolic Execution for Component-Based Systems

Integration Testing with Symbolic Execution for Component-Based Systems

Computer science and software Engineering sciences

Abstract

Laboratory

Département Ingénierie Logiciels et Systèmes (LIST)
Laboratoire d’Ingénierie dirigée par les modèles pour les Systèmes Embarqués
Top envelopegraduation-hatlicensebookuserusersmap-markercalendar-fullbubblecrossmenuarrow-down