Software Testing in the Quantum World

Computer

2026 | journal-article

Leveraging Risk Models to Improve Productivity for Effective Code Un-Freeze at Scale

ACM Transactions on Software Engineering and Methodology

2025 | journal-article

Quantum Approaches for Vehicle Routing Optimization on Noisy Intermediate Scale Quantum Platforms: Applications of QAOA and Quantum Annealing for Vehicle Routing Problems [Focus: Quantum Software and its Engineering]

IEEE Software

2025 | journal-article

Automatic Generation of Loop Invariants in Dafny with Large Language Models

2025 | book-chapter

Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)

2024 | conference-paper

Gate Branch Coverage: A Metric for Quantum Software Testing

2024 | conference-paper

AI-Assisted SQL Authoring at Industry Scale

arXiv

2024 | other

Deep Reinforcement Learning Strategies for Noise-Adaptive Qubit Routing

Proceedings - 2024 IEEE International Conference on Quantum Software, QSW 2024

2024 | conference-paper

Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)

arXiv

2024 | other

Message from the General Co-Chairs International Conference on Software Engineering (ICSE) 2024

Proceedings - International Conference on Software Engineering

2024 | conference-paper

Message from the General Co-Chairs: International Conference on Software Engineering (ICSE) 2024

Proceedings - International Conference on Software Engineering

2024 | conference-paper

Moving Faster and Reducing Risk: Using LLMs in Release Deployment

arXiv

2024 | other

Programming languages ranking based on energy measurements

Software Quality Journal

2024 | journal-article

Are security commit messages informative? Not enough!

ACM International Conference Proceeding Series

2023 | conference-paper

Augmenting Automated Spectrum Based Fault Localization for Multiple Faults

IJCAI International Joint Conference on Artificial Intelligence

2023 | conference-paper

Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2023 | conference-paper

Case studies of development of verified programs with Dafny for accessibility assessment

arXiv

2023 | other

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data

ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering

2023 | conference-paper

GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair

SLE 2023 - Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2023

2023 | conference-paper

Message from the Fast Abstract Chairs

Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshop, ISSREW 2023

2023 | conference-paper

Modeling the Centrality of Developer Output with Software Supply Chains

ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering

2023 | conference-paper

Rexstepper: a Reference Debugger for JavaScript Regular Expressions

Proceedings - International Conference on Software Engineering

2023 | conference-paper

SECOMlint: A linter for Security Commit Messages

arXiv

2023 | other

Software fault localization for programs with multiple bugs

Handbook of Software Fault Localization: Foundations and Advances

2023 | book-chapter

Spectrum-based feature localization for families of systems

Journal of Systems and Software

2023 | journal-article

Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection

Proceedings - 2023 IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI, CAIN 2023

2023 | conference-paper

A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing

Proceedings - 2022 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2022

2022 | conference-paper

A transformer-based IDE plugin for vulnerability detection

ACM International Conference Proceeding Series

2022 | conference-paper

Asserting the correctness of Shor implementations using metamorphic testing

QP4SE 2022 - Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, co-located with ESEC/FSE 2022

2022 | conference-paper

Code Quality Prediction Under Super Extreme Class Imbalance

Proceedings - 2022 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2022

2022 | conference-paper

Exploring Design smells for smell-based defect prediction

Engineering Applications of Artificial Intelligence

2022 | journal-article

Exploring Transformers for Multi-Label Classification of Java Vulnerabilities

IEEE International Conference on Software Quality, Reliability and Security, QRS

2022 | conference-paper

Extending EcoAndroid with Automated Detection of Resource Leaks

Proceedings - 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft 2022

2022 | conference-paper

Framing Program Repair as Code Completion

Proceedings - International Workshop on Automated Program Repair, APR 2022

2022 | conference-paper

Leveraging Practitioners' Feedback to Improve a Security Linter

ACM International Conference Proceeding Series

2022 | conference-paper

Leveraging test plan quality to improve code review efficacy

ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering

2022 | conference-paper

Localizing Multiple Bugs Using Discrete Probability Trees

SSRN

2022 | other

Maestro: A platform for benchmarking automatic program repair tools on software vulnerabilities

ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis

2022 | conference-paper

Metamorphic testing of oracle quantum programs

Proceedings - 3rd International Workshop on Quantum Software Engineering, Q-SE 2022

2022 | conference-paper

Mining Idioms in the Wild

Proceedings - International Conference on Software Engineering

