ICST 2013 Program

(Please scroll down for all details)





Monday - March 18, 2013 
8:30am
9:00am		 Registration
All day
Workshops PhD Symposium
Room: A13






Coffee breaks at 10:30am and 3:30pm
11:00am
12:30am		 Panel 1

Presenters:
Security Testing with Fault-Models and Properties, by Matthias Buechler, Technische Universitat Munchen, Germany

Test Generation for RTES from SysML Model, Jean-Marie Gauthier, FEMTO-ST Institute, France

Research Questions for Model-Based Vulnerability Testing of Web Applications, by Alexandre Vernotte, FEMTO-ST Institute, France

Panelists:
Phil McMinn, Benoit Baudry, Gregg Rothermel and Hyunsook Do

12:30am
2:00pm		 Lunch
2:00pm
3:30am		 Panel 2

Presenters:
Leveraging Light-Weight Analyses to Aid Software Maintenance, by Zachary P. Fry, University of Virginia, USA

Challenges of Testing for Critical Interactive Systems, by Valeria Lelli, IRISA/INRIA, France

Understanding the influence of social and technical factors testers in software organizations, by Anca Deak, NTNU, Norway

Panelists:
Gordon Fraser, Myra Cohen, Atif Memon and Jeff Offutt

3:30pm
4:00pm		 Coffee Break
4:00pm
4:30am		 Panel 3

Presenter:
Identification of anomalies in processes of database alteration, by Francesco Mercaldo, University of Sannio, Italy

Panelists:
Benoit Baudry, Atif Memon and Gregg Rothermel

4:30pm
5:30am		 Faculty Talks

What's a PhD Proposal?, by Jeff Offutt

Publication Strategies, by Greg Rothermel

Proper Experimental Validation, by Atif Memon




Tuesday - March 19, 2013 
8:00am
8:30am		 Registration
8:30am
8:45am		 General Chair and Program Chairs Welcome Speech
(Room: Krieps)
8:45am
9:00am		 François Biltgen, Minister for Higher Education and Research Welcome Speech canceled
9:00am
9:15am		 Rolf Tarrach, President of University of Luxembourg Welcome Speech
(Room: Krieps)
9:15am
10:30am		 Keynote: Ross Smith, Microsoft Corporation
The Future of Software Testing
(Room: Krieps)
10:30am
11:00am		 Coffee Break
11:00am
12:45pm
Research & Industrial Track
Session 1:
Test generation

Session Chair:  Andy Podgurski
Room: Dune
 Research & Industrial Track
Session 2:
Model-based Testing in the Real World

Session Chair:  Tanja Vos
Room: Ensch

  • Roberto Bagnara, Matthieu Carlier, Roberta Gori and Arnaud Gotlieb.
    Symbolic Path-Oriented Test Data Generation for Floating-Point Programs


  • Mauro Pezzè, Konstantin Rubinov and Jochen Wuttke.
    Generating Effective Integration Test Cases From Unit Ones


  • Pablo Abad, Nazareno Aguirre, Valeria Bengolea, Daniel Alfredo Ciolek, Marcelo Frias, Juan Galeotti, Tom Maibaum, Mariano Moscato, Nicolas Rosner and Ignacio Vissani.
    Tight Bounds + Incremental SAT = Better Test Generation Under Rich Contracts


  • Gregory Kapfhammer, Phil McMinn and Chris Wright.
    Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems

  • Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar and Venkatesh R.
    Scaling Model Checking for Test Generation using Dynamic Inference


  • Bruno Legeard, Franck Lebeau, Fabrice Bouquet, Julien Botella, Jean-François Capuron and Florence Schadle.
    Model-based Testing of Cryptographic Components - Lessons Learned from Experience


  • Anders Eriksson, Birgitta Lindström and Jeff Offutt.
    Transformation Rules for Platform Independent Testing: An Empirical Study


  • Shaukat Ali, Tao Yue and Lionel Briand.
    Assessing Quality And Effort of Applying Aspect State Machines for Robustness Testing: a Controlled Experiment
