InfinIT and ICTSS invite you to a series of events:


and testing of other complex software

Aalborg, 19th-20th November 2012

Do not miss this opportunity to meet Klaus Havelund, Computer Scientist at NASA's Jet Propulsion Laboratory, and participate in an interesting panel discussion.

> Read article (in Danish) about the event here


Monday November 19th

Part 1:

16:00 Welcome by Kim Guldstrand Larsen

Panel participants:

Klaus Havelund, NASA's Jet Propulsion Laboratory, US

The Curiosity rover, launched by NASA November 26 2011, is a car-sized robotic rover exploring Gale Crater on Mars. It has now successfully completed the first year of its mission. This has required major technological and scientific developments, including development of a lot of highly complex software. This has been tested using both conventional and new advanced formal testing techniques.

Frits Vaandrager, Radboud University Nijmegen, NL

Mads Budde, Vice President for Programs & Software, TERMA A/S


Panel debate:

The purpose of this panel is to discuss how such testing techniques can be put into wider practice, how to combined them with conventional testing techniques and formal methods, and point out further research directions. The panel will provide an inside perspective of the launch and developments by one of the involved scientists.

17:45 Drinks and networking

Part 2:
20:00 Dinner

Tuesday November 20th

Part 3:

9:00 Keynote Talk by Klaus Havelund, Jet Propulsion Laboratory – Laboratory for Reliable Software, USA on Requirements-Driven Log Analysis. Further info:
10:00 Coffee
10:30 Joerg Brauer, Jan Peleska and Uwe Schulzeon Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools

Aymeric Hervieu, Beniot Baudry and Arnaud Gotlieb on Managing Execution Environment Variablilty during Software Testing: an industrial experience

Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jand Endresen and Tormod Wien on A Technique for Agile and Automatic Interaction Testing for Product Lines

Daniel A. Mayer, Orie Steele, Susanne Wetzel and Ulrike Meyer on CaPTIF: Comprehensive Performance TestIng Framework

Further info:
12:30  Lunch
Please register and pay using this link no later than Monday 12th November 2012.

Participation fee:

Part 1: Dkk 250
Part 2: Dkk 450
Part 3: Dkk 400
Part 1+2: Dkk 600
Part 1+3: Dkk 600
Part 2+3: Dkk 800
Part 1+2+3: Dkk 1000

Cancellation later than November 15th no refunding

Time and place:

Time:               Monday November 19th 2012 and Tuesday November 20th 2012

Place:              Helnan Phønix Hotel
                        Vesterbro 77
                        9000 Aalborg

Contact:           Tina Lindekilde Sørensen, Phone: +45 9940 3501

Contact e-mail:

Tid og sted

Dato:  19. november 2012 - 20. november 2012
Sted:  Helnan Phønix Hotel
Vesterbro 77
9000 Aalborg
Pris:  Participation fee: Part 1: Dkk 250 Part 2: Dkk 450 Part 3: Dkk 400 Part 1+2: Dkk 600 Part 1+3: Dkk 600 Part 2+3: Dkk 800 Part 1+2+3: Dkk 1000
Kontakt navn:  Tina Lindekilde Sørensen, Phone: +45 51 42 38 14
Kontakt e-mail

Se alle Infinit arrangementer

Netværkets aktiviteter er medfinansieret af Uddannelses- og Forskningsministeriet og drives af et konsortium bestående af:
Alexandra Instituttet . BrainsBusiness . CISS . Datalogisk Institut, Københavns Universitet . DELTA . DTU Compute, Danmarks Tekniske Universitet . Institut for Datalogi, Aarhus Universitet . IT-Universitetet . Knowledge Lab, Syddansk Universitet . Væksthus Hovedstadsregionen . Aalborg Universitet