scientific article; zbMATH DE number 4157865

MaRDI QIDQ3485855zbMATH OpenFDO

Authors Pekka Kilpeläinen, Heikki Mannila

Publication date 1990

zbMATH Keywords

logic programmingPROLOGtest data generation

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

Recommendations

• A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
• scientific article; zbMATH DE number 4059296
• scientific article; zbMATH DE number 868104
• An integrated approach to assertion-based random testing in Prolog
• scientific article; zbMATH DE number 3956408

Cited in

(9)

• An integrated approach to assertion-based random testing in Prolog
• Smart test data generators via logic programming
• Foundations of declarative testing in arbitrary logic programming
• IDT: integrated system for debugging and testing Prolog programs
• scientific article; zbMATH DE number 1696810 (Why is no real title available?)
• A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
• Improving the ISO Prolog Standard by Analyzing Compliance Test Results
• scientific article; zbMATH DE number 4059296 (Why is no real title available?)
• A formal notion of program-based test data adequacy

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3485855)