Rui Abreu

Claire Le Goues

Michael Hilton

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

SmartBugs: A Framework to Analyze Solidity Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Diagnosing Software Faults Using Multiverse Analysis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Visual sketching: from image sketches to code.

[BibT_eX]

[DOI]

Marcelo d'Amorim

Carlos A. B. Mello

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Improving Energy Efficiency Through Automatic Refactoring.

[BibT_eX]

[DOI]

J. Softw. Eng. Res. Dev., 2019

To the attention of mobile software developers: guess what, test your app!

[BibT_eX]

[DOI]

David Lo

Empir. Softw. Eng., 2019

Catalog of energy patterns for mobile applications.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

Critical Review of BugSwarm for Fault Localization and Program Repair.

[BibT_eX]

[DOI]

CoRR, 2019

Interviewing the Most Successful Bot on GitHub: Dr Travis CI on 35+ Million of its Jobs.

[BibT_eX]

[DOI]

Martin Monperrus

Tegawendé F. Bissyandé

CoRR, 2019

Empirical review of Java program repair tools: a large-scale experiment on 2, 141 bugs and 23, 551 repair attempts.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

MOTSD: a multi-objective test selection tool using test suite diagnosability.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Pangolin: An SFL-Based Toolset for Feature Localization.

[BibT_eX]

[DOI]

Bruno Castro

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization.

[BibT_eX]

[DOI]

Sofia Reis

Marcelo d'Amorim

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

An Empirical Study on the Use of Defect Prediction for Test Case Prioritization.

[BibT_eX]

[DOI]

David Paterson

Gregory M. Kapfhammer

Gordon Fraser

Phil McMinn

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

An Analysis of 35+ Million Jobs of Travis CI.

[BibT_eX]

[DOI]

Martin Monperrus

Tegawendé F. Bissyandé

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Do Energy-Oriented Changes Hinder Maintainability?

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

EMaaS: energy measurements as a service for mobile applications.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018

QR-Augmented Spectrum-based Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Lightweight source code monitoring with Triggr.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Leveraging Qualitative Reasoning to Improve SFL.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A qualitative reasoning approach to spectrum-based fault localization.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Measuring the energy footprint of mobile testing frameworks.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Using Automatic Refactoring to Improve Energy Efficiency of Android Apps.

[BibT_eX]

Proceedings of the XXI Iberoamerican Conference on Software Engineering, 2018

2017

Empirical Evaluation of Similarity Coefficients for Multiagent Fault Localization.

[BibT_eX]

[DOI]

Lúcio S. Passos

Rosaldo J. F. Rossetti

IEEE Trans. Syst. Man Cybern. Syst., 2017

A Database of Existing Vulnerabilities to Enable Controlled Testing Studies.

[BibT_eX]

[DOI]

Sofia Reis

Int. J. Secur. Softw. Eng., 2017

Revisiting the Practical Use of Automated Software Fault Localization Techniques.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Recognizing Abnormal Heart Sounds Using Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Knowledge Discovery in Healthcare Data Co-located with the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017

Prevalence of Single-Fault Fixes and Its Impact on Fault Localization.

[BibT_eX]

[DOI]

Marcelo d'Amorim

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A test-suite diagnosability metric for spectrum-based fault localization approaches.

[BibT_eX]

[DOI]

Arie van Deursen

Proceedings of the 39th International Conference on Software Engineering, 2017

Evaluating and improving fault localization.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Leafactor: Improving Energy Efficiency of Android Apps via Automatic Refactoring.

[BibT_eX]

[DOI]

Jean-Noel Rouvignac

Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

Performance-Based Guidelines for Energy Efficient Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

SECBENCH: A Database of Real Security Vulnerabilities.

[BibT_eX]

[DOI]

Sofia Reis

Proceedings of the International Workshop on Secure Software Engineering in DevOps and Agile Development co-located with the 22nd European Symposium on Research in Computer Security (ESORICS 2017), 2017

2016

A Survey on Software Fault Localization.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Framing program comprehension as fault localization.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2016

Provenance Segmentation.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

Time, frequency & complexity analysis for recognizing panic states from physiologic time-series.

