Re: [csmith-dev] csmith-related paper

To: John Regehr <regehr@cs.utah.edu>
Subject: Re: [csmith-dev] csmith-related paper
From: Xuejun Yang <nitsnow@gmail.com>
Date: Thu, 30 May 2019 14:39:46 -0700
Cc: csmith-dev <csmith-dev@flux.utah.edu>
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=ungrWTmM2AKf0GXueqIyf5faptWsuzormkk4e9iVDpQ=; b=OiQzRrn0XbCuDJzVSSBukcJ9DNVgcjmCWRLUAkcj0fA56Ylkb3pyra/EUY0QOaPEgW j9ki5yulNBGNzwH4DZMraIzuOJk3Q44f2hlt1aUQwgpwmtttTMOCypVyIqyRYreQKh7v arV6ekRX+x+OXCfAK+0Nh6Kb7aH3F0ZWRk5cEZzmsDjWaFyADXvC2bmDplm6ugbx9T+k DZmRRVwBWY0P88/cOxziy1eH3TmuivHC61H/VDRiMwCqarGtH/GFUKs+YAmg0KrL3vAi cOTrLUOFLDWajDkLZG1Mjplr/JwC/a3OZuzK4VZpkTYhZwO40HaCjvw9pGjgT0+5yrXD wKkw==
In-reply-to: <88a24a02-62d8-33a5-672d-597182fa1fdf@cs.utah.edu>
List-archive: </listarchives/csmith-dev>
List-help: <mailto:csmith-dev-request@flux.utah.edu?subject=help>
List-id: Csmith Development Mailing List <csmith-dev.flux.utah.edu>
List-post: <mailto:csmith-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=unsubscribe>
References: <88a24a02-62d8-33a5-672d-597182fa1fdf@cs.utah.edu>

Now the coverage tools become victims of WMD (fuzzer) :-)

On Thu, May 30, 2019 at 7:19 AM John Regehr <regehr@cs.utah.edu> wrote:

https://yangyibiao.github.io/papers/ICSE2019_difftest_coverage.pdf

References:
- [csmith-dev] csmith-related paper
  - From: John Regehr <regehr@cs.utah.edu>