443 search results - page 62 / 89 » An improved slicer for Java |
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
MSR
2006
ACM
14 years 3 months ago
2006
ACM
Software birthmarks are unique and native characteristics of every software component. Two components having similar birthmarks indicate that they are similar in functionality, st...
ITICSE
2003
ACM
14 years 3 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
ELPUB
2007
ACM
14 years 1 months ago
2007
ACM
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
CC
2006
Springer
14 years 1 months ago
2006
Springer
We present the results of an empirical study evaluating the precision of subset-based points-to analysis with several variations of context sensitivity on Java benchmarks of signif...