Join us on


Schedule of ICST 2012 Workshops




Tuesday - April 17, 2012

All day A-MOST 2012 CT 2012 LT 2012 Mutation 2012 Regression 2012
Room Hiver Automne Petit Salon Pierre de Coubertin Printemps




Saturday - April 21, 2012

All day CSTVA'2012 SBST 2012 SECTEST 2012 TAIC PART 2012 VOLT 2012
Room Printemps Season B Eté Season A Automne





A-Most 2012

website: A-MOST 2012

Session1
From Models to Runtime Execution
A Runtime Monitoring Framework for Event Streams with Non-Primitive Arguments
Jérôme Calvar, Raphaël Tremblay-Lessard and Sylvain Hallé

Grammar-Based Testing using Realistic Domains in PHP
Ivan Enderlin, Frederic Dadeau, Alain Giorgetti and Fabrice Bouquet

Session2
Industrial Challenges
From AUTOSAR Models to Co-Simulation for MiL-Testing in the Automotive Domain
Marcus Mews, Jaroslav Svacina and Stephan Weissleder

An extended LLRP model for RFID system test and diagnosis
Rafik Kheddam, Oum-El-Kheir Aktouf and Ioannis Parissis

Session3
Test Case Generation
Test Sequence Generation from Classification Trees
Peter M. Kruse and Joachim Wegener

Experimental Comparison of Test Case Generation Methods for Finite State Machines
André Takeshi Endo and Adenilso Simao






CT 2012

website: CT 2012

Session1
CT Environments and Tools
CitLab: a Laboratory for Combinatorial Interaction Testing
Angelo Gargantini, Paolo Vavassori

Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications
Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz

Simplified Modeling of Combinatorial Test Spaces
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick

Session2
Experience Reports I
Effectiveness of Pair-wise Testing for Software with Boolean Inputs
William Alton Ballance, Sergiy Vilkomir, William Jenkins

Combinatorial Testing on ID3v2 Tags of MP3 Files
Zhiqiang Zhang, Xiaojian Liu, Jian Zhang

Combinatorial Testing of ACTS: A Case Study
Mehra Nouroz Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn

Session3
CT Test Generation and Fault Localization
Combinatorial Methods for Event Sequence Testing
Rick Kuhn, James Higdon, James Lawrence, Raghu Kacker, Yu Lei

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing
Elke Salecker, Sabine Glesner

Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification
Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, Rick Kuhn

Session4
Experience Reports II
Common Patterns in Combinatorial Models
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick

A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment
Jon Hagar, Atlee Cunningham






LT 2012

website: LT 2012

Session1
Regular Papers
Automated Performance Model Construction Through Event Log Analysis
Ahmad Mizan and Greg Franks

Peer-to-peer Load Testing
Jorge Augusto Meira, Eduardo Cunha De Almeida, Yves Le Traon and Gerson Sunyé

Overcoming Web Server Benchmarking Challenges in the Multi-Core Era
Raoufehsadat Hashemian Harandi, Diwakar Krishnamurthy and Martin Arlitt

Session2
Large-Scale Testing
Challenges And Opportunities with Testing Large Systems at Ericsson
Sigrid Eldh and Leif Jonsson (Malardalen University)

Evaluating performance using OPERA model
Cornel Barna (York University)

Empirical Studies of Performance Bugs and Performance Analysis Approaches for Large Scale Software System
Shahed Zaman (Queen’s University)






Mutation 2012

website: Mutation 2012

Session1
Efficiency of mutation
Toward Harnessing High-level Language Virtual Machines for Further Speeding up Weak Mutation Testing
Vinicius Durelli, Jeff Offutt and Marcio Delamaro

Mutant Execution Cost Reduction
Pedro Reales Mateo and Macario Polo Usaola

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?
Rene Just, Gregory Kapfhammer and Franz Schweiggert

Session2
Novel mutation testing paradigms
Isolating First Order Equivalent Mutants via Second Order Mutation
Marinos Kintis, Mike Papadakis and Nicos Malevri

SMT-C: A Semantic Mutation Testing Tool for C
Haitao Dan and Rob Hierons

MESSI: Mutant Evaluation by Static Semantic Interpretation
Matthew Patrick, Manuel Oriol and John Clark

Session3
New applications
Using mutants to locate “unknown” faults
Mike Papadakis and Yves Le Traon

Testing Obligation Policy Enforcement using Mutation Testing
Yehia Elrakaiby, Tejeddine Mouelhi and Yves Le Traon






Regression 2012

website: Regression 2012

Session1
Approaches and Applications
Test Case Prioritization Due to Database Changes in Web Applications
Deepak Garg and Amitava Datta

Dependency-Based Test Case Selection and Prioritization in Embedded Systems
Philipp Caliebe, Thomas Herpel, and Reinhard German

Analysis of Test Clusters for the Regression Testing
Bo Guo, Mahadevan Subramaniam, and Parvathi Chundi

