• Publications
  • Influence
An Evaluation of Similarity Coefficients for Software Fault Localization
Different similarity coefficients that are applied in the context of a program spectral approach to software fault localization (single programming mistakes) show different effectiveness in terms of the position of the actual fault in the probability ranking of fault candidates produced by the diagnosis technique. Expand
A practical evaluation of spectrum-based fault localization
This work investigates diagnostic accuracy as a function of several parameters (such as quality and quantity of the program spectra collected during the execution of the system) and shows that SFL can effectively be applied in the context of embedded software development in an industrial environment. Expand
A Survey on Software Fault Localization
A comprehensive overview of a broad spectrum of fault localization techniques, each of which aims to streamline the fault localization process and make it more effective by attacking the problem in a unique way is provided. Expand
Spectrum-Based Multiple Fault Localization
Experimental results show that BARINEL typically outperforms current SFL approaches at a cost complexity that is only marginally higher, and this superiority is established by formal proof. Expand
Evaluating and Improving Fault Localization
A design space is identified that includes many previously-studied fault localization techniques as well as hundreds of new techniques, and which factors in the design space are most important, using an overall set of 395 real faults. Expand
GZoltar: an eclipse plug-in for testing and debugging
A toolset for automatic testing and fault localization, dubbed GZoltar, which hosts techniques for (regression) test suite minimization and automatic fault diagnosis (namely, spectrum-based fault localization). Expand
Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators
This work proposes the establishment of theoretical lower and upper bounds of fault localization accuracy that depend on properties of the subject programs (including their test suites) only and makes a suggestion for a lower bound and shows that well-known fault locators do not uniformly perform better. Expand
Performance-Based Guidelines for Energy Efficient Mobile Applications
  • L. Cruz, Rui Abreu
  • Computer Science, Engineering
  • IEEE/ACM 4th International Conference on Mobile…
  • 20 May 2017
It is observed that the battery of the mobile device can last up to approximately an extra hour if the applications are developed with energy-aware practices, paving the way for a set of guidelines for energy- aware automatic refactoring techniques. Expand
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
An empirical evaluation of 9 state-of-the-art automated analysis tools using two new datasets, including a dataset of 69 annotated vulnerable smart contracts that can be used to evaluate the precision of analysis tools and a dataset with all the smart contracts in the Ethereum Blockchain that have Solidity source code available on Etherscan. Expand
Simultaneous debugging of software faults
(Semi-)automated diagnosis of software faults can drastically increase debugging efficiency, improving reliability and time-to-market. Current automatic diagnosis techniques are predominantly of aExpand