Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM) - Special Issue on ISSTA 2013, Volume 24 Issue 4, August 2015

Section: Special Issue on ISSTA 2013

Introduction to the Special Issue on ISSTA 2013
Mark Harman, Mauro Pezzé
Article No.: 21
DOI: 10.1145/2809789

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
DOI: 10.1145/2660767

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
DOI: 10.1145/2699688

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
DOI: 10.1145/2729975

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
DOI: 10.1145/2699691

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
DOI: 10.1145/2774218

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...