Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution

2015 ◽  
pp. 311-322 ◽  
Author(s):  
Andreas Ibing
Keyword(s):  
Partial Order ◽  
Symbolic Execution ◽  
Race Detection

scholarly journals SymPaths: Symbolic Execution Meets Partial Order Reduction

2020 ◽  
pp. 313-338
Author(s):  
Frank S. de Boer ◽  
Marcello Bonsangue ◽  
Einar Broch Johnsen ◽  
Violet Ka I Pun ◽  
S. Lizeth Tapia Tarifa ◽  
...  
Keyword(s):  
Partial Order ◽  
Symbolic Execution ◽  
Order Reduction ◽  
Partial Order Reduction

Deriving the Partial Order of Documents to Extend Clustering Applications

2019 ◽  
Vol 7 (1) ◽  
pp. 424-430
Author(s):  
A. George Louis Raja ◽  
F. Sagayaraj Francis ◽  
P. Sugumar
Keyword(s):  
Partial Order

Symbolic data race detection for Habanero programs

2019 ◽  
Vol 44 (4) ◽  
pp. 18-18 ◽  
Author(s):  
Egor Namakonov ◽  
Eric Mercer ◽  
Pavel Parizek ◽  
Kyle Storey
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Symbolic Data
Sign in / Sign up

Export Citation Format

Share Document