2020 Proceeding- General Chair:
- Sinem Getir,
- Program Chair:
- Phu Nguyen
- Sponsor:
- sigsoft
On behalf of the Program Committee, we are pleased to present the proceedings of the 11th International Workshop on Automating TEST Case Design, Selection and Evaluation workshop (A-Test 2020). For six years in a row, A-TEST is co-located with the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). A-TEST workshop aims to provide a venue for researchers as well as the industry to exchange and discuss trending views, ideas, state of the art work in progress, and scientific results on Automating TEST Case Design, Selection and Evaluation.
This year, because of the Covid-19 pandemic, A-Test (as part of ESEC/FSE) is held virtually with an adapted program to still bring together international researchers to exchange and discuss ideas about the latest progress in software testing.
Proceeding Downloads
SafeDNN: understanding and verifying neural networks (keynote)
The SafeDNN project at NASA Ames explores new techniques and tools to ensure that systems that use Deep Neural Networks (DNN) are safe, robust and interpretable. Research directions we are pursuing in this project include: symbolic execution for DNN ...
The effectiveness of automated software testing techniques (keynote)
With the rise of AI-based systems, such as self-driving cars, Google search, and automated decision-making systems, new challenges have emerged for the testing community. Verifying such software systems is becoming an extremely difficult and expensive ...
Navigation and exploration in 3D-game automated play testing
- I. S. W. B. Prasetya,
- Maurin Voshol,
- Tom Tanis,
- Adam Smits,
- Bram Smit,
- Jacco van Mourik,
- Menno Klunder,
- Frank Hoogmoed,
- Stijn Hinlopen,
- August van Casteren,
- Jesse van de Berg,
- Naraenda G.W.Y. Prasetya,
- Samira Shirzadehhajimahmood,
- Saba Gholizadeh Ansari
To enable automated software testing, the ability to automatically navigate to a state of interest and to explore all, or at least sufficient number of, instances of such a state is fundamental. When testing a computer game the problem has an extra ...
Comparing transition trees test suites effectiveness for different mutation operators
Research demonstrated that faults seeded mutation using operators can be representative of faults in real systems. In this paper, we study the relationship between the different operators used to insert mutants in the fault domain of the system under ...
Fuzz4B: a front-end to AFL not only for fuzzing experts
In this tool demonstration paper, we propose a tool named Fuzz4B (Fuzzing for Beginner), which is a front-end to a representative fuzzer AFL for developers who are inexperienced in fuzz testing. Fuzz4B is not only a front-end, but it also allows ...
Towards automated testing of RPA implementations
Robotic Process Automation (RPA) is a technology that has grown tremendously in the last years, due to its usability in the area of process automation. An essential part of any software development process is quality assurance, so testing will be very ...
Index Terms
- Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation