Sikraken: Symbolic Execution using Constraint Logic Programming for Generating Test Inputs (Competition Contribution)

Lecture notes in computer science 2026

View at publisher

Authors: Christophe Meudec

DOI: 10.1007/978-3-032-22774-4_27

Cited by: 1

References: 4

Fields of Study & Subjects

AI-based Problem Solving and Planning Model-Driven Software Engineering Techniques Software Testing and Debugging Techniques

References 4