concurrency testing
Recently Published Documents


TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-31
Author(s):  
Suvam Mukherjee ◽  
Pantazis Deligiannis ◽  
Arpita Biswas ◽  
Akash Lal
Keyword(s):  

2018 ◽  
Vol 7 (2.6) ◽  
pp. 275
Author(s):  
Bidush Kumar Sahoo ◽  
Mitrabinda Ray

Concurrent programs have specific features such as italic communication, synchronization and nondeterministic behavior that make the testing activity complex. The objective is to find various types of concurrent defects. In this paper, we have used a model checking tool called Symbolic Path Finder (SPF) which is the upgradation of Java Path Finder (JPF) for concurrent testing. SPF is used for generating the test cases to check concurrent defects such as deadlock, race condition etc. SPF generates symbolic execution tree of the given code which is used as an input for test case generation. The execution is done for finding the test cases in concurrent program where number of threads is operating together with the concurrent defects. The test cases show the type of concurrent defects in the respective line number of the source code.  


2016 ◽  
Vol 2 (4) ◽  
pp. 1-37 ◽  
Author(s):  
Paul Thomson ◽  
Alastair F. Donaldson ◽  
Adam Betts
Keyword(s):  

2016 ◽  
Vol 50 (12) ◽  
pp. 141-152 ◽  
Author(s):  
Michael Walker ◽  
Colin Runciman
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document