291 search results - page 31 / 59 » Software-Test |
INLG
2010
Springer
13 years 7 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 ...
ERLANG
2004
ACM
14 years 3 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
JSW
2007
13 years 9 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
FORTE
2004
13 years 11 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...