1350 search results - page 199 / 270 » Is there a future for empirical software engineering |
KBSE
2009
IEEE
14 years 2 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...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Existing studies on the maintenance of open source projects focus primarily on the analyses of the overall maintenance of the projects and less on specific categories like the co...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
ARCS
2009
Springer
14 years 2 months ago
2009
Springer
In sampling based hotspot detection, performance engineers sample the running program periodically and record the Instruction Pointer (IP) addresses at the sampling. Empirically, f...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...