jPET

swMATH12788MaRDI QIDQ24712FDOQ24712

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: jPET