| Legend | ||||||
|---|---|---|---|---|---|---|
| Keynote | Regular Session | Industry Practice | Fast Abstracts | Student Paper | Panel | |
| 8:30am - 9:30 | Keynote: "Delivering high quality software at Cisco," Michel Langlois | |||
| 9:30 - 10:00 | Coffee Break | |||
| 10:00 - Noon | Testing II | Security | Empirical Studies | |
| Noon - 2:00pm | Lunch | |||
| 2:30 - 9:30 | Social Event at Mont Saint-Michel (departs at 2:30), banquet at Palais du Grand Large | |||
Michel Langlois is VP of Software Engineering in charge of Cisco IOS (Internetworking Operating System). Cisco IOS runs over 80% of routers and switches that are the backbone of the global Internet as well as most of the Fortune 500 Enterprise networks. Michel leads the development of IOS Software for Operating Systems, Layer 2 and Layer 3 protocols, IOS Security, High-Availability and Development Engineering Tools & Education investments, overseeing the activities of over 800 network engineers working on the code base which fuels close to 75% of Cisco's revenues. As a result, Michel is quite knowledgeable about quality issues in real-time embedded software. Cisco's customers demand 5 9's of network availability using IOS based routers and switches and expect over 100K hours of MTBF for IOS software. Moreover, customers expect reliable and secure software even though IOS consists of over 13 million non-comment lines of code.
Michel would like to share his experience in delivering high quality software in spite of the challenges of a large code base that has been enhanced over 10 years, multiple hardware platforms, multiple software trains/releases and hundreds of Cisco engineers simultaneously committing code into the IOS code base. He has driven quality software development and test practices into the engineering organization with excellent results. He would also like to discuss the tools, metrics and methods that work well and the ones that don't.
Boundary Coverage Criteria for Test Generation from Formal Models
N. Kosmatov, B. Legeard, F. Peureux, M. Utting
An MDA Approach to Testing the Tarzan Model Transformation Engine
J. Steel, M. Lawley
Test-adequacy and statistical validity: combining different properties of a test-set
S. Kuball, J. May
Plannable Test Selection Criteria for EFSMs Extracted From Operational Specifications
A. Paradkar
Bypass Testing of Web Applications
J. Offutt, Y. Wu, X. Du, H. Huang
Detecting and Debugging Insecure Information Flows
W. Masri, A. Podgurski, D. Leon
An Approach to Help Select Trustworthy Web Services Components
J. Zhang
Non-Detrimental Web Application Security Auditing
Y. W. Huang, C. H. Tsai, D. T. Lee, S. Y. Kuo
Are Found Defects an Indicator of Software Quality? - An Investigation in a Controlled Case Study
P. Runeson, M. Holmstedt Jansson, F. Scheja
An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs
M. van der Meulen, P. Bishop, M. Revilla
Empirical Studies of Prioritizing JUnit Tests for Regression Testing
H. Do, G. Rothermel, A. Kinneer
An Empirical Study on Reliability and Fault Correlation Models for Diverse Software Systems
X. Cai, M. Lyu