Sciweavers

137 search results - page 28 / 28
» Increasing the Efficiency of Fault Detection in Modified Cod...
Sort
View
GECCO
2005
Springer
163views Optimization» more  GECCO 2005»
13 years 11 months ago
Benefits of software measures for evolutionary white-box testing
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
Frank Lammermann, Stefan Wappler
INFSOF
2010
173views more  INFSOF 2010»
13 years 2 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...