2022 | conference-paper

Mutation Testing of Quantum Programs Written in QISKit

Proceedings - International Conference on Software Engineering

2022 | conference-paper

Mutation Testing of Quantum Programs: A Case Study With Qiskit

IEEE Transactions on Quantum Engineering

2022 | journal-article

QMutPy: A mutation testing tool for Quantum algorithms and applications in Qiskit

ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis

2022 | conference-paper

Quantum software frameworks for deep learning

Quantum Software Engineering

2022 | book-chapter

SECOM: Towards a convention for security commit messages

Proceedings - 2022 Mining Software Repositories Conference, MSR 2022

2022 | conference-paper

Syrius: Synthesis of Rules for Intrusion Detectors

IEEE Transactions on Reliability

2022 | journal-article

The Bumpy Road of Taking Automated Debugging to Industry

arXiv

2022 | other

The Engineering Implications of Code Maintenance in Practice

Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022

2022 | conference-paper

WebAssembly versus JavaScript: Energy and Runtime Performance

Proceedings - 2022 International Conference on ICT for Sustainability, ICT4S 2022

2022 | conference-paper

When software engineering meets quantum computing

Communications of the ACM

2022 | journal-article

A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

2021 | conference-paper

A ground-truth dataset of real security patches

arXiv

2021 | other

Fixing vulnerabilities potentially hinders maintainability

Empirical Software Engineering

2021 | journal-article

Fixing vulnerabilities potentially hinders maintainability

arXiv

2021 | other

Green software lab: Towards an engineering discipline for green software

arXiv

2021 | other

Mining Idioms in the Wild

arXiv

2021 | other

On Understanding Contextual Changes of Failures

IEEE International Conference on Software Quality, Reliability and Security, QRS

2021 | conference-paper

On the Runtime and Energy Performance of WebAssembly: Is WebAssembly superior to JavaScript yet?

Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2021

2021 | conference-paper

On using distributed representations of source code for the detection of C security vulnerabilities

arXiv

2021 | other

Patterns and energy consumption: Design, implementation, studies, and stories

Software Sustainability

2021 | book-chapter

Preface

Artificial Intelligence: Methods for Software Engineering

2021 | book

Prioritized test generation guided by software fault prediction

Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021

2021 | conference-paper

Promoting a safe return to university campuses during the COVID-19 pandemic: Crowdsensing room occupancy

GoodIT 2021 - Proceedings of the 2021 Conference on Information Technology for Social Good

2021 | conference-paper

Quantum accelerator stack: A research roadmap

arXiv

2021 | other

Reducing Time-To-Fix for Fuzzer Bugs

Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021

2021 | conference-paper

Spectrum-based feature localization: A case study using ArgoUML

ACM International Conference Proceeding Series

2021 | conference-paper

Supervised learning for test suit selection in continuous integration

Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021

2021 | conference-paper

Welcome Message: Q-SE 2021

Proceedings - 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering, Q-SE 2021

2021 | conference-paper

Interactive remote patient monitoring and condition management intervention system

2020 | other

Diagnosing Software Faults Using Multiverse Analysis

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20)

2020 | conference-paper

Diagnosing software faults using multiverse analysis

IJCAI International Joint Conference on Artificial Intelligence

2020 | conference-paper

Empirical Study of Restarted and Flaky Builds on Travis CI

Proceedings of the 17th International Conference on Mining Software Repositories

2020 | conference-paper

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

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering

2020 | conference-paper

Empirical study of restarted and flaky builds on travis CI

arXiv

2020 | other

Exploring Designite for Smell-Based Defect Prediction

2020 | journal-article

Message from TAIC PART Chairs

Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020

2020 | conference-paper

Message from the General Chairs

Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020

2020 | conference-paper

Multiple fault localization of software programs: A systematic literature review

Information and Software Technology

2020 | journal-article

Off-the-shelf Components for Quantum Programming and Testing

2020 | journal-article

Off-the-shelf components for quantum programming and testing

CEUR Workshop Proceedings

2020 | conference-paper

SmartBugs: A Framework to Analyze Solidity Smart Contracts

2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE)

2020 | conference-paper

SmartBugs: A Framework to Analyze Solidity Smart Contracts

arXiv

2020 | other

Visual Sketching: From Image Sketches to Code

International Conference on Software Engineering (ICSE)

2020 | conference-paper

A Theoretical and Empirical Analysis of Program Spectra Diagnosability

