Nuno Laranjeiro

Empir. Softw. Eng., July, 2024

Vulnerability detection techniques for smart contracts: A systematic literature review.

[BibT_eX]

[DOI]

J. Syst. Softw., 2024

ONDA: ONline Database Architect.

[BibT_eX]

[DOI]

Alexandre Miguel Pinto

CoRR, 2024

BugHub: A Large Scale Issue Report Dataset.

[BibT_eX]

[DOI]

Renato Andrade

Proceedings of the 19th European Dependable Computing Conference, 2024

2023

Guest editorial: special issue on emerging challenges in software certification and verification.

[BibT_eX]

[DOI]

Luigi De Simone

Domenico Cotroneo

Softw. Qual. J., June, 2023

Analyzing the Impact of Elusive Faults on Blockchain Reliability.

[BibT_eX]

[DOI]

CoRR, 2023

An Empirical Analysis of Rebalancing Methods for Security Issue Report Identification.

[BibT_eX]

[DOI]

Horacio L. França

César Alexandre Teixeira

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Generating Realistic Attack Data for Microservices: Framework and Case Study.

[BibT_eX]

[DOI]

Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2023

Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Automating Vulnerability Management in the Software Development Lifecycle.

[BibT_eX]

[DOI]

Horacio L. França

César Alexandre Teixeira

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Injecting software faults in Python applications.

[BibT_eX]

[DOI]

Henrique Marques

Empir. Softw. Eng., 2022

A Systematic Review on Software Robustness Assessment.

[BibT_eX]

[DOI]

João Agnelo

ACM Comput. Surv., 2022

On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect.

[BibT_eX]

[DOI]

José D'Abruzzo Pereira

Proceedings of the 11th Latin-American Symposium on Dependable Computing, 2022

Detecting DoS Attacks in Microservice Applications: Approach and Case Study.

[BibT_eX]

[DOI]

Proceedings of the 11th Latin-American Symposium on Dependable Computing, 2022

Message from the WoSoCer 2022 Chairs.

[BibT_eX]

[DOI]

Luigi De Simone

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

2021

An Analysis of Public REST Web Service APIs.

[BibT_eX]

[DOI]

Andy Neumann

IEEE Trans. Serv. Comput., 2021

A Black Box Tool for Robustness Testing of REST Services.

[BibT_eX]

[DOI]

João Agnelo

IEEE Access, 2021

An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools.

[BibT_eX]

[DOI]

Bruno Dia

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

Revocation Mechanisms for Blockchain Applications: A Review.

[BibT_eX]

[DOI]

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

Techniques for Evaluating the Robustness of Deep Learning Systems: A Preliminary Review.

[BibT_eX]

[DOI]

Horacio L. França

César Teixeira

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Using Orthogonal Defect Classification to characterize NoSQL database defects.

[BibT_eX]

[DOI]

João Agnelo

J. Syst. Softw., 2020

An approach for benchmarking the security of web service frameworks.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

Automating orthogonal defect classification using machine learning algorithms.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

Applying Text Analytics for Studying Research Trends in Dependability.

[BibT_eX]

[DOI]

Miriam Louise Carnot

Hugo Gonçalo Oliveira

Entropy, 2020

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.

[BibT_eX]

[DOI]

Ákos Hajdu

IEEE Access, 2020

2019

Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2019

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems.

[BibT_eX]

[DOI]

Manoel J. M. Carvalho

Paolo Lollini

Zoltán Micskei

Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

Combining State and Interface - Based Robustness Testing for OpenStack Components.

[BibT_eX]

[DOI]

Wallace F. F. Cardoso

Eliane Martins

Nuno Antunes

Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback.

[BibT_eX]

[DOI]

Ricardo Couceiro

Paulo Carvalho

Miguel Castelo Branco

César Alexandre Teixeira

Julio Medeiros

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

2018

Toward characterizing HTML defects on the Web.

[BibT_eX]

[DOI]

Joaquim Mendes

Softw. Pract. Exp., 2018

A survey on reliable distributed communication.

[BibT_eX]

[DOI]

Edmundo Roberto Mauro Madeira

