Enhancing Symbolic Execution with Veritesting

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 233
  • Download : 0
Publisher
ASSOC COMPUTING MACHINERY
Issue Date
2016-06
Language
English
Article Type
Article
Citation

COMMUNICATIONS OF THE ACM, v.59, no.6, pp.93 - 100

ISSN
0001-0782
DOI
10.1145/2927924
URI
http://hdl.handle.net/10203/212128
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0