IEEE Transactions on Software Engineering

2019 | journal-article

An Analysis of 35+ Million Jobs of Travis CI

arXiv

2019 | other

An analysis of 35+ million jobs of travis ci

2019 IEEE International Conference on Software Maintenance and Evolution (ICSME)

2019 | conference-paper

An empirical study on the use of defect prediction for test case prioritization

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)

2019 | conference-paper

Appreciation to Empirical Software Engineering Reviewers of 2018

Empirical Software Engineering

2019 | journal-article

Catalog of energy patterns for mobile applications

Empirical Software Engineering

2019 | journal-article

Catalog of energy patterns for mobile applications

arXiv

2019 | other

Critical Review of BugSwarm for Fault Localization and Program Repair

arXiv preprint arXiv:1905.09375

2019 | journal-article

Critical Review of BugSwarm for Fault Localization and Program Repair

arXiv

2019 | other

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

IJCAI

2019 | conference-paper

Do Energy-oriented Changes Hinder Maintainability?

The International Conference on Software Maintenance and Evolution (ICSME)

2019 | conference-paper

Do energy-oriented changes hinder maintainability?

arXiv

2019 | other

EMaaS: Energy measurements as a service for mobile applications

2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)

2019 | conference-paper

EMaaS: Energy measurements as a service for mobile applications

arXiv

2019 | other

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts

arXiv

2019 | other

Empirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts

ESEC/SIGSOFT FSE 2019

2019 | journal-article

Empirical review of Java program repair tools

arXiv

2019 | other

Improving Energy Efficiency Through Automatic Refactoring

Journal of Software Engineering Research and Development

2019 | journal-article

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

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

2019 | conference-paper

Message from the TAIC part 2019 chairs

Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019

2019 | conference-paper

Model-Based Software Debugging

Fault Diagnosis of Dynamic Systems

2019 | book-chapter

Model-Based Software Debugging

Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches

2019 | book-chapter

On the Energy Footprint of Mobile Testing Frameworks

arXiv

2019 | other

On the energy footprint of mobile testing frameworks

IEEE Transactions on Software Engineering

2019 | journal-article

Pangolin: an SFL-based toolset for feature localization

2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

2019 | conference-paper

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

arXiv

2019 | other

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

Empirical Software Engineering

2019 | journal-article

Device health estimation by combining contextual information with sensor data

2018 | other

A qualitative reasoning approach to spectrum-based fault localization

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

2018 | conference-paper

GreenSoftwareLab: Towards an Engineering Discipline for Green Software

Impact

2018 | journal-article

Leveraging Qualitative Reasoning to Improve SFL.

IJCAI

2018 | conference-paper

Lightweight source code monitoring with Triggr

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

2018 | conference-paper

Measuring the energy footprint of mobile testing frameworks

Proceedings - International Conference on Software Engineering

2018 | conference-paper

Message from the QRS 2018 Program Chairs

Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018

2018 | conference-paper

Message from the QRS 2018 program chairs

Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018

2018 | conference-paper

Poster: Measuring the Energy Footprint of Mobile Testing Frameworks

2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)

2018 | conference-paper

QR-Augmented Spectrum-based Fault Localization ^*

CEUR Workshop Proceedings

2018 | conference-paper

QR-Augmented Spectrum-based Fault Localization.

DX@ Safeprocess

2018 | conference-paper

Using Automatic Refactoring to Improve Energy Efficiency of Android Apps

CIbSE

2018 | conference-paper

Using automatic refactoring to improve energy efficiency of android apps

Avances en Ingenieria de Software a Nivel Iberoamericano, CIbSE 2018

2018 | conference-paper

Using automatic refactoring to improve energy efficiency of android apps

arXiv

2018 | other

Welcome Message from the Chairs VVIoT 2018

2018 | journal-article

2016 Index IEEE Transactions on Software Engineering Vol. 42

IEEE Transactions on Software Engineering

2017 | journal-article

A Database of Existing Vulnerabilities to Enable Controlled Testing Studies

International Journal of Secure Software Engineering (IJSSE)

2017 | journal-article

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

Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017

2017 | conference-paper

Empirical Evaluation of Similarity Coefficients for Multiagent Fault Localization

IEEE Trans. Systems, Man, and Cybernetics: Systems

2017 | journal-article

Evaluating and Improving Fault Localization

