383 search results - page 31 / 77 » Unit testing concurrent software |
SNPD
2008
13 years 11 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
Currently, portable ultrasound units lack 3-dimensional (3D) image display, limiting their usefulness especially under hostile operating environments where information must be int...
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
ICDCSW
2006
IEEE
14 years 4 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
VLSID
1999
IEEE
14 years 2 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...