DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

Enhancing Symbolic Execution with Veritesting

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 242
  • Download : 0
Export
Avgerinos, Thanassis / Rebert, Alexandre / Cha, Sang Kilresearcher / Brumley, David
Publisher
IEEE Computer Society and ACM SIGSOFT
Issue Date
2014-06-06
Language
English
Citation

International Conference on Software Engineering

DOI
10.1145/2568225.2568293
URI
http://hdl.handle.net/10203/211419
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

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