[Research interests] [Projects] [Organization] [Teaching] [Publications]
 |
Dr. Johan Oudinet | |
|
Room: 035 Phone: -4 1994 Fax: -4 5079 johan oudinetKqz6∂kit edu | ||
Overview
Research Interests
Model-Based Testing, Automatic Test Case Generation, Random exploration, Coverage criteria, Testing security protocols, Penetration testing
Projects
Organization
- General Co-chair of the 8th Workshop on Advances in Model Based Testing (A-MOST 2012)
Teaching
| Title | Source | Date | |
|---|---|---|---|
| Security Mutants for Property-Based Testing | In Proceedings of the 5th International Conference on Tests and Proofs (TAP) |
2011 | |
| Uniform Monte-Carlo Model Checking | In Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering (FASE) |
2011 | |
| Coverage-biased random exploration of large models and application to testing | In International Journal on Software Tools for Technology Transfer (STTT) | 2011 |
