A-TEST 2020 – Proceedings

11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 2020)

Frontmatter

Keynotes

SafeDNN: Understanding and Verifying Neural Networks (Keynote)
Corina S. Păsăreanu
(Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)

Publisher's Version

The Effectiveness of Automated Software Testing Techniques (Keynote)
Aldeida Aleti
(Monash University, Australia)

Publisher's Version

Papers

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, and Saba Gholizadeh Ansari
(Utrecht University, Netherlands)

Publisher's Version

Comparing Transition Trees Test Suites Effectiveness for Different Mutation Operators
Hoda Khalil and Yvan Labiche
(Carleton University, Canada)

Publisher's Version

Fuzz4B: A Front-End to AFL Not Only for Fuzzing Experts
Ryu Miyaki, Norihiro Yoshida, Natsuki Tsuzuki, Ryota Yamamoto, and Hiroaki Takada
(Nagoya University, Japan)

Publisher's Version Video Info

Towards Automated Testing of RPA Implementations
Marina Cernat, Adelina Nicoleta Staicu, and Alin Stefanescu
(University of Bucharest, Romania; Cegeka, Romania)

Publisher's Version

proc time: 1.65