Session2
Visualizations and Viewpoints
Enhancing Fault Localization via Multivariate Visualization
Wes Masri, Rawad Abou Assi, Fadi Zaraket and Nour Al-Fatairi

Software Product Line Testing - A 3D Regression Testing Problem
Per Runeson and Emelie Engstrom

GUICop: GUI Specification-based Testing
Fadi Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi and Joseph Noujaim






CSTVA'2012

website: CSTVA'2012

Session1
Fast abstracts I
Statechart Analysis with Symbolic PathFinder
Corina Pasareanu, Daniel Balasubramanian

Minimum pairwise coverage using constraint programming techniques
Arnaud Gotlieb, Aymeric Hervieu and Benoit Baudry

Session2
Full Papers
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints
Bernhard K. Aichernig and Elisabeth Joebstl

Numerical Constraints for Combinatorial Interaction Testing
Peter M. Kruse, Jürgen Bauer and Joachim Wegener

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati and Lionel Briand

Session3
Fast abstracts II
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs
Olivier Ponsini, Claude Michel and Michel Rueher

Open research challenges of localizing faults in programs using constraints
Franz Wotawa






SBST 2012

website: SBST 2012

Session1
Semi-Automatic Search-based Test Generation
Yury Pavlov and Gordon Fraser

A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites
Linda Di Geronimo, Filomena Ferrucci, Alfonso Murolo and Federica Sarro

Session2
A search-based approach for testing for quantitative properties of wireless network protocol stacks
Matthias Woehrle

A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems
Romain Delamare and Nicholas A. Kraft






SECTEST 2012

website: SECTEST 2012

Session1
Model-Based Fuzz Testing
Ina Schieferdecker

Managing Evolution by Orchestrating Requirements and Testing Engineering Processes
Federica Paci, Fabio Massacci, Fabrice Bouquet, and Stephane Debricon

Session2
XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing
Fabien Duchene, Roland Groz, Jean-Luc Richier, and Sanjay Rawat

A Taint Based Approach for Smart Fuzzing
Sofia Bekrar, Roland Groz, and Mounier Laurent

A Testing Model for Dynamic Malware Analysis Systems
Mathieu Couture, Frédéric Massicotte, Hugues Normandin, and Frédéric Michaud

Session3
Automatic XACML requests generation for policy testing
Antonia Bertolino, Said Daoudagh, Francesca Lonetti, and Eda Marchetti

Solving Some Modeling Challenges when Testing Rich Internet Aplications for Security
Suryakant Choudhary, Mustafa Emre Dincturk, Gregor V. Bochmann, Guy-Vincent Jourdan, Iosif Viorel Onut, and Paul Ionescu

Session4
SPaCiTE - Web Application Testing Engine
Matthias Büchler, Johan Oudinet, and Alexander Pretschner

Events-Based Security Monitoring Using MMT Tool
Bachar Wehbi, Edgardo Montes de Oca, and Michel Bourdellès

The SmartLogic Tool: Analysing and Testing Smart Card Protocols
Gerhard de Koning Gans and Joeri de Ruite






TAIC PART 2012

website: TAIC PART 2012

Session1
Fast Abstract
A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques
Jonathan Kauffman and Gregory Kapfhammer

Symbolic System Time in Distributed Systems Testing
Oscar Soria Dustmann, Raimondas Sasnauskas and Klaus Wehrle

Session2
Experiences
It Takes Two to Tango - An Experience Report on Industry-Academia Collaboration
Per Runesont

Adding Criteria-Based Tests to Test Driven Development
William Shelton, Nan Li, Paul Ammann and Jeff Offutt

Technical Debt in Test Automation
Kristian Wiklund, Sigrid Eldh, Daniel Sundmark and Kristina Lundqvist

Session3
Testing of Distributed Systems
Testing of evolving protocols
Jacek Chrzaszcs, Patryk Czarnik, Aleksy Schubert and Andrzej Tarlecki

Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges
Sigrid Eldh and Daniel Sundmark

Session4
Code Analysis, Test Case Generation
GEMS: A Generic Model Based Source Code Instrumentation Framework
Pavan Kumar Chittimalli and Vipul Shah

Combining Static Analysis and Constraint Solving for Automatic Test Case Generation
Kostyantyn Vorobyov and Padmanabhan Krishnan






VOLT 2012

website: VOLT 2012

Session1
Industry & Challenges
Challenges for Addressing Quality Factors in Model Transformation
Eugene Syriani and Jeff Gray

Session2
Verifying Model Transformations I
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Levi Lúcio, Moussa Amrani, Juergen Dingel, Gehan Selim, Benoit Combemale, Hans Vangheluwe, Yves Le Traon and James R. Cordy

Towards a Methodology for Verifying Partial Model Refinements
Rick Salay, Marsha Chechik and Jan Gorzny

Verified Operational Patterns with Graph Transformation
Tamás Mészáros and Tihamér Levendovsky

Session3
Verifying Model Transformations II
Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
Hanh Nhi Tran and Christian Percebois