612 search results - page 99 / 123 » Using Static Analysis to Improve Automatic Test Generation |
102
click to vote
CASCON
2007
15 years 1 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
100
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
117
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
An Estimation of Distribution Algorithm (EDA) is proposed to approach the Hybrid Flow Shop with Sequence Dependent Setup Times and Uniform Machines in parallel (HFSSDST-UM) proble...
134
click to vote
JCB
2002
14 years 11 months ago
2002
There are many algorithms to cluster sample data points based on nearness or a similarity measure. Often the implication is that points in different clusters come from different u...