Skip to content

raw data of my coverme implementation, pldi'17

Notifications You must be signed in to change notification settings

zhoulaifu/coverme

Repository files navigation

This repo includes raw implementation data on the CoverMe tool described in our paper:

Fu, Zhoulai, and Zhendong Su. "Achieving high coverage for floating-point code via unconstrained programming." ACM PLDI'17.

About

raw data of my coverme implementation, pldi'17

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published