Abstract is missing.
- SafeDNN: understanding and verifying neural networks (keynote)Corina S. Pasareanu. 1 [doi]
- The effectiveness of automated software testing techniques (keynote)Aldeida Aleti. 2 [doi]
- Navigation and exploration in 3D-game automated play testingI. 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. 3-9 [doi]
- Comparing transition trees test suites effectiveness for different mutation operatorsHoda Khalil, Yvan Labiche. 10-16 [doi]
- Fuzz4B: a front-end to AFL not only for fuzzing expertsRyu Miyaki, Norihiro Yoshida, Natsuki Tsuzuki, Ryota Yamamoto, Hiroaki Takada. 17-20 [doi]
- Towards automated testing of RPA implementationsMarina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu. 21-24 [doi]