Proceedings of the 39th International Conference on Software Engineering (ICSE'17)

2017 | conference-paper

Leafactor: Improving energy efficiency of android apps via automatic refactoring

2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft)

2017 | conference-paper

Performance-based guidelines for energy efficient mobile applications

2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft)

2017 | conference-paper

Prevalence of single-fault fixes and its impact on fault localization

2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)

2017 | conference-paper

Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017

2017 | conference-paper

Recognizing abnormal heart sounds using deep learning

CEUR Workshop Proceedings

2017 | conference-paper

Recognizing abnormal heart sounds using deep learning

arXiv preprint arXiv:1707.04642

2017 | journal-article

Recognizing abnormal heart sounds using deep learning

arXiv

2017 | other

Revisiting the practical use of automated software fault localization techniques

2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

2017 | conference-paper

Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

2017 | conference-paper

SECBENCH: A Database of Real Security Vulnerabilities.

SecSE@ ESORICS

2017 | conference-paper

Secbench: A database of real security vulnerabilities

CEUR Workshop Proceedings

2017 | conference-paper

A Framework for Automatic Debugging of Functional and Degradation Failures

ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)

2016 | conference-paper

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

Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

2016 | conference-paper

A Survey on Software Fault Localization

IEEE Trans. Software Eng.

2016 | journal-article

Applying Simulated Annealing to Problems in Model-based Diagnosis

2016 | journal-article

Classifying heart sound recordings using deep convolutional neural networks and mel-frequency cepstral coefficients

2016 Computing in cardiology conference (CinC)

2016 | conference-paper

Classifying heart sound recordings using deep convolutional neural networks and mel-frequency cepstral coefficients

Computing in Cardiology

2016 | conference-paper

Diagnosing PARC’s Refrigerator Benchmark with Data-Driven Methods

2016 | journal-article

ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)

2016 | conference-paper

Framing program comprehension as fault localization

Journal of Software: Evolution and Process

2016 | journal-article

Narrowing the gap between museums, classrooms and technology: the U. Openlab Initiative Prototype

ICERI 2016 Proceedings

2016 | journal-article

Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016

2016 | conference-paper

Provenance Segmentation

8th Usenix Workshop on the Theory and Practice of Provenance

2016 | journal-article

Provenance segmentation

TaPP 2016 - 8th USENIX Workshop on the Theory and Practice of Provenance

2016 | conference-paper

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

Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016

2016 | conference-paper

Time, Frequency & Complexity Analysis for Recognizing Panic States from Physiologic Time-Series

2016 | journal-article

reviewers of 2016

2016 | journal-article

13th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013, Porto, Portugal, October 21-23, 2015

2015 | conference-paper

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

Proceedings of the 8th International Conference on Educational Data Mining, EDM 2015, Madrid, Spain, June 26-29, 2015

2015 | conference-paper

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

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

2015 | conference-paper

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

37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2

2015 | conference-paper

Continuous Test Generation on Guava

Search-Based Software Engineering - 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2015 | conference-paper

Device Health Estimation by Combining Contextual Control Information with Sensor Data

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 - September 3, 2015.

2015 | conference-paper

Device health estimation by combining contextual control information with sensor data

CEUR Workshop Proceedings

2015 | conference-paper

Diagnosing Advanced Persistent Threats: A Position Paper

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 - September 3, 2015.

2015 | conference-paper

Diagnosing advanced persistent threats: A position paper

CEUR Workshop Proceedings

2015 | conference-paper

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

Universidade do Porto Faculdade de Engenharia

2015 | report

Fault detection in C programs using monitoring of range values: Preliminary results

arXiv preprint

2015 | journal-article

Learning diagnosis models using variable-fidelity component model libraries

IFAC-PapersOnLine

2015 | journal-article

Message from the EUC 2015 program chairs

Proceedings - IEEE/IFIP 13th International Conference on Embedded and Ubiquitous Computing, EUC 2015

2015 | conference-paper

Message from the IWPD 2015 chairs

International Symposium on Software Reliability Engineering Proceedings

2015 | conference-paper

On the empirical evaluation of similarity coefficients for spreadsheets fault localization

Autom. Softw. Eng.

2015 | journal-article

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

2015 | conference-paper

Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2015, Osaka, Japan, September 7-11, 2015

2015 | conference-paper

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 - September 3, 2015

2015 | conference-paper

Proceedings of the 8th International Conference on Educational Data Mining, EDM 2015, Madrid, Spain, June 26-29, 2015