Testing Tool Track
Session 1:
Test Case Generation
Room: A11
 Tutorial
ISO 29119: The New International Software Testing Standards
Room: A13

  • Gordon Fraser and Andrea Arcuri. 
    EvoSuite: On The Challenges of Test Case Generation in the Real World


  • Linbin Yu, Yu Lei, Raghu Kacker and D. Richard Kuhn.
    ACTS: A Combinatorial Test Generation Tool



  • Andrea Calvagna, Angelo Gargantini and Paolo Vavassori.
    Combinatorial Interaction Testing with CITLAB
12:45pm
2:30pm		 Lunch
2:30pm
4:15pm
Research & Industrial Track
Session 3:
Mutation Testing and Software Safety

Session Chair:  Claes Wohlin
Room: Dune
 Research & Industrial Track
Session 4:
Debugging and Fault Localization

Session Chair:  Gregory Kapfhammer
Room: Ensch

  • Shabnam Mirshokraie, Ali Mesbah and Karthik Pattabiraman.
    Efficient JavaScript Mutation Testing


  • Lin Deng, Jeff Offutt and Nan Li.
    Empirical Evaluation of the Statement Deletion Mutation Operator


  • Sunil Nair, Jose Luis de La Vara, Mehrdad Sabetzadeh and Lionel Briand.
    Classification, Structuring, And Assessment of Evidence for Safety: a Systematic Literature Review


  • Yves Grasland, Lydie Du Bousquet, Roland Groz and Ioannis Parissis.
    A Functional Testing Approach for Hybrid Safety Properties With Incomplete Information

  • Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir and George Candea.
    Reconstructing Core Dumps


  • Gang Shu, Boya Sun, Andy Podgurski and Feng Cao.
    MFL: Method-Level Fault Localization With Causal Inference


  • Erik Hill, Daniel Tracy and Sheldon Brown.
    GrowthTracker: Diagnosing Unbounded Heap Growth In C++ Software
Testing Tool Track
Session 2:
Model-based Testing 1
Room: A11
 Tutorial
ISO 29119: The New International Software Testing Standards
Room: A13

  • Arne-Michael Toersel. 
    A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker


  • Bruno Legeard and Arnaud Bouzy.
    Smartesting CertifyIt - Model-Based Testing for Enterprise IT



  • Philipp Luchscheider, Thomas Herpel and Reinhard German.
    CDM-Suite - An Attributed Test Selection Tool
4:15pm
4:45pm		 Coffee Break
4:45pm
5:45pm		 Posters Exhibition Session
(Rooms: Ensch/Dune )
  • Noriaki Ichida, Takeshi Sumi and Hideto Ogasawara. A method of making single function test for constituting scenario tests
  • Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi and Beom-Jin Kim. Formal Modeling and Verifications of SDN-OpenFlow
  • Seiya Urata and Tetsuro Katayama. Proposal of Testing Diagrams for Visualizing Test Cases
  • Florin Craciun, Simona Motogna and Ionut Lazar. Towards Better Testing of fUML Models
  • Maurizio Leotta, Diego Clerissi, Filippo Ricca and Cristiano Spadaro. Realigning Selenium Test Cases: An Industrial Case Study about Web Page Element Localization
  • Morten Mossige, Arnaud Gotlieb and Hein Meling. Test Generation for Robotized Paint Systems using Constraint Programming in a Continuous Integration Environment
  • Seiji Munetoh and Nobukazu Yoshioka. RAILROADMAP: An Agile Security Testing Framework for Web-application Development
  • Sheikh Umar Farooq, S. M. K Quadri and Nesar Ahmad. A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods
  • Antonia Bertolino, Marianne Busch, Said Daoudagh, Nora Koch, Francesca Lonetti and Eda Marchetti. A Toolchain for Designing and Testing XACML Policies
  • Luca Viganò. The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services
  • Sebastian Bauersfeld. GUIdiff – A Regression Testing Tool for Graphical User Interfaces
