CyFuzz: : A Differential Testing Framework for Cyber-Physical Systems Development Environments

Chowdhury, Shafiul Azam; Johnson, Taylor T.; Csallner, Christoph

doi:10.1007/978-3-319-51738-4_4

by Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner

Reference:

Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner, "CyFuzz: : A Differential Testing Framework for Cyber-Physical Systems Development Environments", In 6th International Workshop Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016), Pittsburgh, PA, 2016, aug.

Bibtex Entry:

@InProceedings{chowdhury2016cyphy,
  author =    {Shafiul Azam Chowdhury and Taylor T. Johnson and Christoph Csallner},
  title =     {CyFuzz: : A Differential Testing Framework for Cyber-Physical Systems Development Environments},
  booktitle = {6th International Workshop Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (<a href="http://www.cyphy.org/">CyPhy 2016</a>)},
  year =      {2016},
  address =   {Pittsburgh, PA},
  month =     aug,
  doi = {10.1007/978-3-319-51738-4_4},
    pdf = {http://www.taylortjohnson.com/research/chowdhury2016cyphy.pdf},
}