enter search term and/or author name
Editorial Journal-First Publication for the Software Engineering Community
Matthew B. Dwyer, David S. Rosenblum
Article No.: 1
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
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
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
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....
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
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
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...
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....
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 (