Conference Program | SSBSE 2013

All sessions will take place in the Heraldic room.

Saturday, 24 August 13
09:30 – 11:00	Conference Opening Keynote 1: Advances in Automated Program Repair and a Call to Arms – Wesley Weimer
11:00 – 11:30	Break
11:30 – 13:00	Full paper session 1: Software Testing (Mark Harman) Paper 1: Jeffery Shelburg, Marouane Kessentini and Daniel Tauritz. Regression Testing for Model Transformations: A Multi-Objective Approach Paper 2: Zheng Li, Yi Bian, Ruilian Zhao and Jun Cheng. A Fine-grained Parallel Multi-Objective Test Case Prioritization on GPU Paper 3: Michael Mayo and Simon Spacey Predicting Regression Test Failures using Genetic Algorithm-Selected Dynamic Performance Analysis Metrics
13:00 – 14:30	Lunch
14:30 – 16:00	Graduate Student Session (Claire Le Goues) Paper 1: Alexey Kolesnichenko, Christopher M. Poskitt and Bertrand Meyer Applying Search in a Contract-Based Automatic Testing Tool Paper 2: Arina Buzdalova, Maxim Buzdalov and Vladimir Parfenov Generation of Tests for Programming Challenge Tasks using Helper-Objectives Paper 3: Brendan Cody-Kenny and Stephen Barrett The Emergence of Useful Bias in Self-focusing Genetic Programming for Software Optimisation Paper 4: Nesa Asoudeh and Yvan Labiche A Multi-Objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines Paper 5: Priti Bansal, Sangeeta Sabharwal, Shreya Malik, Vikhyat Arora and Vineet Kumar An Approach to Test Set Generation for Pair-wise Testing Using Genetic Algorithms Paper 6: Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler and Johann Bourcier Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems
16:00 – 16:30	Break
16:30 – 18:00	Full paper session 2: Software Testing (Kiran Lakhotia) Paper 1: Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Shin Yoo and Mark Harman Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation Paper 2: Erik M. Fredericks, Andres J.Ramirez and Betty H. C. Cheng Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty Paper 3: Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann and Claude Poull Automated Model-in-the-Loop Testing of Continuous Controllers using Search

Sunday, 25 August 13
09:30 – 11:00	Tutorial: Cloud Computing and SBSE – David R. White (Lionel Briand)
11:00 – 11:30	Break
11:30 – 13:00	Challenge Track Session (Phil McMinn) Paper 1: Marcio Barros and Fábio Farzat What can a Big Program Teaches us about Optimization? Paper 2: Ana Filipa Nogueira, José Carlos Bregieiro Ribeiro, Francisco Fernández De Vega and Mário Alberto Zenha-Rela eCrash: an empirical study on the Apache Ant project Open Steering Committee Meeting (Mark Harman)
13:00 – 14:30	Lunch
14:30 – 16:00	Short Paper Session (Jerffeson Souza) Paper 1: Colin Atkinson, Marcus Kessel and Marcus Schumacher On the Synergy between Search-Based and Search-Driven Software Engineering Paper 2: Sabrine Kalboussi, Slim Bechikh, Marouane Kessentini and Lamjed Ben Said Preference-based many-objective evolutionary testing generates harder test cases for autonomous agents Paper 3: Matthew Patrick, Rob Alexander, Manuel Oriol and John A. Clark Efficient Subdomains for Random Testing Paper 4: Sriharsha Vathsavayi, Outi Sievi-Korte, Kai Koskimies and Kari Systät Planning Global Software Development Projects using Genetic Algorithms Paper 5: Justyna Petke, William B. Langdon and Mark Harman Applying Genetic Improvement to MiniSAT Paper 6: Christopher M. Poskitt and Simon Poulding Using Contracts to Guide the Search-Based Verification of Concurrent Programs
16:00 – 16:30	Break
16:30 – 18:00	Full paper session 3: Software Testing (Guenther Ruhe) Paper 1: Lionel Briand, Yvan Labiche and Kathy Chen A Multi-Objective Genetic Algorithm to Rank State-Based Test CasesVoting Paper 2: Wesley K. G. Assunção, Thelma E. Colanzi, Silvia R. Vergilio and Aurora Pozo On the Application of the Multi-Evolutionary and Coupling-Based Approach with Different Aspect-Class Integration Testing Strategies
19:15	Social Event and Best Paper Announcement

Monday, 26 August 13
09:30 – 11:00	Keynote 2: Some Recent Work on Multi-objective Approaches to Search-Based Software Engineering – Xin Yao (Yuanyuan Zhang)
11:00 – 11:30	Break
11:30 – 13:00	Full paper session 4: Software Maintenance (John Clark) Paper 1: Rim Mahouachi, Marouane Kessentini and Mel Ó Cinnéide Search-based Refactoring Detection using Software Metrics Variation Paper 2: Adnane Ghannem, Ghizlane El Boussaidi and Marouane Kessentini Model Refactoring Using Interactive Genetic Algorithm Paper 3: Mohamed Boussaa, Wael Kessentini, Marouane Kessentini, Slim Bechikh and Soukeina Ben Chikha Competitive Coevolutionary Code-Smells Detection
13:00 – 14:00	Lunch
14:00 – 15:30	Full paper session 5: Software Requirements and Design (Yuanyuan Zhang) Paper 1: Márcio Barros An Experimental Study on Incremental Search-based Software Engineering Paper 2: Matheus Paixão and Jerffeson Souza A Recoverable Robust Approach for The Next Release Problem Paper 3: Antonio Pitangueira, Rita Maciel, Márcio Barros and Aline Andrade A Systematic Review of Software Requirements Selection and Prioritization using SBSE Approaches
15:30 – 16:00	Conference Closing Announcement of SSBSE 2014 and GECCO 2014 SBSE Track
16:00	Coffee

Social Event

The social event for SSBSE 2013 includes a boat trip. The starting/ending locations for the trip are marked here (Google Map). Our boat is Aquamarine, which is pictured below.

We meet at 19:15 at the dock on Palace Embankment right opposite the entrance to the Winter Palace (there are two docks on Palace Embankment, our boat is leaving from the one closer to the Palace bridge).

Who wants to join us can also meet in front of the entrance of the conference venue on Kazanskaya street 3a at 18:50 and walk to Palace Embankment together.

The boat leaves at 19:30 at the latest, so please make sure you are there in time!

Update: At the end of the trip, the boat will return to the starting location.