Run-Time Verification for Observational Determinism Using Dynamic Program Slicing

2017 ◽  
pp. 405-416
Author(s):  
Mohammad Ghorbani ◽  
Mehran S. Fallah
Keyword(s):  
Program Slicing ◽  
Dynamic Program ◽  
Run Time

Cost effective dynamic program slicing

2004 ◽  
Vol 39 (6) ◽  
pp. 94-106 ◽  
Author(s):  
Xiangyu Zhang ◽  
Rajiv Gupta
Keyword(s):  
Cost Effective ◽  
Program Slicing ◽  
Dynamic Program ◽  
Effective Dynamic

scholarly journals Theoretical foundations of dynamic program slicing

2006 ◽  
Vol 360 (1-3) ◽  
pp. 23-41 ◽  
Author(s):  
Dave Binkley ◽  
Sebastian Danicic ◽  
Tibor Gyimóthy ◽  
Mark Harman ◽  
Ákos Kiss ◽  
...  
Keyword(s):  
Program Slicing ◽  
Dynamic Program ◽  
Theoretical Foundations

Dynamic program slicing methods

1998 ◽  
Vol 40 (11-12) ◽  
pp. 647-659 ◽  
Author(s):  
Bogdan Korel ◽  
Jurgen Rilling
Keyword(s):  
Program Slicing ◽  
Dynamic Program

An efficient dynamic program slicing technique

2002 ◽  
Vol 44 (2) ◽  
pp. 123-132 ◽  
Author(s):  
G.B Mund ◽  
R Mall ◽  
S Sarkar
Keyword(s):  
Program Slicing ◽  
Dynamic Program
Sign in / Sign up

Export Citation Format

Share Document