2015 | conference-paper

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015

2015 | conference-paper

Search-Based Software Engineering - 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2015 | conference-paper

Spectrum-Based Fault Localisation for Multi-Agent Systems

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015

2015 | conference-paper

Spectrum-based fault localisation for multi-agent systems

IJCAI International Joint Conference on Artificial Intelligence

2015 | conference-paper

Starting over: A focused vision for the old suburbs of Lisbon

Urban Design International

2015 | journal-article

Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2015 | conference-paper

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach

Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2015 | conference-paper

Towards a mobile and wearable system for predicting panic attacks

Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2015, Osaka, Japan, September 7-11, 2015

2015 | conference-paper

Using constraints to diagnose faulty spreadsheets

Software Quality Journal

2015 | journal-article

22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014

2014 | conference-paper

30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014

2014 | conference-paper

9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014

2014 | conference-paper

A diagnosis-based approach to software comprehension

22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014

2014 | conference-paper

A dynamic code coverage approach to maximize fault localization efficiency

Journal of Systems and Software

2014 | journal-article

ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014

2014 | conference-paper

Automatic systems diagnosis without behavioral models

2014 IEEE Aerospace Conference

2014 | conference-paper

Continuous test generation: enhancing continuous integration with automated test generation

ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014

2014 | conference-paper

Diagnosing unobserved components in self-adaptive systems

9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, Proceedings, Hyderabad, India, June 2-3, 2014

2014 | conference-paper

ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)

2014 | conference-paper

FaultySheet Detective: When Smells Meet Fault Localization

30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014

2014 | conference-paper

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

9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014

2014 | conference-paper

Generation of Relevant Spreadsheet Repair Candidates

ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)

2014 | conference-paper

On modeling and testing components of the European Train Control System

IPCT 2014: International Conference on Advances in Information Processing And Communication Technology

2014 | conference-paper

Rui Abreu, Tiago Alves, Orlando Belo, José C. Campos, Jácome Cunha, João Paulo Fernandes, Pedro Martins, Jorge Mendes, Hugo Pacheco, Christophe Peixoto, Rui Pereira, Alexandre Perez, Hugo Ribeiro, André Riboira, João Saraiva, André

2014 | journal-article

Sensitivity analysis of spectrum-based fault localisation for multi-agent systems

Proc. of DX

2014 | journal-article

Smelling Faults in Spreadsheets

30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014

2014 | conference-paper

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013

2013 | conference-paper

A Distributed Approach to Diagnosis Candidate Generation

Progress in Artificial Intelligence - 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings

2013 | conference-paper

A Kernel Density Estimate-Based Approach to Component Goodness Modeling

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.

2013 | conference-paper

A Kernel Density Estimate-Based Approach to Component Goodness Modeling

Twenty-Seventh AAAI Conference on Artificial Intelligence

2013 | conference-paper

A kernel density estimate-based approach to component goodness modeling

Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013

2013 | conference-paper

Applying Autonomic Diagnosis at Samsung Electronics

2013 | journal-article

Combining Smells and Fault Localization in Spreadsheets

2013 | journal-article

Cues for scent intensification in debugging

IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings

2013 | conference-paper

Diagnosing architectural run-time failures

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, San Francisco, CA, USA, May 20-21, 2013

2013 | conference-paper

END: An Approach to Estimate Number of Defects

Universidade do Porto Faculdade de Engenharia

2013 | report

Encoding Test Requirements as Constraints for Test Suite Minimization

Tenth International Conference on Information Technology: New Generations, ITNG 2013, 15-17 April, 2013, Las Vegas, Nevada, USA

2013 | conference-paper

Entropy-based test generation for improved fault localization

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013

2013 | conference-paper

Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2013 | conference-paper

Gzoltar: A toolset for automatic test suite minimization and fault identification

International Workshop on the Future of Debugging, Lugano, Switzerland

2013 | conference-paper

IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, Lisbon, Portugal, October 9-12, 2013

2013 | conference-paper

IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings

2013 | conference-paper

International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013

2013 | conference-paper

Interoperability in Ambient Assisted Living using OpenEHR

IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, Lisbon, Portugal, October 9-12, 2013

2013 | conference-paper

Leveraging a Constraint Solver for Minimizing Test Suites

2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013

2013 | conference-paper

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

Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2013 | conference-paper

MZoltar: Automatic debugging of android applications

2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 - Proceedings

2013 | conference-paper

Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2013 | conference-paper

