ICST
2011
IEEE
13 years 3 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
ICST
2011
IEEE
13 years 3 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
ICST
2011
IEEE
13 years 3 months ago
2011
IEEE
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...
ICST
2011
IEEE
13 years 3 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
ICST
2011
IEEE
13 years 3 months ago
2011
IEEE
—A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In ...
ICST
2011
IEEE
13 years 3 months ago
2011
IEEE
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...
ICST
2011
IEEE
13 years 3 months ago
2011
IEEE
—Changing source code in large software systems is complex and requires a good understanding of dependencies between software components. Modification to components with little ...
ICST
2011
IEEE
13 years 3 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...