Integrated TCP/IP protocol software testing for vulnerability detection | IEEE Conference Publication | IEEE Xplore