ICTSS'11

November 7-10, 2011, Paris, France

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


SPONSORSHIPS:






Tutorials on the Tutorial Day (7.th Nov)

Smartesting: Model-driven testing for Information systems – From business requirements to test repositories

Abstract: This tutorial shows how model-driven testing renews the whole process of functional software testing for IT projects. Model-driven testing provides full support for test production and maintenance, with manual and/or automated test execution. It supports the phases of designing the test generation models, generating and documenting the tests, producing and maintaining the bi-directional traceability between tests and business requirements, and implementing the test automation layer. This tutorial addresses these points by presenting a tool-based model-driven testing for Information Systems process, giving the specifics of testing large-scale information systems, including packaged applications (ERP, CRM, HRM, \).
Pre-requisites : TBA
Speaker: Bruno Legeard – Jean-Pierre Schoch
Short bio : Bruno Legeard, CTO of Smartesting and Professor of Software Engineering at The University of Franche-Comté (France). Prof. Dr. Bruno Legeard, co-founder and CTO of Smartesting, is internationally recognized as an expert and a well known speaker in the model-driven testing field. He has given keynotes at numerous testing and software engineering conferences.
Jean- Pierre Schoch, Model-driven testing Expert and Chief Architect at Smartesting Jean-Pierre joined Smartesting in May 2008 after 13 years with Rational in the United States and in France promoting object-oriented technologies, and more specifically Model-Driven Development and Model-Driven Architecture approaches. The decision to join Smartesting was largely motivated by the prospect of contributing to the development of a Model-driven Testing approach to industrialize software testinng. Detailed Info: Flyer
Slides(pdf)

Microsoft Research: Parameterized Unit Testing

Abstract: Developer testing has been widely recognized as an important and valuable means of improving software reliability. Recently parameterized unit testing has emerged as a very promising and effective methodology to separate two concerns: the specification of externally visible behavior by developers (black-box) and the generation and selection of relevant test inputs by tools (white-box). This tutorial presents principles, techniques, and applications of parameterized unit testing in practice.
Pre-requisites : A laptop with a web browser, knowledge of programming in C# or Java, basic knowledge of (unit) testing
Speaker: Nikolai Tillmann
Short bio : Nikolai Tillmann is a Principal Research Software Design Engineer at Microsoft Research. He recently started the TouchStudio project, which enables anyone to write programs for mobile devices on mobile devices. He leads the Pex project, an automatic test-case generator for .NET applications based on parameterized unit testing and dynamic symbolic execution. http://pex4fun.com, using the same underlying technology, hosts a serious cloud-based game that helps students improve their programming skills. He also works on the Spur project, a tracing Just-In-Time compiler for .NET and JavaScript code. Previously he worked on AsmL, Spec Explorer, and XRT, tools for model-based testing.
Slides(pptx) Slides(pdf)