Sciweavers

15 search results - page 2 / 3
» Automated Whitebox Fuzz Testing
Sort
View
JSA
2011
104views more  JSA 2011»
12 years 12 months ago
Efficient file fuzz testing using automated analysis of binary file format
Hyoung Chun Kim, Young Han Choi, Dong Hoon Lee
GECCO
2005
Springer
163views Optimization» more  GECCO 2005»
13 years 10 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
ISSTA
2010
ACM
13 years 8 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
13 years 10 months ago
Evaluating Evolutionary Testability with Software-Measurements
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
Frank Lammermann, André Baresel, Joachim We...
CORR
2010
Springer
117views Education» more  CORR 2010»
13 years 5 months ago
Testing and Debugging Techniques for Answer Set Solver Development
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...
Robert Brummayer, Matti Järvisalo