5 search results - page 1 / 1 » Toward Formal TTCN-Based Test Execution |
INFOCOM
1997
IEEE
13 years 8 months ago
1997
IEEE
SAC
2005
ACM
13 years 10 months ago
2005
ACM
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
CCGRID
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
SOFTVIS
2010
ACM
13 years 5 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
18
Voted
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...