ICTSS'11

November 7-9, 2011, Paris, France

  • Home
  • Call for Papers
  • Submissions
  • Important Dates
  • Program
  • Tutorials
  • Registration
  • Program Commitee
  • Venue
  • History
  • Organization


SPONSORSHIPS:






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
Marie-Claude Gaudel. Counting for Random Testing (Invited Talk)

10:00 - 10:30: Coffee Break

10:30 - 12:30: Session II (Foundations)

Neil Walkinshaw. Assessing Test Adequacy for Black-Box Systems Without Specifications
Ana Cavalcanti, Marie-Claude Gaudel and Robert Hierons. Conformance Relations for Distributed Testing based on CSP
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
Petur Olsen, Jan Tretmans and Johan Foederer. Model-Based Testing of Industrial Transformational Systems

15:30 - 16:00: Coffee Break

16:00 - 17:00: Session IV: Short Papers Short Paper Proceedings

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
Christian Schwarzl, Bernhard K. Aichernig and Franz Wotawa. Compositional Random Testing using Extended Symbolic Transition Systems
Kalou Cabrera Castillos, Frederic Dadeau, Jacques Julliand and Safouan Taha. Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests
Marius Mikučionis, Goran Frehse, Brian Nielsen and Kim G. Larsen. 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)

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