4469 search results - page 384 / 894 » Dynamic Program Slicing |
230
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
The recent developments of smart mobile phones and 3G networks enable users to enjoy video programs by subscribing to data plans. Due to phone-to-phone communication technologies ...
182
Voted
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
227
Voted
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
184
click to vote
PPDP
2005
Springer
16 years 28 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
190
click to vote
ACMSE
2004
ACM
16 years 27 days ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...