Automatic test case generation is a key ingredient of an efficient and cost-effective software verification process. AutoBlackTest focuses on testing applications that interact with the users through a GUI, and generates test cases at the system level. AutoBlackTest uses reinforcement learning to learn how to interact with the application under test and stimulate its functionalities.


Link is a technique to automatically generate realistic data for GUI-testing. The novel idea of Link is to exploit the Web of Data to generate test data that match the semantics of the related widgets, and satisfy the semantic constraints that arise among interrelated widgets. See the Link paper for more details [PDF].

What is LINK?