Email Gateway (Aug 18 2022 at 20:09): Email Gateway (Aug 18 2022 at 20:09):From: Burkhart Wolff <Burkhart.Wolff@lri.fr>
Dear all,
there are several Phd Positions available
at the university of Paris-Sud (Plateau de Saclay), in the
Groupe ForTesSE at the Laboratoire de Recherche
en Informatique (LRI). The Phd projects (funded by EU
an EU project as well as industrial partners)
are oriented towards model-based testing, in combination
with formal proofs in isabelle/HOL.
A) Title : "Model-Based testing of Concurrent JAVA Programs"
Description: http://www.lri.fr/~wolff/diss-proposals/MBT-Concur-Java.pdf
B) Title : "Model-based Testing of Concurrent Operating-System Functions"
Description: http://www.lri.fr/~wolff/diss-proposals/MBT-ConcurrentOSTesting.pdf
C) Title : "Model-based Testing of Operating-System-Level Security Mechanisms"
Description: http://www.lri.fr/~wolff/diss-proposals/MBT-OSLevelSecurityTesting.pdf
D) (CIFRE) Title : "GUI-level Sequence testing with HOL-TestGen"
Description: http://www.lri.fr/~wolff/diss-proposals/GUI-levelSequenceTesting.pdf
Applicants should send me their CV not later than the 15th July 2012.
Burkhart Wolff (www.lri.fr/~wolff/)
Equipe ForTesSE (fortesse.lri.fr)
Last updated: Apr 20 2024 at 01:05 UTC