1379 search results - page 93 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
119
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
118
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Complex ad hoc join queries over enterprise databases are commonly used by business data analysts to understand and analyze a variety of enterprise-wide processes. However, eff...
123
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
151
Voted
ICPP
1995
IEEE
15 years 7 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
133
Voted
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...