ICST 2011 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 |
|
|
