Welcome to AST 2008 -- The Third International Workshop on Automation of Software Test which is to be held in conjunction with The 30th International Conference on Software Engineering (ICSE.08) in Leipzig, Germany on May 11, 2008. In software development practice, as much as 50% of the total cost is spent on testing to ensure its quality. To reduce such cost, it is imperative to have a solution to automate the testing process. This year we have a special theme on "Model-Based Testing for Test Automation." The objective is to narrow the gap between the theory and practice of this important topic. The workshop provides an opportunity for academic researchers and industry participants to exchange ideas and experiences, understand the challenges, explore possible solutions, and discuss future directions. It not only allows the academic community to understand areas vital to the software industry, but it also gives practitioners an opportunity to express their needs.
We received 24 submissions from 11 countries. Each paper was carefully evaluated by three reviewers. These reviews were then used for selecting papers to be presented at the conference. Nine papers (37.5% of submissions) were accepted as regular papers. In addition, we have also accepted six short papers. These papers cover a broad spectrum including model-based, risk-based, and requirement-based test generation and specification, conformance testing, coverage testing and measurement, test minimization, and simulation. Authors of selected best papers presented at the workshop will be invited to submit extended and revised versions of their papers for possible publication in a special issue of the Journal of Information and Software Technology.
Proceeding Downloads
Using model transformation to support model-based test coverage measurement
Adoption of model-driven development is leading to increased use of models jointly with source code for software testing, by means of Model-Based Testing (MBT). MBT uses models to derive concrete test cases to test code. With MBT, test adequacy criteria ...
Requirements-based test case specification by using information from model construction
In model-based testing a test case specification is used to determine the set of test cases to be generated automatically. This paper introduces a requirements-based test case specification which uses information gathered by reasoning about the ...
Qr-model based testing
As reactive and embedded systems continuously interact with their environment, it is important to test as many as possible interactions. The use of qualitative models of the environment and hardware has the potential to provide test cases that might not ...
Supporting the selection of model-based testing approaches for software projects
Software technologies, such as model-based testing approaches, have specific characteristics and limitations that can affect their use in software projects. To make available knowledge regarding such technologies is important to support the decision ...
An EFSM-based test generation for validation of SDL specifications
Existing techniques for testing an SDL specification mainly allow for either black box simulation or conformance testing to verify that the behavior of an implementation matches its corresponding model. However, this relies on the potentially hazardous ...
Test generation for graphical user interfaces based on symbolic execution
While Graphical User Interfaces (GUIs) have become ubiquitous, testing them remains largely ad-hoc. Since the state of a GUI is defined by a sequence of events on the GUI's widgets, a test input for a GUI is such an event sequence. Due to the ...
Generating security tests in addition to functional tests
This paper is about generating security tests, in addition to functional tests previously generated by a model-based testing approach. The method that we present re-uses the functional model and the adaptation layer developed for the functional testing, ...
A test generation solution to automate software testing
This paper describes the LEIRIOS Smart Testing™ approach to the functional validation of a subpart of the StarUML case study. This model-based testing process for test automation is shown from start to end: from functional requirements to the ...
An automatically-generated run-time instrumenter to reduce coverage testing overhead
Coverage testing is often used as a quantified measurement of testing progress. One important issue of code coverage testing is the overhead of program execution monitoring that inserts probes into programs, either at run-time or off-line, to record ...
A generic formal framework for protocol interoperability test and test cases minimization
A generic formal framework for protocol interoperability test is proposed, which consider the common situation of protocol interoperability test by introducing the multi-stimuli principle in the multi-port FSM. A novel interoperability test sequences ...
Automated instrumentation of contracts and scenarios for requirements validation in .net
During the development of an object-oriented reactive system, scenarios (such as UML's use cases) may be used for the elicitation of functional and non-functional requirements. The contribution of this paper is the overview of a framework for the ...
An automated technique for risk-based test case generation and prioritization
In practice, available testing budgets limit the number of test cases that can be executed. Thus, a representative subset of all possible test cases must be chosen to guarantee adequate coverage of a test object. In risk-based testing, the probability ...
Evaluating test adequacy coverage of high level petri nets using spin
How to ensure the quality of complex software systems is a grand challenge. Formal methods and software testing techniques are two major complementary approaches for software quality assurance. In this paper, we present a unique approach that uses the ...
Vision: testing of mechatronics software using agile simulation
Mechatronics is the practice of creating systems that synergize electrical, mechanical, and software technology. With few exceptions, testing software that is embedded in mechatronics systems has historically been done only with the hardware in the loop ...
A strategy for evaluating feasible and unfeasible test cases for the evolutionary testing of object-oriented software
Evolutionary Testing is an emerging methodology for automatically producing high quality test data. The focus of our on-going work is precisely on generating test data for the structural unit-testing of object-oriented Java programs. The primary ...
Cited By
- Mao B, Jiang H, Wu S and Tian L POD Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, (767-776)
-
Xie Z, Moh T and Moh M (2013). ASAP ACM SE'13: ACM Southeast Regional 2013, 10.1145/2498328.2500074, 9781450319010, (1-6), Online publication date: 4-Apr-2013.
- Tan Y, Yan Z, Feng D, Sha E and Ge X Reducing the De-linearization of Data Placement to Improve Deduplication Performance Proceedings of the 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, (796-800)
- Mao B, Jiang H, Wu S, Fu Y and Tian L SAR Proceedings of the 2012 IEEE Seventh International Conference on Networking, Architecture, and Storage, (328-337)
-
Jiménez S, De La Rosa T, Fernández S, Fernández F and Borrajo D (2012). A review of machine learning for automated planning, The Knowledge Engineering Review, 10.1017/S026988891200001X, 27:4, (433-467), Online publication date: 1-Dec-2012.
- Tan Y, Jiang H, Feng D, Tian L and Yan Z CABdedupe Proceedings of the 2011 IEEE International Parallel & Distributed Processing Symposium, (1266-1277)
-
Yuan M, Chen L and Yu P (2010). Personalized privacy protection in social networks, Proceedings of the VLDB Endowment, 10.14778/1921071.1921080, 4:2, (141-150), Online publication date: 1-Nov-2010.
- Proceedings of the 3rd international workshop on Automation of software test