Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 25 Issue 1, December 2015

Editorial Journal-First Publication for the Software Engineering Community
Matthew B. Dwyer, David S. Rosenblum
Article No.: 1
DOI: 10.1145/2837717

Understanding Integer Overflow in C/C++
Will Dietz, Peng Li, John Regehr, Vikram Adve
Article No.: 2
DOI: 10.1145/2743019

Integer overflow bugs in C and C++ programs are difficult to track down and may lead to fatal errors or exploitable vulnerabilities. Although a number of tools for finding these bugs exist, the situation is complicated because not all overflows...

Intelligent Code Completion with Bayesian Networks
Sebastian Proksch, Johannes Lerch, Mira Mezini
Article No.: 3
DOI: 10.1145/2744200

Code completion is an integral part of modern Integrated Development Environments (IDEs). Developers often use it to explore Application Programming Interfaces (APIs). It is also useful to reduce the required amount of typing and to...

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines
Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb
Article No.: 4
DOI: 10.1145/2818640

Tasks in real-time embedded systems (RTES) are often subject to hard deadlines that constrain how quickly the system must react to external inputs. These inputs and their timing vary in a large domain depending on the environment state and can...

Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency
Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella
Article No.: 5
DOI: 10.1145/2768829

Several techniques and tools have been proposed for the automatic generation of test cases. Usually, these tools are evaluated in terms of fault-revealing or coverage capability, but their impact on the manual debugging activity is not considered....

Test Case Prioritization Using Extended Digraphs
Seyedeh Sepideh Emam, James Miller
Article No.: 6
DOI: 10.1145/2789209

Although many test case prioritization techniques exist, their performance is far from perfect. Hence, we propose a new fault-based test case prioritization technique to promote fault-revealing test cases in model-based testing (MBT)...

Boa: Ultra-Large-Scale Software Repository and Source-Code Mining
Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen
Article No.: 7
DOI: 10.1145/2803171

In today's software-centric world, ultra-large-scale software repositories, such as SourceForge, GitHub, and Google Code, are the new library of Alexandria. They contain an enormous corpus of software and related information. Scientists and...

The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints
Phil Mcminn, Chris J. Wright, Gregory M. Kapfhammer
Article No.: 8
DOI: 10.1145/2818639

Despite industry advice to the contrary, there has been little work that has sought to test that a relational database's schema has correctly specified integrity constraints. These critically important constraints ensure the coherence of data in a...

Type-Based Call Graph Construction Algorithms for Scala
Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, Frank Tip
Article No.: 9
DOI: 10.1145/2824234

Call graphs have many applications in software engineering. For example, they serve as the basis for code navigation features in integrated development environments and are at the foundation of static analyses performed in verification tools....

Estimating Semantic Relatedness in Source Code
Anas Mahmoud, Gary Bradshaw
Article No.: 10
DOI: 10.1145/2824251

Contemporary software engineering tools exploit semantic relations between individual code terms to aid in code analysis and retrieval tasks. Such tools employ word similarity methods, often used in natural language processing (nlp), to...