Multi-configurable Search Rules in Prolog and Application to Testing

Lecture notes in computer science 2026 Open access

Read full text
Authors: Daniela Ferreiro, Jose F. Morales, Pedro López-García, Manuel V. Hermenegildo
DOI: 10.1007/978-3-032-15981-6_6
Cited by: 0
References: 30

Fields of Study & Subjects

Logic programming and type systems Software Testing and Debugging Techniques Reasoning and Knowledge

Publication details

Journal / source
Lecture notes in computer science
Pages
96–114
Publication date
1 January 2026
Language
EN