Schedule

ICST 2011 Program




ICST Accompanying Program




Selected papers will be published by STVR, a Wiley journal





Monday - March 21, 2011

All
day
Workshops




Tuesday - March 22, 2011

8:00am
8:45am
Registration
8:45am
9:30am
Opening Session
9:30am
11:00am
Keynote: Wolfram Schulte
Software engineering and testing at Microsoft : A research perspective
11:00am
11:30am
Break
11:30am
1:00pm
Research Session R1
Regression Testing


Session Chair:
Robert Feldt
Research Session R2
Service-based and Database Testing

Session Chair:
Massimiliano Di Penta
Research Session R3
Test Data Generation and Design

Session Chair:
Stephane Maag
Songyu Chen, Zhenyu Chen, Zhihong Zhao, Baowen Xu and Yang Feng.
Using Semi-Supervised Clustering to Improve Regression Test Selection Techniques
Colin Atkinson, Florian Barth, Oliver Hummel and Marcus Schumacher.
Towards a Language and Framework for Penurious Testing
Pierre-Cyrille Héam and Cyril Nicaud.
SEED: an Easy-to-Use Random Generator of Recursive Data Structures for Testing
Raul Santelices and Mary Jean Harrold.
Applying Aggressive Propagation-based Strategies for Testing Changes
Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner and Schahram Dustdar.
Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems
Sigrid Eldh, Hans Hansson and Sasikumar Punnekkat.
Analysis of Mistakes as a Method to Improve Test Case Design
Agastya Nanda, Senthil Mani, Saurabh Sinha, Mary Jean Harrold and Alessandro Orso.
Regression Testing in the Presence of Non-code Changes
Shadi Abdul Khalek and Sarfraz Khurshid.
Systematic Testing of Database Engines Using a Relational Constraint Solver
Gordon Fraser and Andreas Zeller.
Exploiting Common Object Usage in Test Case Generation
1:00pm
2:30pm
Lunch



2:30pm
2:42pm

2:43pm
2:55pm

2:56pm
3:08pm

3:09pm
3:21pm

3:22pm
3:34pm

3:35pm
3:47pm

3:48pm
4:00pm

Tools and Services

Ericsson
Expanding Software Testing Research at Ericsson

Mathworks
It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

Berner & Mattner
From test specification to test case execution – one seamless integration

sepp.med
Quality assurance, model centric testing and .getmore: a perfect chain for state of the art testing

Validas AG
Test case generation for safety standards

Centre for Research on Evolution, Search and Testing
AUSTIN and MiLu: Tools for Search Based Test Data Generation and Mutation Testing

German Testing Board
The German Testing Board e.V. and its ongoing work towards tester professionalism

4:00pm
4:30pm
Break
4:30pm
6:00pm
Research Session R4
Oracles

Session Chair:
Lionel Briand
Research Session R5
Model Testing

Session Chair:
Rob Hierons
Research Session R6
Search-Based Testing

Session Chair:
Arnaud Gotlieb
David Schuler and Andreas Zeller.
Assessing Oracle Quality with Checked Coverage
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn.
Efficient Mutation Killers in Action
Gordon Fraser and Andrea Arcuri.
It is Not the Length that Matters, It is How You Control It
Tingting Yu, Ahyoung Sung, Witawas Srisa-an and Gregg Rothermel.
Using Property-Based Oracles when Testing Embedded System Applications
Kirill Bogdanov.
Test generation for X-machines with non-terminal states and priorities of operations
Daniele Romano, Massimiliano Di Penta and Giuliano Antoniol.
An Approach for Search Based Testing of Null Pointer Exceptions
Kavir Shrestha and Matthew Rutherford.
An Empirical Evaluation of Assertions as Oracles
Ajay Chander, Dinakar Dhurjati, Koushik Sen and Dachaun Yu.
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems
Joachim Hänsel, Daniela Rose, Paula Herber and Sabine Glesner.
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems
7:00pm
--
Welcome Reception + Poster round tour




Wednesday - March 23, 2011

8:30am
10:00am
Keynote: Ian Sommerville
Designing for Failure: Challenges for developing and testing complex systems of systems
10:00am
10:30am
Break
10:30am
12:00pm
Research Session R7
Dynamic Analysis and Debugging

Session Chair:
Lori Pollock
Industry Session I1
Real World Testing


Session Chair:
Atif Memon
PhD Symposium Session P1


Session Chair:
Gordon Fraser
Vladimir Rubanov and Eugene Shatokhin.
Runtime Verification of Linux Kernel Modules Based on Call Interception
Thomas Zimmermann, Nachiappan Nagappan, Kim Herzig, Rahul Premraj and Laurie Williams.
An Empirical Sudy on the Relation between Dependency Neighborhoods and Failures
Philipp Zech.
Risk-Based Security Testing in Cloud Computing Environments
Muhammad Zubair Malik, Junaid Haroon Siddiqui and Sarfraz Khurshid.
Constraint-Based Program Debugging Using Data Structure Repair
Jacek Czerwonka, Rajiv Das, Nachiappan Nagappan, Alex Tarvo and Alex Teterev.
CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows
Pedro Luis Mateo Navarro, Diego Sevilla Ruiz and Gregorio Martínez Pérez.
Towards Software Quality and User Satisfaction through User Interfaces
Petar Tsankov, Wei Jin, Alessandro Orso and Saurabh Sinha.
Execution Hijacking: Improving Dynamic Analysis by Flying off Course
Emelie Engström, Per Runeson and Andreas Ljung.
Improving Regression Testing Transparency and Efficiency with History Based Prioritization - an Industrial Case Study
Yves Grasland.
Testing Resource Usage in Home Automation Systems
12:00pm
2:00pm
Lunch
2:00pm
3:30pm
Research Session R8
Web Testing


