5855 search results - page 393 / 1171 » Test generation and minimization with |
182
click to vote
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
198
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
195
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The desire to predict power generation at a given point in time is essential to power scheduling, energy trading, and availability modeling. The research conducted within is conce...
167
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
122
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper proposes a novel self-healing methodology for embedded RF Amplifiers (LNAs) in RF sub-systems. The proposed methodology is based on oscillation principles in which t...