An integrated approach to assertion-based random testing in Prolog
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4157865
- \(\mathsf {Harvey}\): a system for random testing in ASP
- Combined static and dynamic assertion-based debugging of constraint logic programs
- A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
- Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging
Cites work
- \textsc{Tor}: modular search with hookable disjunction
- An overview of Ciao and its design philosophy
- Combined static and dynamic assertion-based debugging of constraint logic programs
- CurryCheck: checking properties of Curry programs
- Hybrid type checking
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- Safe \& efficient gradual typing for TypeScript
- Test case generation for object-oriented imperative languages in CLP
- Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging
Cited in
(5)
This page was built for publication: An integrated approach to assertion-based random testing in Prolog
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5097633)
