Paper-Conference

VaryMinions: leveraging RNNs to identify variants in event logs

Aug 23, 2021
An SMT-based concolic testing tool for logic programs

Sep 2, 2020