Inproceedings,

Validation of Static Program Analysis Tools by Self-Application: A Case Study.

, and .
SQAMIA, volume 1375 of CEUR Workshop Proceedings, page 61-68. CEUR-WS.org, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews