skip to main content
10.1145/2823363.2823364acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
invited-talk

Concolic testing: a decade later (keynote)

Published: 26 October 2015 Publication History

Abstract

Symbolic execution for software testing has witnessed renewed interest in the recent years due to its ability to generate high-coverage test suites and find deep errors in software systems. In this talk, I will give an overview of a modern symbolic execution technique, called concolic testing, discuss its key challenges in terms of path exploration, and introduce MultiSE, a new technique for tackling the path exploration challenge.

References

[1]
J. Burnim and K. Sen. Heuristics for scalable dynamic test generation. In ASE’08, pages 443–446. IEEE, 2008.
[2]
C. Cadar and K. Sen. Symbolic execution for software testing: Three decades later. Communications of the ACM (CACM), 56(2):82–90, February 2013.
[3]
P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In PLDI’05, pages 213–223, 2005.
[4]
R. Majumdar and K. Sen. Hybrid concolic testing. In ICSE’07, pages 416–426. IEEE, 2007.
[5]
R. Majumdar and K. Sen. Latest : Lazy dynamic test input generation. Technical Report UCB/EECS-2007-36, EECS Department, University of California, Berkeley, Mar 2007.
[6]
K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In ESEC/FSE’05, pages 263–272. ACM, 2005.
[7]
K. Sen, G. Necula, L. Gong, and W. Choi. Multise: Multi-path symbolic execution using value summaries. In ESEC/FSE’15. ACM, 2015.

Cited By

View all
  • (2023)Malware Analysis with Symbolic Execution and Graph KernelSecure IT Systems10.1007/978-3-031-22295-5_16(292-310)Online publication date: 1-Jan-2023
  • (2018)Augmenting Concolic Testing with Weighted Constraints-Based SearchRecent Developments in Intelligent Computing, Communication and Devices10.1007/978-981-10-8944-2_14(111-119)Online publication date: 23-Aug-2018

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
WODA 2015: Proceedings of the 13th International Workshop on Dynamic Analysis
October 2015
38 pages
ISBN:9781450339094
DOI:10.1145/2823363
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 October 2015

Check for updates

Author Tags

  1. Jalangi
  2. JavaScript
  3. MultiSE
  4. concolic testing
  5. symbolic execution
  6. test generation
  7. value summary

Qualifiers

  • Invited-talk

Conference

SPLASH '15
Sponsor:

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)8
  • Downloads (Last 6 weeks)1
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Malware Analysis with Symbolic Execution and Graph KernelSecure IT Systems10.1007/978-3-031-22295-5_16(292-310)Online publication date: 1-Jan-2023
  • (2018)Augmenting Concolic Testing with Weighted Constraints-Based SearchRecent Developments in Intelligent Computing, Communication and Devices10.1007/978-981-10-8944-2_14(111-119)Online publication date: 23-Aug-2018

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media