SymbexNet: Testing network protocol implementations with symbolic execution and rule-based specifications

File(s)

SymbexNet_Testing_Network.pdf (812.33 KB)

Published Version

Show more

Author(s)

Cadar, C

Song, J

Cadar, C

Pietzuch, P

Type

Journal Article

Date Issued

2014-05-13

Date Acceptance

2014-04-20

Citation

IEEE Transactions on Software Engineering, 2014, 40 (7), pp.695-709

URI

http://hdl.handle.net/10044/1/23356

DOI

https://www.dx.doi.org/10.1109/TSE.2014.2323977

ISSN

0098-5589

Publisher

Institute of Electrical and Electronics Engineers

Start Page

695

End Page

709

Journal / Book Title

IEEE Transactions on Software Engineering

Volume

40

Issue

7

Copyright Statement

© The Author(s) 2014. This work is licensed under a Creative Commons Attribution 3.0 License. For more information, see http://creativecommons.org/licenses/by/3.0

License URL

https://creativecommons.org/licenses/by/3.0/