• DocumentCode
    3764403
  • Title

    Challenges and opportunities with concolic testing

  • Author

    Raghudeep Kannavara;Christopher J Havlicek;Bo Chen;Mark R Tuttle;Kai Cong;Sandip Ray;Fei Xie

  • Author_Institution
    Intel Corporation, 2111 NE 25 Ave, Hillsboro, OR, USA 97124
  • fYear
    2015
  • fDate
    6/1/2015 12:00:00 AM
  • Firstpage
    374
  • Lastpage
    378
  • Abstract
    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.
  • Keywords
    Decision support systems
  • Publisher
    ieee
  • Conference_Titel
    Aerospace and Electronics Conference (NAECON), 2015 National
  • Electronic_ISBN
    2379-2027
  • Type

    conf

  • DOI
    10.1109/NAECON.2015.7443099
  • Filename
    7443099
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3764403