J. Syst. Softw., 2018

Fog orchestration for the Internet of Everything: state-of-the-art and research challenges.

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2018

Assessing Containerized REST Services Performance in the Presence of Operator Faults.

[BibT_eX]

[DOI]

Mariana Cunha

Proceedings of the 14th European Dependable Computing Conference, 2018

2017

Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2017

Testing data-centric services using poor quality data: from relational to NoSQL document databases.

[BibT_eX]

[DOI]

Seyma Nur Soydemir

J. Braz. Comput. Soc., 2017

Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study.

[BibT_eX]

[DOI]

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

INTENSE: INteroperability TEstiNg as a SErvice.

[BibT_eX]

[DOI]

Bruno Martins

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Analyzing Gossip Protocols for Reliable MANET Applications.

[BibT_eX]

[DOI]

Everaldo Leme

Regina Moraes

Proceedings of the IEEE International Conference on Edge Computing, 2017

An Analysis of OpenStack Vulnerabilities.

[BibT_eX]

[DOI]

Nuno Antunes

Proceedings of the 13th European Dependable Computing Conference, 2017

Design Patterns for Reliable One-Way Messaging.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016).

[BibT_eX]

[DOI]

Proceedings of the IEEE World Congress on Services, 2016

Towards designing reliable messaging patterns.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Testing Web Applications Using Poor Quality Data.

[BibT_eX]

[DOI]

Seyma Nur Soydemir

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Towards Understanding the Value of False Positives in Static Code Analysis.

[BibT_eX]

[DOI]

Carlo Dimastrogiovanni

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

2015

A Practical Approach Towards Automatic Testing of Web Services Interoperability.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2015

Assessing the security of web service frameworks against Denial of Service attacks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015).

[BibT_eX]

[DOI]

Pedro Furtado

Proceedings of the 2015 IEEE World Congress on Services, 2015

Characterizing the performance of web service frameworks under security attacks.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A taxonomy of reliable request-response protocols.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Survey on Data Quality: Classifying Poor Data.

[BibT_eX]

[DOI]

Seyma Nur Soydemir

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Test-Based Interoperability Certification for Web Services.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

A Design Pattern for Reliable HTTP-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

A Technique for Deploying Robust Web Services.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2014

Testing the robustness of controllers for self-adaptive systems.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2014

IEEE International Workshop on Dependable and Secure Services (DSS 2014).

[BibT_eX]

[DOI]

Pedro Furtado

Proceedings of the 2014 IEEE World Congress on Services, 2014

Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14).

[BibT_eX]

[DOI]

Francesco Brancati

Ábel Hegedüs

Proceedings of the Computer Safety, Reliability, and Security, 2014

Robustness evaluation of the rainbow framework for self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

ITWS: An Extensible Tool for Interoperability Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Understanding Interoperability Issues of Web Service Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

A Field Perspective on the Interoperability of Web Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Robustness Evaluation of Controllers in Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Towards evaluating the impact of data quality on service applications.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

A robustness testing approach for SOAP Web services.

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2012

Experimental Evaluation of Web Service Frameworks in the Presence of Security Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2011

A Composed Approach for Automatic Classification of Web Services Robustness.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Applying Text Classification Algorithms in Web Services Robustness Testing.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

2009

Improving Web Services Robustness.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Protecting Database Centric Web Services against SQL/XPath Injection Attacks.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009

Predicting Timing Failures in Web Services.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2009

Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008

Deploying fault tolerant web service compositions.

[BibT_eX]

Comput. Syst. Sci. Eng., 2008

Robustness Validation in Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VI, 2008

Timing Failures Detection in Web Services.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

Experimental Robustness Evaluation of JMS Middleware.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

wsrbench: An On-Line Tool for Robustness Benchmarking.

[BibT_eX]

[DOI]

Salvador Canelas

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007

Towards fault tolerance in web services compositions.

[BibT_eX]

[DOI]

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

Benchmarking the Robustness of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Comparing Web Services Performance and Recovery in the Presence of Faults.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Assessing Robustness of Web-Services Infrastructures.

[BibT_eX]

[DOI]