Brad Bingham

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Evolutionary Algorithm

Management System

Building Blocks

Top Venues

Innov. Syst. Softw. Eng.

Publications

Flavio M. de Paula, Arvind Haran, Brad Bingham
Rewriting toward trace coverage analysis of symmetric systems. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Flavio M. de Paula, Arvind Haran, Brad Bingham
An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems. NFM (2018)