2419 search results - page 70 / 484 » A Formal Approach to Software Testing |
EUROSYS
2010
ACM
14 years 5 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
AAAI
2008
13 years 10 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
JSS
2006
13 years 8 months ago
2006
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...