12745 search results - page 207 / 2549 » Automating test automation |
177
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--In this work, we study how continuous video monitoring and intelligent video processing can be used in eldercare to assist the independent living of elders and to improve...
140
click to vote
WOWMOM
2005
ACM
15 years 11 months ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
131
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
176
click to vote
APSEC
2006
IEEE
16 years 8 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
175
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...