DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Journal Papers(저널논문)

Enhancing Symbolic Execution with Veritesting

Cited 11 time in webofscience Cited 0 time in scopus
  • Hit : 644
  • Download : 0
Export
Avgerinos, Thanassis / Rebert, Alexandre / Cha, Sang Kilresearcher / Brumley, David
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 11 items in WoS Click to see citing articles in records_button

Display Full Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0