Sciweavers

123 search results - page 11 / 25
» Extending Sunit to Test Components
Sort
View
TAP
2008
Springer
93views Hardware» more  TAP 2008»
14 years 9 months ago
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
Nikolai Tillmann, Jonathan de Halleux
BMCBI
2010
110views more  BMCBI 2010»
14 years 9 months ago
On the use of resampling tests for evaluating statistical significance of binding-site co-occurrence
Background: In eukaryotes, most DNA-binding proteins exert their action as members of large effector complexes. The presence of these complexes are revealed in high-throughput gen...
David S. Huen, Steven Russell
POLICY
2005
Springer
15 years 3 months ago
Adding Policy-Based Control to Mobile Hosts Switching between Streaming Proxies
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
Malohat Ibrohimovna Kamilova, Cristian Hesselman, ...
GPEM
2006
80views more  GPEM 2006»
14 years 9 months ago
Unbounded evolutionary dynamics in a system of agents that actively process and transform their environment
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
Alastair Channon
ECOOP
2004
Springer
15 years 1 months ago
Early Identification of Incompatibilities in Multi-component Upgrades
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
Stephen McCamant, Michael D. Ernst