jPET

MaRDI QIDQ24712swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6079826

Cited in

(3)

• net.datastructures
• A framework for guided test case generation in constraint logic programming
• Checking Java Assertions Using Automated Test-Case Generation

This page was built for software: jPET