Dynamic program slicing in understanding of program execution

2002 ◽  
Author(s):  
B. Korel ◽  
J. Rilling
Keyword(s):  
Program Slicing ◽  
Dynamic Program ◽  
Program Execution

Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution

2019 ◽  
Vol 68 (3) ◽  
pp. 1101-1116 ◽  
Author(s):  
Meng Wang ◽  
Cong Tian ◽  
Nan Zhang ◽  
Zhenhua Duan
Keyword(s):  
Dynamic Program ◽  
Program Execution ◽  
Temporal Properties

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
Sign in / Sign up

Export Citation Format

Share Document