334 search results - page 14 / 67 » Model-Based Software Testing and Verification |
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
BELL
2000
13 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
INLG
2010
Springer
13 years 5 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
CIBSE
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...