86 search results - page 14 / 18 » A Multi-Word Term Extraction Program for Arabic Language |
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
As software systems continue to grow and evolve, locating code for maintenance and reuse tasks becomes increasingly difficult. Existing static code search techniques using natura...
101
click to vote
WWW
2009
ACM
16 years 11 days ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
SIGADA
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
184
click to vote
POPL
2005
ACM
16 years 7 hour ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
101
click to vote
SIGSOFT
2009
ACM
15 years 6 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...