Four Ph.D. Proposals at ForTesSE Team (Paris-Sud)

Four Ph.D. proposal at Paris-Sud (Plateau de Saclay, Team ForTesSE, at LRI (Laboratoire de Recherche en Informatique) (LRI) on modelisation and formal testing combined with proof techniques.

  1. Model-Based testing of Concurrent JAVA Programs [PDF]
  2. Model-based Testing of Concurrent Operating-System Functions [PDF]
  3. Model-based Testing of Operating-System-Level Security Mechanisms [PDF]
  4. GUI-level Sequence testing with HOL-TestGen (CIFRES) [PDF]

Application (CV and cover letter) to be sent before July 15, 2012.

This entry was posted in PhD. Bookmark the permalink.

Comments are closed.