research
∙
08/15/2023
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions
This report contains the proceedings of the 19th International Workshop ...
share
research
∙
07/21/2023
Binary Non-Termination in Term Rewriting and Logic Programming
We present a new syntactic criterion for the automatic detection of non-...
research
∙
08/02/2020
Concolic Testing in CLP
Concolic testing is a popular software verification technique based on a...
research
∙
02/17/2020
An SMT-Based Concolic Testing Tool for Logic Programs
Concolic testing mixes symbolic and concrete execution to generate test ...
research
∙
08/15/2018