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