Robot - Doctor

Program
ˇˇ

05/16/13

Home
Topics
Theme
Program
Keynote
Social Event
Submission
Proceedings
Journal SI
Dates
Organisers

Please also visit related events:

QSIC 2013

ˇˇ

Final Program

(Last Update: 14 May 2013)


Day 1: 18 May 2013
8:30-9:00 Opening [Session Chair: Henry Muccini and Zhenyu Chen]
9:00-10:30 Keynote [Session Chair: Henry Muccini]
Jerry Gao and Wei-Tek Tsai, Mobile Testing as a Service on Cloud
10:30-11:00 Coffee Break
11:00-12:30 Session 1: Testing-as-a-Service (I) [Session Chair: Jerry Gao]
Oleksii Starov and Sergiy Vilkomir. Integrated TaaS Platform for Mobile Development: Architecture Solutions
Paulo Moura and Fabio Kon. Automated Scalability Testing of Software as a Service
Francesco De Angelis, Daniele Fan and Andrea Polini. ParTes: A Test Generation Strategy for Choreography Participants
Muyang Li, Xiaoying Bai, Xiaofei Huang, Wei-Tek Tsai and Jerry Gao. Vee@Cloud: the Virtual Test Lab on the Cloud  (short paper)
12:30-14:00 Lunch
14:00-14:50 Session 2: Testing-as-a-Service (II)[Session Chair: Wei-Tek Tsai]
Wei-Tek Wei-Tek Tsai, Charles J. Colbourn, Guanqiu Qi, Jie Luo, Qingyang Li and Xiaoying Bai. Test Algebra for Combinatorial Testing
Seema Jehan, Ingo Pill and Franz Wotawa. Functional SOA Testing Based on Constraints
14:50-16:00 Charatte I (Group, followed by Plenary) [Session Chair: Henry Muccini]
Group discussion on the identification of key research problems in automating Testing-as-a-Service and analysis their practical implications, followed by a brief plenary report on group discussion results. 
16:00-16:30 Coffee Break
16:30-17:40 Session 3: Testing Distributed, Concurrent and Parallel Systems [Session Chair: Andrea Polini]
Jochen Schimmel, Korbinian Molitorisz, Ali Jannesari and Walter F. Tichy. Automatic Generation of Parallel Unit Tests
Yan Hu, Jun Yan, Jian Zhang and He Jiang. Profile Directed Systematic Testing of Concurrent Programs
Changjiang Jia and W.K. Chan. Which Compiler Optimization Options Should I Use for Detecting Data Races in Multithreaded Programs?  (short paper)
17:40-18:00 Announcement
19:30-- Workshop Dinner
Day 2: 19 May 2013
8:30-9:40 Session 4: Security Testing [Session Chair: ZhenYu Chen]
Andrea Avancini and Mariano Ceccato. Security Testing of the Communication among Android Applications
Donia Elkateb, Yehia Elrakaiby, Tejeddine Mouelhi and Yves Le Traon. Access Control Enforcement Testing
Josip Bozic and Franz Wotawa. XSS Pattern for Attack Modeling in Testing (short paper)
9:40-10:30 Charrette II (Group) [Session Chair: ZhenYu Chen]
Group discussion on the development of a research agenda and roadmap for research on Testing-as-a-Service. 
10:30-11:00 Coffee Break
11:00-12:30 Session 5: Test Case Generation and Selection [Session Chair: Sigrid Eldh]
Cu Duy Nguyen, Paolo Tonella, Alessandro Marchetto, Kiran Lakhotia and Mark Harman. Automated Generation of State Abstraction Functions using Data Invariant Inference
Melanie Diepenbeck, Mathias Soeken, Daniel Gro?e and Rolf Drechsler. Towards Automatic Scenario Generation from Coverage Information
Chin-Yun Hsieh, Chen-Hsin Tsai and Yu Chin Cheng. Test-Duo: a Framework for Generating and Executing Automated Acceptance Tests from Use Cases  (short paper)
Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Elmar Juergens, Rudolf Vaas and Karl-Heinz Prommer. Did We Test Our Changes? Assessing Alignment between Tests and Development in Practice  (short paper)
12:30-14:00 Lunch
14:00-15:00 Session 6: Reuse, Refactoring and Regression Test [Session Chair: Gilles Perruin]
Everton Alves, Patricia Machado, Tiago Massoni and Samuel Santos. A Refactoring-based Approach for Test Case Selection and Prioritization
Werner Janjic and Colin Atkinson. Utilizing Software Reuse Experience for Automated Test Recommendation
15:00-16:00 Session 7: Application Software Testing [Session Chair: John Hughes]
Kai Pan, Xintao Wu and Tao Xie. Automatic test generation for mutation testing on database applications
Redge Bartholomew. An Industry Proof-of-Concept Demonstration of Automated Combinatorial Test
Andreza Castro, Gisele Macedo, Eliane Collins and Arilo Dias-Neto. Extension of Selenium RC Tool to Perform Automated Testing With Databases in Web Applications
16:0-16:30 Coffee Break
16:30-17:30 Session 8: Testing and Debugging [Session Chair: Tao Xie]
Giovanni Denaro, Mauro Pezzˇ§ˇ§ and Mattia Vivanti. Quantifying the Complexity of Dataflow Testing
Alpana Dubey and Murthy Pvr. Computation and Visualization of Cause-Effect Paths
Mohammad Asif and Raghu Reddy. JIFFY: A framework for encompassing Aspects in testing and debugging software  (short paper)
17:30-18:30 Charrette III (Plenary) [Session Chair: Henry Muccini]
Plenary report on group discussion results and plenary discussion. 
18:30 Closing [Session Chair: Henry Muccini and Zhenyu Chen]
Note: The lengths of presentation time (including questions time) are as follows:
  • Regular papers: 25 minutes;
  • Short papers: 20 minutes.

Click here for the printable version of the final program.