research
∙
05/14/2020
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning
Machine learning is being integrated into a growing number of critical s...
share
research
∙
02/17/2020
An SMT-Based Concolic Testing Tool for Logic Programs
Concolic testing mixes symbolic and concrete execution to generate test ...
research
∙
12/10/2019
Search-based Crash Reproduction using Behavioral Model Seeding
Search-based crash reproduction approaches assist developers during debu...
research
∙
09/16/2019
Towards Quality Assurance of Software Product Lines with Adversarial Configurations
Software product line (SPL) engineers put a lot of effort to ensure that...
research
∙
10/22/2017