On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets

Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2013 | conference-paper

Prioritizing Tests for Fault Localization

Situation Awareness with Systems of Systems

2013 | book-chapter

Proceedings of PhD Workshop of ICTSS'13

2013 | journal-article

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, San Francisco, CA, USA, May 20-21, 2013

2013 | conference-paper

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA

2013 | conference-paper

Progress in Artificial Intelligence - 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings

2013 | conference-paper

Spectrum-Based Fault Localization for Diagnosing Concurrency Faults

Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2013 | conference-paper

Tenth International Conference on Information Technology: New Generations, ITNG 2013, 15-17 April, 2013, Las Vegas, Nevada, USA

2013 | conference-paper

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

International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013

2013 | conference-paper

Using HTML5 visualizations in software fault localization

2013 First IEEE Working Conference on Software Visualization (VISSOFT), Eindhoven, The Netherlands, September 27-28, 2013

2013 | conference-paper

— END — A Lightweight Algorithm to Estimate the Number of Defects in Software

2013 | report

Lightweight Approach to Automatic Error Detection Using Program Invariants

5th Meeting of Young Researchers at UP (IJUP)

2012 | conference-paper

Towards Using Automatic Development-time Debugging Techniques on Run-time Systems

7th Doctoral Symposium on Informatics Engineering

2012 | conference-paper

23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012

2012 | conference-paper

8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings

2012 | conference-paper

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

23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012

2012 | conference-paper

AI for the win: improving spectrum-based fault localization

ACM SIGSOFT Software Engineering Notes

2012 | journal-article

Automatic error detection using program invariants for fault localization

2012 | dissertation-thesis

Computational Collective Intelligence. Technologies and Applications - 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part II

2012 | conference-paper

Constraint-based debugging of spreadsheets

15th Ibero-American Conference on Software Engineering, CIbSE 2012

2012 | conference-paper

Debugging Spreadsheets: A CSP-based Approach

23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012

2012 | conference-paper

Dynamic code coverage with progressive detail levels

2012 | dissertation-thesis

GZoltar: an eclipse plug-in for testing and debugging

IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012

2012 | conference-paper

IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012

2012 | conference-paper

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

IJCICG

2012 | journal-article

Lightweight Automatic Error Detection by Monitoring Collar Variables

Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

2012 | conference-paper

OCE: An Online Colaborative Editor

Computational Collective Intelligence. Technologies and Applications - 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part II

2012 | conference-paper

Online spectrum-based fault localization for health monitoring and fault recovery of self-adaptive systems

Proc. 8th Int. Conf. Autonomic Auton. Syst

2012 | conference-paper

Peer to peer multicast overlay for smart content delivery

2012 | dissertation-thesis

Prioritizing tests for fault localization

Situation Awareness with Systems of Systems

2012 | book-chapter

Proceedings of the XV Iberoamerican Conference on Software Engineering, Buenos Aires, Argentina, April 24-27, 2012

2012 | conference-paper

Regression testing with GZoltar techniques for test suite minimization, selection, and prioritization

2012 | dissertation-thesis

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

8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings

2012 | conference-paper

26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011

2011 | conference-paper

A Diagnostic Reasoning Approach to Defect Prediction

Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II

2011 | conference-paper

A Visual Debugger for Efficient Software Fault Localization

The 4th Meeting of Young Researchers at UP (IJUP)

2011 | conference-paper

An OpenGL-based eclipse plug-in for visual debugging

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011

2011 | conference-paper

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

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

2011 | conference-paper

Architecture-Based Run-Time Fault Diagnosis

Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings

2011 | conference-paper

Development of Services and Applications for Set-Top Boxes in Ambient Assisted Living Environments

The 4th Meeting of Young Researchers at UP (IJUP)

2011 | conference-paper

Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings

2011 | conference-paper

Interactive visualizations of automatic debugging reports

V IBERO-AMERICAN SYMPOSIUM IN COMPUTER GRAPHICS

2011 | conference-paper

Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II

2011 | conference-paper

Prioritizing tests for fault localization through ambiguity group reduction

26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011

2011 | conference-paper

Prioritizing tests for software fault diagnosis

Softw., Pract. Exper.

2011 | journal-article

Probabilistic Error Propagation Modeling in Logic Circuits

Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings

2011 | conference-paper

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011

2011 | conference-paper

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

2011 | conference-paper

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011

2011 | conference-paper

