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)


@InProceedings{A-TEST20p1, author = {Corina S. Păsăreanu}, title = {SafeDNN: Understanding and Verifying Neural Networks (Keynote)}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3412452.3428119}, year = {2020}, } Publisher's Version

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


@InProceedings{A-TEST20p8, author = {Aldeida Aleti}, title = {The Effectiveness of Automated Software Testing Techniques (Keynote)}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {8-7}, doi = {10.1145/3412452.3428120}, year = {2020}, } 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)


@InProceedings{A-TEST20p15, author = {I. S. W. B. Prasetya and Maurin Voshol and Tom Tanis and Adam Smits and Bram Smit and Jacco van Mourik and Menno Klunder and Frank Hoogmoed and Stijn Hinlopen and August van Casteren and Jesse van de Berg and Naraenda G.W.Y. Prasetya and Samira Shirzadehhajimahmood and Saba Gholizadeh Ansari}, title = {Navigation and Exploration in 3D-Game Automated Play Testing}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3412452.3423570}, year = {2020}, } Publisher's Version

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


@InProceedings{A-TEST20p22, author = {Hoda Khalil and Yvan Labiche}, title = {Comparing Transition Trees Test Suites Effectiveness for Different Mutation Operators}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {22-21}, doi = {10.1145/3412452.3423571}, year = {2020}, } 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)


@InProceedings{A-TEST20p29, author = {Ryu Miyaki and Norihiro Yoshida and Natsuki Tsuzuki and Ryota Yamamoto and Hiroaki Takada}, title = {Fuzz4B: A Front-End to AFL Not Only for Fuzzing Experts}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3412452.3423572}, year = {2020}, } Publisher's Version

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


@InProceedings{A-TEST20p33, author = {Marina Cernat and Adelina Nicoleta Staicu and Alin Stefanescu}, title = {Towards Automated Testing of RPA Implementations}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3412452.3423573}, year = {2020}, } Publisher's Version

proc time: 0.01