6:30pm
8:30pm		 Welcome Drink



Wednesday - March 20, 2013 
8:00am
8:30am		 Registration
8:30am
8:45am		 Etienne Schneider, Minister of the Economy and Foreign Trade Welcome Speech
(Room: Krieps)
8:45am
9:00am		 Dr. Marc Schiltz, National Research Fund Welcome Speech
(Room: Krieps)
9:00am
10:15am		 Keynote: Stephanie Forrest, University of New Mexico
The Mutational Robustness of Software
(Room: Krieps)
10:15am
10:45am		 Coffee Break
10:45am
12:30pm
Research & Industrial Track
Session 5:
Testing and Concurrency

Session Chair:  Phil McMinn
Room: Dune
 Research & Industrial Track
Session 6:
Testing in an Industrial Context

Session Chair:  Jeff Offutt
Room: Ensch
 Testing Tool Track
Session 3:
Analysis and Frameworks
Room: A11

  • Sebastian Steenbuck and Gordon Fraser.
    Generating Unit Tests for Concurrent Classes


  • Maria Christakis, Alkis Gotovos and Konstantinos Sagonas.
    Systematic Testing for Detecting Concurrency Errors In Erlang Programs


  • Yu Lin and Danny Dig.
    Check-then-Act Misuse of Java Concurrent Collections


  • Mark Grechanik, B.M. Mainul Hossain and Ugo Buy.
    Testing Database-Centric Applications for Handling Database Deadlocks

  • Florian Netter, Frank Gauterin and Björn Butterer.
    Real-data validation of simulation models in a function-based modular framework


  • James Tang, Ruilong Huo, Jiali Yao and Shaosen Wu.
    Test Quality Measurement Using TBPP-R


  • Emil Alégroth, Robert Feldt and Helena H. Olsson.
    Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study


  • Gerardo Canfora, Francesco Mercaldo, Corrado Aaron Visaggio, Mauro D'Angelo, Antonio Furno and Carminantonio Manganelli.
    A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones (short paper) 


  • Nilam Kaushik, Mehdi Amoui, Ladan Tahvildari, Weining Liu and Shimin Li.
    Defect Prioritization in the Software Industry: Challenges and Opportunities (short paper) 

  • Gang Shu, Boya Sun, Tim Henderson and Andy Podgurski.
    JavaPDG: A New Platform for Program Dependence Analysis


  • Fabrizio Pastore and Leonardo Mariani.
    AVA: Supporting Debugging With Failure Interpretations



  • Kazunori Sakamoto, Kiyofumi Shimojo, Ryohei Takasawa, Hironori Washizaki and Yoshiaki Fukazawa.
    OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages
12:30pm
2:00pm		 Lunch
2:00pm
2:45pm		 Steering Committee Open Meeting
(Room: Krieps)
2:45pm
4:00pm
Research & Industrial Track
 Session 7:
Coverage-based and Combinatorial Testing

Session Chair:  Leonardo Mariani
Room: Ensch
 Testing Tool Track
Session 4:
Model-based Testing 2
Room: Dune

  • Hernán Czemerinski, Sebastián Uchitel and Victor Braberman.
    Behaviour Abstraction Coverage as Black-Box Adequacy Criteria


  • Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim and Gregg Rothermel.
    The Impact of Concurrent Coverage Metrics On Testing Effectiveness


  • Linbin Yu, Mehra Nourozborazjany, Yu Lei, Raghu N. Kacker and D. Richard Kuhn.
    An Efficient Algorithm for Constraint Handling In Combinatorial Test Generation 

  • Frederic Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella and Safouan Taha.
    Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations: The TASCCC Testing Tool


  • Emil Alégroth, Michel Nass and Helena Holmström-Olsson.
    JAutomate: a Tool for System- and Acceptance-test Automation



  • Karl Meinke and Muddassar Sindhu.
    LBTest: A Learning-based Testing Tool for Reactive Systems
