Sciweavers

4276 search results - page 3 / 856
» Techniques for Empirical Validation
Sort
View
ESE
2006
95views Database» more  ESE 2006»
13 years 6 months ago
Input validation analysis and testing
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
Jane Huffman Hayes, Jeff Offutt
GECCO
2010
Springer
193views Optimization» more  GECCO 2010»
13 years 11 months ago
Fitness-AUC bandit adaptive strategy selection vs. the probability matching one within differential evolution: an empirical comp
The choice of which of the available strategies should be used within the Differential Evolution algorithm for a given problem is not trivial, besides being problem-dependent and...
Álvaro Fialho, Marc Schoenauer, Michè...
LISA
2008
13 years 8 months ago
Designing Tools for System Administrators: An Empirical Test of the Integrated User Satisfaction Model
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
Nicole F. Velasquez, Suzanne P. Weisband, Alexandr...
MOBIS
2008
13 years 7 months ago
Semantic Business Process Management: An Empirical Case Study
: Semantic technologies promise fully leveraging the content of enterprise and business process models by applying reasoning techniques to query the process space or using ontologi...
Sebastian Stein, Christian Stamber, Marwane El Kha...
ESEM
2007
ACM
13 years 10 months ago
A Critical Analysis of Empirical Research in Software Testing
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
Lionel C. Briand