A Survey on Automated Software Test Case Generation of Concurrent Programs

PhD Qualifying Examination


Title: "A Survey on Automated Software Test Case Generation of Concurrent 
Programs"

by

Mr. Valerio TERRAGNI


Abstract:

Generating test code is among the most labor-intensive activities in 
software testing. It is also the most effective way for assessing the 
software quality. As a result, generating tests automatically has been an 
important area of research in the past two decades. However, most of 
existing techniques generate tests for sequential programs, thus they are 
ineffective to expose concurrency bugs that arise due to erroneous thread 
interactions. As multi-core technologies advance concurrent programs 
proliferate, making the automated test case generation of concurrent 
programs an important problem to solve. In this survey, we focus on 
reviewing existing research works related to the concurrent test case 
generation. First, we introduce and define the tasks that are needed to be 
automated for generating a multi-threaded test. Second, we introduce 
various approaches presented in the literature discussing their 
applicability and effectiveness when applied to concurrent testing. Third, 
we discuss and compare existing techniques that aim to generate concurrent 
tests. Based on this survey, we identify and discuss challenging open 
issues for the automated generation of concurrent tests.


Date:			Monday, 18 August 2014

Time:                  	4:00pm - 6:00pm

Venue:                  Room 5487
                        Lifts 25/26

Committee Members:	Prof. Shing-Chi Cheung (Supervisor)
  			Prof. Albert Chung (Chairperson)
 			Dr. Sunghun Kim
  			Dr. Qiong Luo


**** ALL are Welcome ****