117 citations · 222 across the 8 of their papers we have counts for
10 papers
Detecting HTTP Status Code Misuses in REST APIs via Static and Dynamic Analysis
Alix Decrop, Andrea Arcuri, Mike Papadakis +2
REST APIs are widely used on the web for client-server communications. As REST is based on HTTP, server responses contain status codes to indicate the outcome of requests (e.g., 20…
You Can REST Now: Automated REST API Documentation and Testing via LLM-Assisted Request Mutations
Alix Decrop, Xavier Devroey, Mike Papadakis +2
REST APIs are prevalent among web service implementations, easing interoperability through the HTTP protocol. API testers and users exploit the widely adopted OpenAPI Specification…
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning
Pieter Delobelle, Paul Temple, Gilles Perrouin +3
Machine learning is being integrated into a growing number of critical systems with far-reaching impacts on society. Unexpected behaviour and unfair decision processes are coming u…
An SMT-Based Concolic Testing Tool for Logic Programs
Sophie Fortz, Fred Mesnard, Etienne Payet +3
Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively. Its benefits have been demonstrated for more than 15 years to test imperat…
Search-based Crash Reproduction using Behavioral Model Seeding
Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin +2
Search-based crash reproduction approaches assist developers during debugging by generating a test case which reproduces a crash given its stack trace. One of the fundamental steps…
Towards Quality Assurance of Software Product Lines with Adversarial Configurations
Paul Temple, Mathieu Acher, Gilles Perrouin +3
Software product line (SPL) engineers put a lot of effort to ensure that, through the setting of a large number of possible configuration options, products are acceptable and well-…
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
Axel Halin, Alexandre Nuttinck, Mathieu Acher +3
Many approaches for testing configurable software systems start from the same assumption: it is impossible to test all configurations. This motivated the definition of variability-…
State Machine Flattening: Mapping Study and Assessment
Xavier Devroey, Gilles Perrouin, Maxime Cordy +3
State machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can then be transformed into executable code or inp…
Towards Statistical Prioritization for Software Product Lines Testing
Xavier Devroey, Maxime Cordy, Gilles Perrouin +3
Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sa…
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
Christopher Henard, Mike Papadakis, Gilles Perrouin +3
Software Product Lines (SPLs) are families of products whose commonalities and variability can be captured by Feature Models (FMs). T-wise testing aims at finding errors triggered…