The 23rd IFIP Int. Conference on Testing Software and Systems (ICTSS'11)
The conference location is the 'Institut Henri Poincare"
salle : Amphithéâtre Hermite
11 rue Pierre et Marie Curie
75005 Paris
Google-Maps
and
Local Plan
ICTSS-11 Scientific Programme
Scientific Programme
Monday, Nov.7: Tutorial Day
8:30-10:00: Registration
Session I: Smartesting: Model-driven testing for Information systems
(9:30 – 12:30)
Session II: Microsoft Research: Parameterized Unit Testing
(14:00 – 17:00)
16:00-18:00: Registration
20:00 Program Committee Dinner
Tuesday, Nov.8: Scientific Programme
8:30- 9:00: Registration
9:00-10:00: Session I
Conference Welcome
10:00 - 10:30: Coffee Break
10:30 - 12:30: Session II (Foundations)
Neil Walkinshaw.
Assessing Test Adequacy for Black-Box Systems Without Specifications
Alexandre Petrenko and Nina Yevtushenko.
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
12:30 - 14:00: Pause for Lunch
14:00 - 15:30: Session III (Industrial Applications)
Jan Peleska, Florian Lapschies, Elena Vorobev, Helge Loeding, Peer Smuda, Hermann Schmid and Cornelia Zahlten.
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain
Hiroyuki Shinbo and Toru Hasegawa.
An empirical study on applying anomaly detection technique to detecting software and communication failures in mobile data communication services
15:30 - 16:00: Coffee Break
Yves Grasland, Lydie Du Bousquet, Roland Groz and Ioannis Parissis
Home Automation Systems Testing : A Coverage Measure for Hybrid Automata
Nanxing Chen and César Viho
An Approach to Passive Interoperability Testing
20:00 Conference Dinner More Info
Wednesday, Nov. 9: Scientific Programme
8:30- 9:00: Registration
9:00-10:00: Session V
Conference Announcements
Manuel Nunez.
Formal Testing of Timed and
Probabilistic Systems by Manuel Nunez (Invited Talk)
10:00 - 10:30 Coffee Break
10:30 - 12:30: Session V (Testing as Analysis-Technique)
Karl Meinke and Fei Niu.
Learning-Based Testing for Reactive Systems using Term Rewriting Technology
12:30 - 14:00: Pause for Lunch
14:00 - 15:30: Session VI (Testing as Analysis-Technique)
Ivan Enderlin, Frederic Dadeau, Alain Giorgetti and Abdallah Ben Othman.
Praspel: A Specification Language for Contract-Based Testing in PHP
Gregor Bochmann, Guy-Vincent Jourdan and Bo Wan.
Improved Usage Model for Web Applications Reliability Testing
Amel Mammar, Ana Cavalli, Willy Jimenez, Wissam Mallouli and Edgardo Montes de Oca.
Using testing techniques for vulnerability detection in C programs
15:30 - 16:00: Coffee Break
16:00 - 17:00: Closing Session