Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Séminaire DIGITEO: Software engineering and testing at Microsoft : A research perspective, Wolfram Schulte, Microsoft Research
Séminaire DIGITEO: Software engineering and testing at Microsoft : A research perspective, Wolfram Schulte, Microsoft Research
Séminaire DIGITEO: Software engineering and testing at Microsoft : A research perspective, Wolfram Schulte, Microsoft Research
18 mars 2011

SUPÉLEC, Amphi F3-05. Vendredi 18 Mars à 14h30
Abstract: In this talk I will shortly present Microsoft's approach to testing. I will then drill down into technologies (and tools) that my team championed in the last years: model-based testing, security te

SUPÉLEC, Amphi F3-05. Vendredi 18 Mars à 14h30

Abstract: Software is changing the world. But the software that drives this change is continuously growing in complexity and functionality. At the same time release cycles are shortening and customer expectations are rising. How does Microsoft guarantee trustworthy software in this challenging environment? In this talk I will shortly present Microsoft's approach to testing: its engineering life cycle, the role that testers play, and the used test tools and systems. I will then drill down into technologies (and tools) that my team championed in the last years: model-based testing with SpecExplorer, unit testing with Pex, security testing with Sage, and concurrency testing with Chess and friends. While these tools improve the effectiveness of software testing dramatically, there are still plenty of research challenges ahead, some of which I will address. Only if we tackle these successfully, we might be able to say someday that software bugs are as rare as power outages.

 

 

News
George Manoussakis, lauréat 2018, prix de thèse (accessit) Charles Delorme
18 septembre 2018
George Manoussakis, est lauréat de prix de thèse (accessit) Ch. Delorme 2018. Il a soutenu sa thèse au LRI/Galac en Novembre 2017 sous la direction de J. Cohen et A. Deza. Depuis Septembre 2018 il est MdeC à l'Université de Versailles/Li-PaRAD.

TrackML dans Nature
21 janvier 2018
L'apprentissage automatique peut-il aider la physique des hautes énergies à découvrir et à caractériser de nouvelles particules ? TAO participe à l'organisation du challenge TrackML avec le CERN. La seconde phase de la compétition utilisera Codalab.

Un article de Isabelle Guyon sur la démocratisation de l'IA
19 mars 2018
Lien vers l'article paru dans le journal le monde :
http://www.lemonde.fr/acces-restreint/sciences/article/2018/04/08/a4544bd07cad09fe52980c0f82c08b34_5282548_1650684.html