181 search results - page 2 / 37 » Program Slicing and Data Provenance |
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
ICSM
2008
IEEE
13 years 11 months ago
2008
IEEE
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
ESE
2007
13 years 4 months ago
2007
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
FAST
2009
13 years 2 months ago
2009
Provenance records the history of data. Careless use of provenance may violate the security policies of data. Moreover, the provenance itself may be sensitive information, necessi...
PASTE
2010
ACM
13 years 3 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...