Challenges and Opportunities with Concolic Testing

被引：0
|
作者：
Kannavara, Raghudeep [1 ]
Havlicek, Christopher J. [1 ]
Chen, Bo [2 ]
Tuttle, Mark R. [1 ]
Cong, Kai [1 ]
Ray, Sandip [1 ]
Xie, Fei [2 ]
机构：
[1] Intel Corp, 2111 NE 25th Ave, Hillsboro, OR 97124 USA
[2] Portland State Univ, Portland, OR 97201 USA
来源：
PROCEEDINGS OF THE 2015 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON) | 2015年
关键词：
concolic testing; security testing; dynamic analysis; pre-silicon validation; malware analysis; firmware testing;
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
Although concolic testing is increasingly being explored as a viable software verification technique, its adoption in mainstream software development and testing in the industry is not yet extensive. In this paper, we discuss challenges to widespread adoption of concolic testing in an industrial setting and highlight further opportunities where concolic testing can find renewed applicability.
引用
收藏
页码：374 / 378
页数：5
相关论文
共 50 条
  • [31] IN VITRO TESTING OF BONE BIOMATERIALS - OPPORTUNITIES AND CHALLENGES
    Stoddart, Martin
    [J]. TISSUE ENGINEERING PART A, 2023, 29 (11-12) : 445 - 445
  • [32] Challenges and opportunities in implementing pharmacogenomics testing in the clinics
    Wisler, Jon R.
    Wisler, James W.
    Bansal, Shelly
    Marsh, Clay B.
    [J]. PERSONALIZED MEDICINE, 2012, 9 (06) : 609 - 619
  • [33] Testing Approximate Digital Circuits: Challenges and Opportunities
    Traiola, Marcello
    Virazel, Arnaud
    Girard, Patrick
    Barbareschi, Mario
    Bosio, Alberto
    [J]. 2018 IEEE 19TH LATIN-AMERICAN TEST SYMPOSIUM (LATS), 2018,
  • [34] External proficiency testing exercises: challenges and opportunities
    Doxiadis, Ilias
    Lehmann, Claudia
    [J]. FRONTIERS IN GENETICS, 2024, 15
  • [35] The Future of Genetic Testing in Taekwondo: Opportunities and Challenges
    Babic, Matej
    Kezic, Ana
    Cular, Drazen
    [J]. PHYSICAL ACTIVITY REVIEW, 2023, 11 (02): : 21 - 33
  • [36] Alternatives to toxicity testing in animals: Challenges and opportunities
    Daston, GP
    McNamee, P
    [J]. ENVIRONMENTAL HEALTH PERSPECTIVES, 2005, : 6 - 15
  • [37] Genetic testing in nephrotic syndrome—challenges and opportunities
    Rasheed A. Gbadegesin
    Michelle P. Winn
    William E. Smoyer
    [J]. Nature Reviews Nephrology, 2013, 9 : 179 - 184
  • [38] Applicability of the DPRA on mixture testing: challenges and opportunities
    Marcelis, Quinten
    Deconinck, Eric
    Rogiers, Vera
    Vanhaecke, Tamara
    Desmedt, Bart
    [J]. ARCHIVES OF TOXICOLOGY, 2023, 97 (09) : 2453 - 2461
  • [39] OPPORTUNITIES AND CHALLENGES OF LABORATORY TESTING AT ALTERNATIVE SITES
    HANDORF, CR
    MCLENDON, WW
    [J]. JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1995, 274 (16): : 1308 - 1309
  • [40] Applicability of the DPRA on mixture testing: challenges and opportunities
    Quinten Marcelis
    Eric Deconinck
    Vera Rogiers
    Tamara Vanhaecke
    Bart Desmedt
    [J]. Archives of Toxicology, 2023, 97 : 2453 - 2461
12345