Session Chair:
Alex Orso
Industry Session I2
Model Testing and Checking

Session Chair:
Ana Cavalli
PhD Symposium Session P2


Session Chair:
Gordon Fraser
Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Tailored Shielding and Baudry, and Sylvain Gombaul.
Tailored Shielding and Bypass Testing of Web Applications
Tommi Takala, Mika Katara and Julian Harty.
Experiences of System-Level Model-Based GUI Testing of an Android Application
Simona Nica.
On the Improvement of the Mutation Score Using Distinguishing Test Cases
Ben Smith and Laurie Williams.
Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities
Daniel Keating, Allan McInnes and Michael Hayes.
Model checking a TTCAN implementation
Sofia Bekrar, Chaouki Bekrar, Roland Groz and Laurent Mounier.
Finding Software Vulnerabilities by Smart Fuzzing
Sara Sprenkle, Lori Pollock and Lucy Simko.
A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications
Dominik Franke and Carsten Weise.
Providing a Software Quality Framework for Testing of Mobile Applications
3:30pm
4:00pm
Break
4:00pm
5:30pm
Research Session R9
Mutation Testing

Session Chair:
Lydie Du-Bousquet
Industry Session I3
Test Generation and Faults

Session Chair:
Per Runeson
PhD Symposium
Session P3

Session Chair:
Gordon Fraser
Frédéric Dadeau, Pierre-Cyrille Héam and Rafik Kheddam.
Mutation-Based Test Generation from Security Protocols in HLPSL
Kyungmin Go, Sungwon Kang, Myungchul Kim, and Jihyun Lee.
A Systematic Test Case Generation Approach for Testing Message Length Variability
Neelesh Bhattacharya.
Software–Hardware Hybrid Systems Verification
Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi and Zengo Furukawa.
Testing of "Go-Back" Functions Based on Pushdown Automata
Jian Sun.
Why are bug reports invalid
Alberto Gonzalez-Sanchez.
Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems
Chixiang Zhou and Phyllis Frankl.
Inferential Checking for Mutants Modifying Database States
Rubén Casado Tejedor, Javier Tuya and Muhammad Younas.
A framework to test advanced web services transactions
7:00pm
--
Social Event




Thursday - March 24, 2011

8:30am
10:00am
Keynote: Walter Tichy
Tunable Architectures or How to Get the Most out of Your Multicore
10:00am
10:30am
Break
10:30am
12:00pm
Research Session R10
Conformance and Security Testing

Session Chair:
Hasan Ural
Research Session R11
Automated Detection and Correction

Session Chair:
Benoit Baudry
Research Session R12
Model Testing and Test Driven Development

Session Chair:
Yves Le Traon
Ahmad Saifan, Juergen Dingel, Jeremy Bradbury and Ernesto Posse.
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems
Haihao Shen, Jianhong Fang and Jianjun Zhao.
EFindBugs: Effective Error Ranking for FindBugs
Hadi Hemmati, Andrea Arcuri and Lionel Briand.
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection
Haitao Dan and Rob Hierons.
Conformance Testing from Message Sequence Charts
Zhi Da Luo, Raja Das and Yao Qi.
MulticoreSDK : A Practical and Efficient Deadlock Detector for Real-World Applications
Adnan Causevic, Daniel Sundmark and Sasikumar Punnekkat.
Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review
Domnic Letarte, François Gauthier and Ettore Merlo.
Security Model Evolution of PHP Web Applications
Nadjib Lazaar, Arnaud Gotlieb and Yahia Lebbah.
A Framework for the Automatic Correction of Constraint Programs
12:00pm
2:00pm
Lunch
2:00pm
3:00pm
Keynote: Bernd Leukert
Customers as Integral Part of SAP's Quality Strategy
3:00pm
4:30pm
Panel Session: The Future of Testing Research
Jürgen Allgayer (Google, Switzerland)
Lionel Briand (Simula, Norway)
Maximilian Fuchs (BMW, Germany)
Alessandro Orso (Georgia Tech, USA)
Mauro Pezzé (University of Milano, Italy)
Brian Robinson (ABB, USA)
Jan Tretmans (Radboud University, The Netherlands)
4:30pm
5:00pm
Break
5:00pm
6:00pm
Closing Session + SC elections
7:00pm
--
SC/OC/PC dinner




Friday - March 25, 2011

All
day
Workshops
4:00pm
6:00pm
Certification Exams