ICTSS'11
November 7-9, 2011, Paris, France
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
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
Counting for Random Testing (Invited Talk)
10:00 - 10:30: Coffee Break
10:30 - 12:30: Session II (Foundations)
Assessing Test Adequacy for Black-Box Systems Without Specifications
Conformance Relations for Distributed Testing based on CSP
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
12:30 - 14:00: Pause for Lunch
14:00 - 15:30: Session III (Industrial Applications)
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain
An empirical study on applying anomaly detection technique to detecting software and communication failures in mobile data communication services
Model-Based Testing of Industrial Transformational Systems
15:30 - 16:00: Coffee Break
16:00 - 17:00: Session IV: Short Papers Short Paper Proceedings
Home Automation Systems Testing : A Coverage Measure for Hybrid Automata
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
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)
Learning-Based Testing for Reactive Systems using Term Rewriting Technology
Compositional Random Testing using Extended Symbolic Transition Systems
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests
Monitoring Dynamical Signals while Testing Timed Aspects of a System
12:30 - 14:00: Pause for Lunch
14:00 - 15:30: Session VI (Testing as Analysis-Technique)
Praspel: A Specification Language for Contract-Based Testing in PHP
Improved Usage Model for Web Applications Reliability Testing
Using testing techniques for vulnerability detection in C programs