16190 search results - page 495 / 3238 » Applicative programming with effects |
176
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Complex software programs are mostly characterized by phase behavior and runtime distributions. Due to the dynamism of the two characteristics, it is not efficient to m...
200
Voted
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
156
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Building an optimising compiler is a difficult and time consuming task which must be repeated for each generation of a microprocessor. As the underlying microarchitecture changes...
182
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
174
click to vote
RTAS
2007
IEEE
16 years 29 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...