* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 16:00 - 16:20 at H1 room - Test Generation Chair(s): Federica Sarro

Testing software applications by interacting with their graphical user interface (GUI) is an expensive and complex process. Current automatic test case generation techniques implement explorative approaches that, although producing useful test cases, have a limited capability of covering semantically relevant interactions, thus frequently missing important testing scenarios. These techniques typically interact with the available widgets following the structure of the GUI, without any guess about the functions that are executed.

In this paper we propose Augusto, a test case generation technique that exploits a built-in knowledge of the semantics associated with popular and well-known functionalities, such as CRUD operations, to automatically generate effective test cases with automated functional oracles. Empirical results indicate that Augusto can reveal faults that cannot be revealed with state of the art techniques.

Wed 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Test GenerationTechnical Papers at H1 room
Chair(s): Federica Sarro University College London
16:00
20m
Talk
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles
Technical Papers
Leonardo Mariani University of Milano Bicocca, Mauro Pezzè University of Milano-Bicocca, Italy, Daniele Zuddas
Pre-print
16:20
20m
Talk
Towards Optimal Concolic TestingAward
Technical Papers
Xinyu Wang Zhejiang University, Jun Sun Singapore University of Technology and Design, Zhenbang Chen College of Computer, National University of Defense Technology, Peixin Zhang , Jingyi Wang Singapore University of Technology and Design, Yun Lin
Pre-print
16:40
20m
Talk
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Technical Papers
Yuchi Tian , Kexin Pei , Suman Jana , Baishakhi Ray Columbia University, New York
17:00
20m
Talk
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts
Technical Papers
17:20
10m
Talk
Q&A in groups
Technical Papers