logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

Symbolic Execution for Software Testing: Three Decades Later

delete2013-02-01
delete584
PRE
AI
C
Cristian Cadar *
K
Koushik Sen
DOI：10.1145/2408776.2408795delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En

Journal

Communications of the ACM cover
Communications of the ACM
IF:
12.2
Papers:
1.2W
Citations:
3.7W

Organization

University of California System cover
University of California System
Scholars:
37.5W
Papers: 33.7W
Citations: 6.6K
I
Imperial College London
Scholars:
8.3W
Papers: 7.3W
Citations: 11.1W