Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 26 Issue 2, September 2017

Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Identifier Names
Giuseppe Scanniello, Michele Risi, Porfirio Tramontana, Simone Romano
Article No.: 6
DOI: 10.1145/3104029

We carried out a family of controlled experiments to investigate whether the use of abbreviated identifier names, with respect to full-word identifier names, affects fault fixing in C and Java source code. This family consists of an original (or...

A Logic-Based Approach for the Verification of UML Timed Models
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem K., Matteo Rossi
Article No.: 7
DOI: 10.1145/3106411

This article presents a novel technique to formally verify models of real-time systems captured through a set of heterogeneous UML diagrams. The technique is based on the following key elements: (i) a subset of Unified Modeling Language (UML)...