VDTest-Reference-Cited by-同舟云学术

VDTest

Published:2016-05-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th International Conference on Software Engineering
language:
Short-container-title:

Author:

Yu Tingting¹,Qu Xiao²,Cohen Myra B.³

Affiliation:

1. University of Kentucky, Lexington, KY

2. ABB Corporate Research, Raleigh, NC

3. Univ. of Nebraska - Lincoln, Lincoln, NE

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2884781.2884866

Reference37 articles.

1. ACTS. http://csrc.nist.gov/groups/SNS/acts/. ACTS. http://csrc.nist.gov/groups/SNS/acts/.

2. Buffer Overrun on Invalid State Load. https://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-3689. Buffer Overrun on Invalid State Load. https://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-3689.

3. CVE-2015-3456. https://access.redhat.com/security/cve/CVE-2015-3456. CVE-2015-3456. https://access.redhat.com/security/cve/CVE-2015-3456.

4. VGA Driver Bug. https://bugzilla.redhat.com/show-bug.cgi?id=CVE-2013-4529. VGA Driver Bug. https://bugzilla.redhat.com/show-bug.cgi?id=CVE-2013-4529.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ViDeZZo: Dependency-aware Virtual Device Fuzzing;2023 IEEE Symposium on Security and Privacy (SP);2023-05

2. Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software;IEEE Transactions on Software Engineering;2022-01-01

3. Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers;IEEE Transactions on Software Engineering;2022

4. Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing;IEEE Transactions on Computers;2021-03-01

5. How software engineering research aligns with design science: a review;Empirical Software Engineering;2020-04-18