scholarly journals Learning-based controlled concurrency testing

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

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

2009 ◽  
pp. 101-114 ◽  
Author(s):  
Bohuslav Křena ◽  
Zdeněk Letko ◽  
Yarden Nir-Buchbinder ◽  
Rachel Tzoref-Brill ◽  
Shmuel Ur ◽  
...  
Keyword(s):  
Dynamic Analysis ◽  
Testing Tool ◽  
Concurrency Testing

scholarly journals Concurrency testing using symbolic path finder

2018 ◽  
Vol 7 (2.6) ◽  
pp. 275
Author(s):  
Bidush Kumar Sahoo ◽  
Mitrabinda Ray
Keyword(s):  
Symbolic Execution ◽  
Concurrent Programs ◽  
Test Case ◽  
Test Cases ◽  
Concurrent Program ◽  
Activity Complex ◽  
Race Condition ◽  
Concurrent Testing ◽  
Concurrency Testing ◽  
The Given

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.  

scholarly journals Déjà Fu: a concurrency testing library for Haskell

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

Concurrency testing using schedule bounding

2014 ◽  
Vol 49 (8) ◽  
pp. 15-28 ◽  
Author(s):  
Paul Thomson ◽  
Alastair F. Donaldson ◽  
Adam Betts
Keyword(s):  
Concurrency Testing

scholarly journals Preemption Sealing for Efficient Concurrency Testing

2010 ◽  
pp. 420-434 ◽  
Author(s):  
Thomas Ball ◽  
Sebastian Burckhardt ◽  
Katherine E. Coons ◽  
Madanlal Musuvathi ◽  
Shaz Qadeer
Keyword(s):  
Concurrency Testing
Sign in / Sign up

Export Citation Format

Share Document