3544 search results - page 487 / 709 » Software Testing |
131
click to vote
JUCS
2007
15 years 2 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
130
click to vote
APN
2006
Springer
15 years 4 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
156
click to vote
ACSC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper discusses the effect of context on mobile usability, proposes an expanded model of mobile application context, and conducts an empirical study to test a number of hypot...
122
click to vote
ACMSE
2004
ACM
15 years 7 months 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...
111
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Many emerging semantic web applications include ontologies from one set of authors and instance data from another (often much larger) set of authors. Often ontologies are reused a...