@inbook{casinghino-2019-using, title={Using Binary Analysis Frameworks: The Case for BAP and angr}, ISBN={9783030206529}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-20652-9_8}, DOI={10.1007/978-3-030-20652-9_8}, booktitle={NASA Formal Methods}, publisher={Springer International Publishing}, author={Casinghino, Chris and Paasch, J. T. and Roux, Cody and Altidor, John and Dixon, Michael and Jamner, Dustin}, year={2019}, pages={123–129} }

casinghino-2019-using:
  type: chapter
  title: 'Using Binary Analysis Frameworks: The Case for BAP and angr'
  author:
  - Casinghino, Chris
  - Paasch, J. T.
  - Roux, Cody
  - Altidor, John
  - Dixon, Michael
  - Jamner, Dustin
  date: 2019
  page-range: 123-129
  url: http://dx.doi.org/10.1007/978-3-030-20652-9_8
  serial-number:
    doi: 10.1007/978-3-030-20652-9_8
    isbn: '9783030206529'
    issn: 1611-3349
  parent:
    type: book
    title: NASA Formal Methods
    publisher: Springer International Publishing