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)
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)
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)
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
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
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)
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)
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)
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)
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)
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 (http://comet.unl.edu).
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.