4299 search results - page 340 / 860 » Concurrent Test Generation |
141
click to vote
COMPSAC
2008
IEEE
15 years 5 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...
155
click to vote
ICST
2008
IEEE
15 years 11 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...
162
click to vote
FLAIRS
2007
15 years 7 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...
134
click to vote
DATE
1997
IEEE
15 years 9 months ago
1997
IEEE
In digital circuit simulation hidden opportunities for concurrent execution of models often exist, arising from the propagation delay associated with the generation of output even...
142
Voted
APN
2001
Springer
15 years 8 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...