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.
- Model-Based testing of Concurrent JAVA Programs [PDF]
- Model-based Testing of Concurrent Operating-System Functions [PDF]
- Model-based Testing of Operating-System-Level Security Mechanisms [PDF]
- GUI-level Sequence testing with HOL-TestGen (CIFRES) [PDF]
Application (CV and cover letter) to be sent before July 15, 2012.