Enhancing Symbolic Execution with Veritesting

Cited 4 time in webofscience Cited 0 time in scopus
  • Hit : 388
  • 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.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 4 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0