enter search term and/or author name
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
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
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)...