scholarly journals Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution

2009 ◽  
pp. 174-191 ◽  
Author(s):  
Neha Rungta ◽  
Eric G. Mercer ◽  
Willem Visser
Keyword(s):  
Symbolic Execution ◽  
Concurrent Programs

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.  

A BRIEF SURVEY ON SYMBOLIC EXECUTION TEST-SELECTION TECHNIQUES

2018 ◽  
Vol 06 (08) ◽  
pp. 81-85
Author(s):  
K.K. Nivethithaa ◽  
V. Krishnapriya
Keyword(s):  
Symbolic Execution ◽  
Test Selection

Multiplex symbolic execution

2020 ◽  
Author(s):  
Yufeng Zhang ◽  
Zhenbang Chen ◽  
Ziqi Shuai ◽  
Tianqi Zhang ◽  
Kenli Li ◽  
...  
Keyword(s):  
Symbolic Execution

Exploiting Symbolic Execution to Accelerate Deterministic Databases

2020 ◽  
Author(s):  
Shady Issa ◽  
Miguel Viegas ◽  
Pedro Raminhas ◽  
Nuno Machado ◽  
Miguel Matos ◽  
...  
Keyword(s):  
Symbolic Execution

Machine learning steered symbolic execution framework for complex software code

2021 ◽  
Author(s):  
Lei Bu ◽  
Yongjuan Liang ◽  
Zhunyi Xie ◽  
Hong Qian ◽  
Yi-Qi Hu ◽  
...  
Keyword(s):  
Machine Learning ◽  
Symbolic Execution ◽  
Software Code
Sign in / Sign up

Export Citation Format

Share Document