[BibT_eX]

[DOI]

Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2016

A Framework for Automatic Debugging of Functional and Degradation Failures.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory.

[BibT_eX]

[DOI]

César Andrés

Ana R. Cavalli

Proceedings of the Risks and Security of Internet and Systems, 2016

Classifying Heart Sound Recordings using Deep Convolutional Neural Networks and Mel-Frequency Cepstral Coefficients.

[BibT_eX]

[DOI]

Proceedings of the Computing in Cardiology, CinC 2016, Vancouver, 2016

The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems.

[BibT_eX]

[DOI]

Andrea Rosario Beccari

Radim Cmar

Erven Rohou

Proceedings of the ACM International Conference on Computing Frontiers, CF'16, 2016

2015

Using constraints to diagnose faulty spreadsheets.

[BibT_eX]

[DOI]

Softw. Qual. J., 2015

Fault Detection in C Programs using Monitoring of Range Values: Preliminary Results.

[BibT_eX]

[DOI]

Pedro Pinto

João M. P. Cardoso

CoRR, 2015

On the empirical evaluation of similarity coefficients for spreadsheets fault localization.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2015

Continuous Test Generation on Guava.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Device Health Estimation by Combining Contextual Control Information with Sensor Data.

[BibT_eX]

[DOI]

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Diagnosing Advanced Persistent Threats: A Position Paper.

[BibT_eX]

[DOI]

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2015

A wearable and mobile intervention delivery system for individuals with panic disorder.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia, Linz, Austria, November 30, 2015

Spectrum-Based Fault Localisation for Multi-Agent Systems.

[BibT_eX]

[DOI]

Lúcio S. Passos

Rosaldo J. F. Rossetti

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts.

[BibT_eX]

[DOI]

Hakan Erdogmus

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Towards a mobile and wearable system for predicting panic attacks.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2015

A Comparative Study of Regression and Classification Algorithms for Modelling Students' Academic Performance.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Educational Data Mining, 2015

2014

A dynamic code coverage approach to maximize fault localization efficiency.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES'2014).

[BibT_eX]

[DOI]

José Carlos Medeiros de Campos

João Pascoal Faria

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Continuous test generation: enhancing continuous integration with automated test generation.

[BibT_eX]

[DOI]

Andrea Arcuri

Gordon Fraser

Rui Filipe Lima Maranhão de Abreu

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A diagnosis-based approach to software comprehension.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Program Comprehension, 2014

FaultySheet Detective: When Smells Meet Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Smelling Faults in Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Diagnosing unobserved components in self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Generation of Relevant Spreadsheet Repair Candidates.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Using HTML5 visualizations in software fault localization.

[BibT_eX]

[DOI]

Carlos Gouveia

Proceedings of the 2013 First IEEE Working Conference on Software Visualization (VISSOFT), 2013

MZoltar: automatic debugging of Android applications.

[BibT_eX]

[DOI]

Pedro Machado

Proceedings of the 2013 International Workshop on Software Development Lifecycle for Mobile, 2013

Leveraging a Constraint Solver for Minimizing Test Suites.

[BibT_eX]

[DOI]

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Spectrum-Based Fault Localization for Diagnosing Concurrency Faults.

[BibT_eX]

[DOI]

Feyzullah Koca

Hasan Sözer

Proceedings of the Testing Software and Systems, 2013

MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

Entropy-based test generation for improved fault localization.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Encoding Test Requirements as Constraints for Test Suite Minimization.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators.

[BibT_eX]

[DOI]

Friedrich Steimann

Marcus Frenkel

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Cues for scent intensification in debugging.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Diagnosing architectural run-time failures.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Interoperability in Ambient Assisted Living using OpenEHR.

[BibT_eX]

[DOI]

Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

A Distributed Approach to Diagnosis Candidate Generation.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2013

A Kernel Density Estimate-Based Approach to Component Goodness Modeling.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Prioritizing Tests for Fault Localization.

[BibT_eX]

[DOI]

Éric Piel

Hans-Gerhard Gross

Proceedings of the Situation Awareness with Systems of Systems, 2013