4:00pm
4:30pm		 Coffee break
4:30pm
6:30pm		 Luxembourg City Visit
7:30pm
10:00pm		 Gala Dinner (Cercle Cité)



Thursday - March 21, 2013 
8:00am
9:00am		 Registration
9:00am
10:15am		 Keynote: Jean Hilger, BCEE
When finance holds off crashes
(Room: Krieps)
10:15am
10:45am		 Coffee Break
10:45am
12:30pm
Research & Industrial Track
Session 8:
Defect Prediction and Program Repair

Session Chair:  Cristian Cadar
Room: Dune
 Research & Industrial Track
Session 9:
Test-case Selection, Prioritization, and Maintenance

Session Chair:  Wes Masri
Room: Ensch

  • Gerardo Canfora, Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella and Sebastiano Panichella.
    Multi-Objective Cross-Project Defect Prediction


  • Gabriella Carrozza, Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono and Stefano Russo.
    Analysis And Prediction of Mandelbugs In An Industrial Software System


  • Marc Roper.
    Estimating Fault Numbers Remaining After Testing


  • Chen Liu, Jinqiu Yang, Lin Tan and Munawar Hafiz.
    R2Fix: Automatically Generating Bug Fixes From Bug Reports

  • Tingting Yu, Xiao Qu, Mithun Acharya and Gregg Rothermel.
    Oracle-Based Regression Test Selection


  • Daniel Di Nardo, Nadia Alshahwan, Lionel Briand and Yvan Labiche.
    Coverage-based Test Case Prioritisation: An Industrial Case Study


  • Md. Junaid Arafeen and Hyunsook Do.
    Test Case Prioritization Using Requirements-Based Clustering


  • Michaela Greiler, Arie Van Deursen and Margaret-Anne Storey.
    Automated Detection of Test Fixture Strategies And Smells
Testing Tool Track
Session 5:
Security and Robustness
Room: A11
 Tutorial
Security Testing Techniques - Applications to Industrial Case Studies
Room: A13

  • Luca Compagna, Achim Brucker and Pierre Guilleminot.
    Business Process Compliance via Security Validation as a Service


  • Angelo Gargantini, Marco Guarnieri and Eros Magri.
    AURORA: AUtomatic RObustness coveRage Analysis Tool



  • Abian Blome, Martín Ochoa, Keqin Li, Michele Peroli and Mohammad Torabi Dashti.
    VERA: A flexible model-based vulnerability testing tool
12:30pm
2:00pm		 Lunch
2:00pm
3:15pm
Research & Industrial Track
Session 10:
Crowdsourcing and Oracles

Session Chair:  Mark Grechanik
Room: Dune
 Testing Tool Track:
Informal Demos

Room: Ensch

  • Eelco Dolstra, Raynor Vliegendhart and Johan Pouwelse.
    Crowdsourcing GUI Tests


  • Fabrizio Pastore, Leonardo Mariani and Gordon Fraser.
    Crowdoracles: Can the Crowd Solve the Oracle Problem?


  • Sheeva Afshan, Phil McMinn and Mark Stevenson.
    Evolving Readable String Inputs Using a Natural Language Model to Reduce Human Oracle Cost
Tutorial
Security Testing Techniques - Applications to Industrial Case Studies
Room: A13
3:15pm
3:45pm		 Coffee Break
3:45pm
5:00pm
Panel
Room: Krieps
 Tutorial:
Security Testing Techniques - Applications to Industrial Case Studies
Room: A13
Elaine Weyuker,  Andy Podgurski, Lionel Briand, Sigrid Eldh and Thomas Ostrand.

Successfully conducting research in collaboration with industry
5:15pm
6:15pm		 Tutorial:
Security Testing Techniques - Applications to Industrial Case Studies
(Room: A13)



Friday - March 22, 2013 
8:30am
9:00am		 Registration
All day
Workshops


Coffee breaks at 10:30am and 3:30pm


Join us onFacebook Follow us onTwitter Share this page onSmiley face