127 search results - page 19 / 26 » Software Testing Process Automation Based on UTP - A Case St... |
TAP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
WCRE
2008
IEEE
14 years 1 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
SEKE
2007
Springer
14 years 1 months ago
2007
Springer
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...
HIPEAC
2009
Springer
14 years 2 months ago
2009
Springer
Process variations, which lead to timing and power variations across identically-designed components, have been identified as one of the key future design challenges by the semico...
ISESE
2006
IEEE
14 years 1 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...