2012

AI for the win: improving spectrum-based fault localization.

[BibT_eX]

[DOI]

Birgit Hofer

Franz Wotawa

ACM SIGSOFT Softw. Eng. Notes, 2012

Integrating Interactive Visualizations of Automatic Debugging Techniques on an Integrated Development Environment.

[BibT_eX]

[DOI]

Int. J. Creative Interfaces Comput. Graph., 2012

Self-Healing on the Cloud: State-of-the-Art and Future Challenges.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Lightweight Automatic Error Detection by Monitoring Collar Variables.

[BibT_eX]

[DOI]

João A. M. Santos

Proceedings of the Testing Software and Systems, 2012

GZoltar: an eclipse plug-in for testing and debugging.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

A Topology-Based Model for Estimating the Diagnostic Efficiency of Statistics-Based Approaches.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Debugging Spreadsheets: A CSP-based Approach.

[BibT_eX]

[DOI]

Franz Wotawa

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

OCE: An Online Colaborative Editor.

[BibT_eX]

[DOI]

César Andrés

Alberto Nuñez

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

Constraint-based Debugging of Spreadsheets.

[BibT_eX]

[DOI]

Franz Wotawa

Proceedings of the XV Iberoamerican Conference on Software Engineering, 2012

2011

Prioritizing tests for software fault diagnosis.

[BibT_eX]

[DOI]

Éric Piel

Hans-Gerhard Groß

Softw. Pract. Exp., 2011

Simultaneous debugging of software faults.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

An empirical study on the usage of testability information to fault localization in software.

[BibT_eX]

[DOI]

Hans-Gerhard Groß

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Prioritizing tests for fault localization through ambiguity group reduction.

[BibT_eX]

[DOI]

Hans-Gerhard Gross

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A Diagnostic Reasoning Approach to Defect Prediction.

[BibT_eX]

[DOI]

Proceedings of the Modern Approaches in Applied Intelligence, 2011

Probabilistic Error Propagation Modeling in Logic Circuits.

[BibT_eX]

[DOI]

Shekhar Gupta

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An OpenGL-based eclipse plug-in for visual debugging.

[BibT_eX]

[DOI]

Rui Rodrigues

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Architecture-Based Run-Time Fault Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 5th European Conference, 2011

Spectrum-Based Sequential Diagnosis.

[BibT_eX]

[DOI]

Hans-Gerhard Groß

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Diagnosing multiple intermittent failures using maximum likelihood estimation.

[BibT_eX]

[DOI]

Artif. Intell., 2010

The GZoltar Project: A Graphical Debugger Interface.

[BibT_eX]

[DOI]

Proceedings of the Testing, 2010

Increasing System Availability with Local Recovery Based on Fault Localization.

[BibT_eX]

[DOI]

Hasan Sözer

Mehmet Aksit

Proceedings of the 10th International Conference on Quality Software, 2010

Exploiting count spectra for Bayesian fault localization.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Predictive Models in Software Engineering, 2010

2009

Spectrum-based Fault Localization in Embedded Software.

[BibT_eX]

[DOI]

PhD thesis, 2009

A practical evaluation of spectrum-based fault localization.

[BibT_eX]

[DOI]

Rob Golsteijn

J. Syst. Softw., 2009

A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Refining spectrum-based fault localization rankings.

[BibT_eX]

[DOI]

Wolfgang Mayer

Markus Stumptner

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Localizing Software Faults Simultaneously.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

Zoltar: A Toolset for Automatic Fault Localization.

[BibT_eX]

[DOI]

Tom Janssen

Proceedings of the ASE 2009, 2009

Spectrum-Based Multiple Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

A New Bayesian Approach to Multiple Intermittent Fault Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

2008

Automated Fault Diagnosis in Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008

Automatic software fault localization using generic program invariants.

[BibT_eX]

[DOI]

Alberto González

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An observation-based model for fault localization.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

On the Performance of Fault Screeners in Software Development and Deployment.

[BibT_eX]

Proceedings of the ENASE 2008, 2008

Using Fault Screeners for Software Error Detection.

[BibT_eX]

[DOI]