498 search results - page 53 / 100 » Automated Software Test Data Generation for Complex Programs |
CCR
2011
13 years 2 months ago
2011
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...
TOSEM
1998
13 years 7 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
SIGSOFT
2000
ACM
14 years 7 days ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
IEE
2010
13 years 6 months ago
2010
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...