RAPTOR: Greedy Diagnostic Prioritization by Ambiguity Group Reduction

22nd International Workshop on Principles of Diagnosis (DX'11)

2011 | conference-paper

Simultaneous debugging of software faults

Journal of Systems and Software

2011 | journal-article

Situation Awareness with Systems of Systems

IEEE Transactions on Reliability$}$

2011 | journal-article

Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings

2011 | conference-paper

Spectrum-Based Sequential Diagnosis

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011

2011 | conference-paper

Spectrum-Based Sequential Diagnosis

Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011

2011 | conference-paper

Spectrum-based sequential diagnosis

Proceedings of the National Conference on Artificial Intelligence

2011 | conference-paper

The ANTARES Approach to Automatic Systems Diagnosis

22nd International Workshop on Principles of Diagnosis (DX'11)

2011 | conference-paper

The ANTARES approach to automatic systems diagnosis

Proceedings DX’11

2011 | journal-article

Third International Diagnostic Competition – DXC'11

22nd International Workshop on Principles of Diagnosis (DX'11)

2011 | conference-paper

Third international diagnostics competition--DXC’11

Proc. of the 22nd international workshop on principles of diagnosis

2011 | conference-paper

A diagnostic approach to test priorization

Technical Report Series TUD-SERG-2010-007

2010 | journal-article

An empirical investigation of source code metrics and findbugs warnings

2010 | dissertation-thesis

Autonomic computing : processamento de eventos

2010 | dissertation-thesis

Diagnosing multiple intermittent failures using maximum likelihood estimation

Artif. Intell.

2010 | journal-article

Exploiting count spectra for Bayesian fault localization

Proceedings of the 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010, Timisoara, Romania, September 12-13, 2010

2010 | conference-paper

GZoltar: A graphical debugger interface

2010 | dissertation-thesis

Improving the software fault localization process through testability information

Technical Report Series TUD-SERG-2010-011

2010 | journal-article

Increasing System Availability with Local Recovery Based on Fault Localization

Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010

2010 | conference-paper

Monitorização integrada de aplicações empresariais

2010 | dissertation-thesis

PETTool: A pattern-based GUI testing tool

ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings

2010 | conference-paper

Prioritizing tests for fault localization

International Conference on Quality Software

2010 | conference-paper

Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010

2010 | conference-paper

Proceedings of the 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010, Timisoara, Romania, September 12-13, 2010

2010 | conference-paper

Reducing screened program points for efficient error detection

2010 | dissertation-thesis

Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

2010 | conference-paper

The GZoltar Project: A Graphical Debugger Interface

Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

2010 | conference-paper

Using fault screeners for software error detection

Communications in Computer and Information Science

2010 | conference-paper

Zoeteweij, Peter

VanGemund, Arjan.“An Evaluation of Similarity Coefficients for Software Fault Localization

2010 | journal-article

A Bayesian Approach to Diagnose Multiple Intermittent Faults

20th International Workshop on Principles of Diagnosis (DX'09)

2009 | conference-paper

A Bayesian Approach to Diagnose Multiple Intermittent Faults

20th International Workshop on Principles of Diagnosis (DX'09)

2009 | conference-paper

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

8th Symposium on Abstraction, Reformulation and Approximation (SARA'09)

2009 | conference-paper

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

8th Symposium on Abstraction, Reformulation and Approximation (SARA'09)

2009 | conference-paper

A Model-Based Software Reasoning Approach to Software Debugging

Opportunities and Challenges for Next-Generation Applied Intelligence

2009 | book-chapter

A New Bayesian Approach to Multiple Intermittent Fault Diagnosis

21st International Joint Conference on Artifical Intelligence (IJCAI'09)

2009 | conference-paper

A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis

SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation

2009 | conference-paper

A new bayesian approach to multiple intermittent fault diagnosis

IJCAI International Joint Conference on Artificial Intelligence

2009 | conference-paper

A practical evaluation of spectrum-based fault localization

Journal of Systems and Software

2009 | journal-article

A survey of software fault localization

Department of Computer Science, University of Texas at Dallas, Tech. Rep. UTDCS-45

2009 | journal-article

A survey of software fault localization

Department of Computer Science, University of Texas at Dallas, Tech. Rep. UTDCS-45

2009 | journal-article

ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009

2009 | conference-paper

Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009

2009 | conference-paper

Fault Localization in Embedded Software

TRADER: Reliability of High-Volume Consumer Products

2009 | book-chapter

IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009

2009 | conference-paper

Localizing Software Faults Simultaneously

Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009

2009 | conference-paper

Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009

2009 | conference-paper

Refining spectrum-based fault localization rankings

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009

2009 | conference-paper

Spectrum-Based Multiple Fault Localization

ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009

2009 | conference-paper

Spectrum-based Fault Localization in Embedded Software

2009 | dissertation-thesis

Statistics-directed Minimal Hitting Set Algorithm

20th International Workshop on Principles of Diagnosis (DX'09)

2009 | conference-paper

Zoltar: A Toolset for Automatic Fault Localization

24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009

2009 | conference-paper

Zoltar: A spectrum-based fault localization tool

SINTER'09 - Proceedings of the 2009 ESEC/FSE Workshop on Software Integration and Evolution at Runtime

2009 | conference-paper

A Dynamic Modeling Approach to Software Multiple-Fault Localization

19th International Workshop on Principles of Diagnosis (DX'08)

2008 | conference-paper

A Dynamic Modeling Approach to Software Multiple-Fault Localization

2008 | conference-paper

A Dynamic Modeling Approach to Software Multiple-Fault Localization

19th International Workshop on Principles of Diagnosis (DX'08)

2008 | conference-paper

An observation-based model for fault localization

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), WODA 2008, Seattle, Washington, USA, July 21, 2008

2008 | conference-paper

Automated Fault Diagnosis in Embedded Systems

Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan

2008 | conference-paper

Automatic Fault Diagnosis in Embedded Software

Proceedings of the 10th Philips Software Conference

2008 | conference-paper

Automatic software fault localization using generic program invariants

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008

2008 | conference-paper

Diagnosing intermittent faults

Technical Report Series TUD-SERG-2008-041

2008 | journal-article

ENASE 2008 - Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira, Portugal, May 4-7, 2008

2008 | conference-paper

On the performance of fault screeners in software development and deployment

ENASE 2008 - Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering

2008 | conference-paper

Prioritizing Model-Based Debugging Diagnostic Reports

19th International Workshop on Principles of Diagnosis (DX'08)

2008 | conference-paper

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), WODA 2008, Seattle, Washington, USA, July 21, 2008

2008 | conference-paper

Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan

2008 | conference-paper

Techniques for diagnosing software faults

Technical Report Series TUD-SERG-2008-014

2008 | journal-article

Fault Diagnosis of Embedded Software using Program Spectra

3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007)

2007 | conference-paper

Fault Diagnosis of Embedded Software using Program Spectra

3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007)

2007 | conference-paper

Automated fault diagnosis in embedded software

Proceedings of the the ESI/Bits & Chips Embedded Systems Conference

2007 | conference-paper

Diagnosis of Embedded Software Using Program Spectra

14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA

2007 | conference-paper

Fault diagnosis of embedded software using program spectra

Proceedings of Symposium on Verification and Validation of Software Systems (VVSS'07)

2007 | conference-paper

On the Accuracy of Spectrum-based Fault Localization

Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07)

2007 | conference-paper

On the accuracy of spectrum-based fault localization

Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007

2007 | conference-paper

Software Fault Diagnosis

Tutorial in the joint tutorial day of the TESTCOM / FATES and FORTE conferences

2007 | conference-paper

An Evaluation of Similarity Coefficients for Software Fault Localization

12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA

2006 | conference-paper

Fault Diagnosis of Embedded Software using Program Spectra

12th Nederlandse Testdag

2006 | conference-paper

Program Spectra Analysis in Embedded Software: A Case Study

12th Annual Conference of the Advanced School for Computing and Imaging (ASCI'06)

2006 | conference-paper

Extending Amber Tool to Support Static Analysis in Presence of Function Pointers

2005 | report

Best Paper Award

| journal-article

Blincoe, Kelly 370

| journal-article

CSE’2015 Additional Reviewers

| journal-article

IDEAR 2019 Workshop Committees

| journal-article

Message from TAIC PART Chairs

| journal-article

Message from the QRS 2018 Program Chairs

| journal-article

Message from the VVIoT 2019 Chairs

| journal-article

Program Committee Chairs

| journal-article

Program Committees

| journal-article

QRS 2017 Program Committee

| journal-article

QRS 2019

| journal-article

QUATIC 2014

| journal-article

Research and Teaching Statement

| journal-article

VVIoT Organizing Committees

| journal-article