Computer Society


Hosted by:


Monday, March 18, 2013 (pre-conference)

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

Friday, March 22, 2013 (post-conference)

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

Workshop Chairs

Workshops Description

9th Workshop on Advances in Model Based Testing (A-MOST 2013)

Website: A-MOST 2013

The increasing complexity of software results in new challenges for testing. Model Based Testing (MBT) continues to be an important research area, where new approaches, methods and tools make MBT techniques more deployable and useful for industry than ever. Models and different abstractions can ease comprehension of a complex system and ease test generation and automation. A-MOST has proven to be a successful workshop that brings researchers and practitioners together discussing formal and semi-formal approaches, specification formats and notations that contribute to simplifying complex aspects of a system. The goal is to bring researchers and practitioners together to discuss state of the art, practice and future prospects in MBT.

5th Workshop on the Constraints in Software Testing, Verification and Analysis (CSTVA 2013)

Website: CSTVA 2013

Recent years have seen an increasing interest in the application of constraint solving techniques to the testing and analysis of software systems. A significant body of constraint-based techniques have been proposed and investigated in model-based testing, code-based testing, property-oriented testing, statistical testing, etc. Following previous meetings held in 2006, 2010, 2011 and 2012, the aim of the CSTVA workshop is to bring together researchers and industrial people working in constraint-based testing to investigate future developments in this research field. Authors are invited to submit research papers of no more than 6 pages presenting new ideas, new results or new systems in constraint-based testing, as well as extended abstracts of no more than 2 pages, presenting either existing tools, preliminary results, or discussions of existing projects in the area.

2nd International Workshop on Engineering Safety and Security Systems (ESSS 2013)

Website: ESSS 2013

The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations.

The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to:

  • methods, techniques and tools for system safety and security
  • methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems
  • model-based and verification-based testing
  • emerging application domains such as cloud computing and cyber-physical systems
  • case studies and experience reports on the use of formal methods for analyzing safety and security systems

2nd International Workshop on Combinatorial Testing (IWCT 2013)

Website: IWCT 2013

Combinatorial Testing (CT) is a widely applicable generic method for software verification and validation. In a combinatorial test plan, all interactions between parameters up to a certain level are covered. Studies show that CT can significantly reduce the number of test cases while remaining very effective for fault detection.

Like the successful workshop at 2012, this workshop aims to bring together researchers, developers, users, and practitioners to discuss and exchange ideas and experiences in the development and application of CT methods, techniques, and tools. We invite submissions of high-quality papers presenting original work on both theoretical and experimental aspects of combinatorial testing.

8th Workshop on Mutation Analysis (Mutation 2013)

Website: Mutation 2013

Mutation is acknowledged as an important way to assess the fault-finding effectiveness of tests sets. Mutation testing has mostly been applied at the source code level, but more recently, related ideas have also been used to test artifacts described in a considerable variety of notations and at different levels of abstraction. Mutation ideas are used with requirements, formal specifications, architectural design notations, informal descriptions (e.g. use cases) and hardware. Mutation is now established as a major concept in software and systems V&V and uses of mutation are increasing. The goal of the Mutation workshop is to provide a forum for researchers and practitioners to discuss new and emerging trends in mutation analysis. We invite submissions of both full-length and short-length research papers as well as industry practice papers.

3rd International Workshop on Regression Testing (Regression 2013)

Website: Regression 2013

Regression testing has received a significant amount of attention from both academics and practitioners during the last 20 years. Even though the use of regression testing techniques often leads to software applications with high observed quality, the repeated execution of test cases can be so costly that it accounts for half the cost of maintaining a software system. The regression testing research community also faces the additional challenges of transitioning established techniques into practice, improving the status-quo of the empirical evaluation of techniques, and proposing advanced methods for applying regression testing to modern software that is often complex, rapidly evolving, concurrent, and cloud-based. Viewing these tensions and challenges as an opportunity and not a threat, and looking to tap the potential of well-established researchers and up-and-coming members of the community, the theme of this year's workshop is to boldly go where few have gone before.

6th International Workshop on Search-Based Software Testing (SBST 2013)

Website: SBST 2013

Search-Based Software Testing (SBST) applies metaheuristic search techniques--such as hill climbing, simulated annealing, and genetic algorithms--to automate aspects of the software testing process. For example, SBST is used to generate test data, prioritize test cases, minimize test suites, verify software models, test service-orientated architectures, construct test suites for interaction testing, and validate real-time properties.

The objectives of the workshop are to bring together researchers and industrial practitioners from these different SBST domains to share experience and provide direction for future research, and to encourage the use of SBST techniques in novel aspects of software testing.

This year--in addition to long papers on original research and short papers describing novel ideas--we invite two new types of submissions: papers discussing the importance of SBST results published within the last year, and entries to a competition for tools (both SBST and non-SBST) that perform Java unit testing at the class level.

4th International Workshop on Security Testing (SECTEST 2013)

Website: SECTEST 2013

To improve software security, several techniques, including vulnerability modelling and security testing, have been developed but the problem remains unsolved. On one hand, SECTEST workshop tries to answer how vulnerability modelling can help users understand the occurrence of vulnerabilities so to avoid them, and what the advantages and drawbacks of the existing models are to represent vulnerabilities. At the same time, it tries to understand how to solve the challenging security testing problem given that testing the mere functionality of a system alone is already a fundamentally critical task, how security testing is different from and related to classical functional testing, and how to assess the quality of security testing. The objective of SECTEST workshop is to share ideas, methods, techniques, and tools about vulnerability modelling and security testing to improve the state of the art.

8th Workshop on Testing: Academic and Industrial Conference – Practice and Research Techniques (TAIC PART 2013)

Website: TAIC PART 2013

Among computer science and software engineering activities, software testing is a perfect candidate for the union of academic and industrial minds. The Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART) is a unique event that strives to combine the important aspects of a software testing conference, workshop, and retreat. TAIC PART brings together industrialists and academics in an environment that promotes meaningful collaboration on the challenges of software testing. TAIC PART is sponsored by representatives from both industry and academia. The conference brings together software developers, end users, and academic researchers who work on both the theory and practice of software testing. TAIC PART 2013 is the eighth conference in a series of highly successful events. Please consider submitting a paper and/or registering to attend the 2013 edition of TAIC PART so that you can be part of a premier software testing conference. Individuals with questions about TAIC PART are encouraged to contact one of the conference organizers.

4th International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software (TESTBEDS 2013)

Website: TESTBEDS 2013

Event-driven software (EDS) applications, applications whose control-flow is dependent on responses to stimuli, have become ubiquitous. These include systems with graphical user interfaces (GUIs), web applications, network protocols, some embedded software, device drivers and systems composed of services. TESTBEDS has proven to be a successful workshop that brings together researchers, experimenters, developers, users, and practitioners to discuss and exchange ideas and experiences in testing EDS for correctness. The 2013 event will feature a keynote presentation, paper presentations, tool demonstrations, and a 2-hour hands-on session on ``how to conduct experiments'' using EDS software artifacts and tools from the COMET repository ( In a tutorial-like setting, participants will learn how to use these artifacts to develop a research or practical hypothesis, and design and execute an experiment to prove/disprove the hypothesis. We invite submissions of 8-page full-length and 4-page position papers as well as 4-page tool demonstration papers, and industrial presentations. All submissions will be reviewed by members of the International program committee from both Academia and Industry. Accepted papers will be published in the IEEE digital library.