The deadline to submit to The Third International Workshop on Security Testing, SECTEST’12, is approaching (30 January). Here is a reminder about SECTEST’s background and objectives: To improve software security, several techniques, including vulnerability modelling and security testing, have been developed but the problem remains unsolved. On one hand, the workshop tries to answer how […]
An upcoming exciting event. The Workshop HOWARD-60 dedicated to the anniversary of a good friend: Howard Barringer. This is a very exciting event and a tremendous honor to be an invited speaker. HOWARD-60 is bringing scientists from both academia and industry together to debate on how to monitor, analyse and guide the execution of programs […]
The journal paper More Testable Properties has been recently accepted for publication in the journal Software Tools for Technology Transfer. This paper is joint work with my friends and colleagues from Verimag (Jean-Claude Fernandez and Laurent Mounier) and from Inria Rennes – Bretagne Atlantique (Thierry Jéron and Hervé Marchand). The paper shall appear in STTT […]
Several research internships are available at LIG laboratory within the VASCO team. Topics of the internship include (but are not limited to): runtime verification and program monitoring testing Mobile applications (especially Android) web and e-commerce services home-automation Contact me for more details.