scholarly journals Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique

2009 ◽  
pp. 398-413 ◽  
Author(s):  
Vineet Kahlon ◽  
Chao Wang ◽  
Aarti Gupta
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Reduction Technique ◽  
Partial Order Reduction

scholarly journals TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

2012 ◽  
pp. 219-234 ◽  
Author(s):  
Samira Tasharofi ◽  
Rajesh K. Karmani ◽  
Steven Lauterburg ◽  
Axel Legay ◽  
Darko Marinov ◽  
...  
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Reduction Technique ◽  
Partial Order Reduction

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document