4276 search results - page 2 / 856 » Techniques for Empirical Validation |
ICST
2008
IEEE
13 years 12 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
COLT
1998
Springer
13 years 9 months ago
1998
Springer
This paper concerns the use of real-valued functions for binary classification problems. Previous work in this area has concentrated on using as an error estimate the `resubstitut...
ECBS
2007
IEEE
13 years 11 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
EDO
2005
Springer
13 years 11 months ago
2005
Springer
An SQL injection attack targets interactive web applications that employ database services. Such applications accept user input, such as form fields, and then include this input ...
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
Regression testing is an expensive maintenance process used to revalidate modified software. Regression test selection (RTS) techniques attempt to reduce the cost of regression te...