Validating static warnings via testing code fragments

Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, Wei Le. Validating static warnings via testing code fragments. In Cristian Cadar, Xiangyu Zhang 0001, editors, ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. pages 540-552, ACM, 2021. [doi]

@inproceedings{JoshyCSL21,
  title = {Validating static warnings via testing code fragments},
  author = {Ashwin Kallingal Joshy and Xueyuan Chen and Benjamin Steenhoek and Wei Le},
  year = {2021},
  doi = {10.1145/3460319.3464832},
  url = {https://doi.org/10.1145/3460319.3464832},
  researchr = {https://researchr.org/publication/JoshyCSL21},
  cites = {0},
  citedby = {0},
  pages = {540-552},
  booktitle = {ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
  editor = {Cristian Cadar and Xiangyu Zhang 0001},
  publisher = {ACM},
  isbn = {978-1-4503-8459-9},
}