enter search term and/or author name
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
Article No.: 22
A fundamental question in software testing research is how to compare test suites, often as a means for comparing test-generation techniques that produce those test suites. Researchers frequently compare test suites by measuring their...
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg
Article No.: 23
Work on automated test generation has produced several tools capable of generating test data which achieves high structural coverage over a program. In the absence of a specification, developers are expected to manually construct or verify the...
Effective Techniques for Static Race Detection in Java Parallel Loops
Cosmin Radoi, Danny Dig
Article No.: 24
Despite significant progress in recent years, the important problem of static race detection remains open. Previous techniques took a general approach and looked for races by analyzing the effects induced by low-level concurrency constructs (e.g.,...
Data Model Property Inference, Verification, and Repair for Web Applications
Jaideep Nijjar, Ivan Bocić, Tevfik Bultan
Article No.: 25
Most software systems nowadays are Web-based applications that are deployed over compute clouds using a three-tier architecture, where the persistent data for the application is stored in a backend datastore and is accessed and modified by the...
Automated Support for Reproducing and Debugging Field Failures
Wei Jin, Alessandro Orso
Article No.: 26
As confirmed by a recent survey conducted among developers of the Apache, Eclipse, and Mozilla projects, two extremely challenging tasks during maintenance are reproducing and debugging field failures—failures that occur on user machines...