Generation of algebraic data type values using evolutionary algorithms

DOI10.1016/J.JLAMP.2024.101022MaRDI QIDQ6671783

Ángel Herranz, Julio Mariño, Lars-åke Fredlund, Ignacio Ballesteros, Clara Benac Earle

Publication date: 27 January 2025

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

genetic programmingevolutionary algorithmssoftware testingproperty-based testingred-black tree

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Efficient generation of test data structures using constraint logic programming and program transformation
• The Tree-to-Tree Correction Problem
• Constraint-Based Fitness Function for Search-Based Software Testing
• Red-black trees in a functional setting
• Beginner's luck: a language for property-based generators
• Introduction to evolutionary computing

This page was built for publication: Generation of algebraic data type values using evolutionary algorithms

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