symbolic computation

---

symbolic computation

Tag #symbolic computation

205 papers:

FM-2019-BoerB #execution #on the

On the Nature of Symbolic Execution (FSdB, MMB), pp. 64–80.

PLDI-2019-HallahanXBJP #execution #lazy evaluation

Lazy counterfactual symbolic execution (WTH, AX, MTB, RJ, RP), pp. 411–424.

PLDI-2019-LoringMK #execution #javascript #regular expression #semantics

Sound regular expression semantics for dynamic symbolic execution of JavaScript (BL, DM, JK), pp. 425–438.

POPL-2019-SantosMSG #composition #execution #javascript

JaVerT 2.0: compositional symbolic execution for JavaScript (JFS, PM, GS, PG), p. 31.

PPDP-2019-FarinaCG #execution #relational

Relational Symbolic Execution (GPF, SC, MG), p. 14.

ASE-2019-MossbergMHGGFBD #contract #execution #framework #named

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts (MM, FM, EH, AG, GG, JF, TB, AD), pp. 1186–1189.

ASE-2019-Nowack #execution #in memory #memory management #representation

Fine-Grain Memory Object Representation in Symbolic Execution (MN), pp. 912–923.

ESEC-FSE-2019-BaresiDQ #execution #parallel

Symbolic execution-driven extraction of the parallel execution plans of Spark applications (LB, GD, GQ), pp. 246–256.

ESEC-FSE-2019-KapusC #execution #memory management

A segmented memory model for symbolic execution (TK, CC), pp. 774–784.

ICSE-2019-RutledgePKOPZ #execution #predict

Zero-overhead path prediction with progressive symbolic execution (RR, SP, HAK, AO, MP, AGZ), pp. 234–245.

TAP-2019-KapusNC #constraints #execution #integer #question

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? (TK, MN, CC), pp. 41–54.

ICSME-2018-ZhuJX #execution #metric #search-based #testing

Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric (ZZ, LJ, XX), pp. 59–68.

ECOOP-2018-ChenHZHK0 #execution #learning #program transformation

Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.

OOPSLA-2018-BornholtT #evaluation

Finding code that explodes under symbolic evaluation (JB, ET), p. 26.

POPL-2018-ChangKT #execution

Symbolic types for lenient symbolic execution (SC, AK, ET), p. 29.

PPDP-2018-SantosMGDG #execution #javascript

Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.

ASE-2018-BeyerL #execution #named #performance

CPA-SymExec: efficient symbolic execution in CPAchecker (DB, TL), pp. 900–903.

ASE-2018-DustmannWC #execution #multi #named

PARTI: a multi-interval theory solver for symbolic execution (OSD, KW, CC), pp. 430–440.

ASE-2018-GaoTDR #android #execution #testing

Android testing via synthetic symbolic execution (XG, SHT, ZD, AR), pp. 419–429.

ASE-2018-Noller #difference #execution #fuzzing #program analysis

Differential program analysis with fuzzing and symbolic execution (YN), pp. 944–947.

ESEC-FSE-2018-GuoWW #detection #execution

Adversarial symbolic execution for detecting concurrency-related cache timing leaks (SG, MW, CW0), pp. 377–388.

ESEC-FSE-2018-MechtaevGCR #constraints #execution #higher-order

Symbolic execution with existential second-order constraints (SM, AG, AC, AR), pp. 389–399.

ICSE-2018-TrabishMRC #execution

Chopped symbolic execution (DT, AM, NR, CC), pp. 350–360.

ICML-2017-MouLLJ #distributed #execution #natural language #query

Coupling Distributed and Symbolic Execution for Natural Language Queries (LM, ZL, HL0, ZJ), pp. 2518–2526.

MoDELS-2017-GreenyerG #execution #specification

Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (JG, TG), pp. 312–322.

ASE-2017-AlatawiSM #abstract interpretation #execution #performance

Leveraging abstract interpretation for efficient dynamic symbolic execution (EA, HS, TM0), pp. 619–624.

ASE-2017-CoppaDD #execution #pointer #reasoning

Rethinking pointer reasoning in symbolic execution (EC, DCD, CD), pp. 613–618.

ASE-2017-KapusC #automation #difference #execution #generative #testing

Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.

ASE-2017-LiewSCDZW #case study #execution #float #programming

Floating-point symbolic execution: a case study in n-version programming (DL, DS, CC, AFD, RZ, KW), pp. 601–612.

ESEC-FSE-2017-GuoWW #execution #logic #programmable

Symbolic execution of programmable logic controller code (SG, MW, CW0), pp. 326–336.

CC-2017-LiLX #execution #morphism #polymorphism

Dynamic symbolic execution for polymorphism (LL, YL, JX), pp. 120–130.

ICST-2017-ConverseOK #execution #generative #semantics #testing #using

Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution (HC, OO, SK), pp. 241–252.

TAP-2017-BoudhibaGGP #execution #summary

Symbolic Execution of Transition Systems with Function Summaries (IB, CG, PLG, VP), pp. 41–58.

SANER-2016-DavidBTMFPM #analysis #execution #named #tool support

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis (RD, SB, TDT, LM, JF, MLP, JYM), pp. 653–656.

FM-2016-StoenescuSPI #analysis #execution #framework #named #using

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions (TS, AS, SP, FI), pp. 779–785.

IFM-2016-Kovacs #automation #program analysis #reasoning

Symbolic Computation and Automated Reasoning for Program Analysis (LK), pp. 20–27.

SEFM-2016-DernehlHK #abstract interpretation #analysis #diagrams #execution

Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams (CD, NH, SK), pp. 137–152.

SEFM-2016-FeistMP #control flow #execution #using

Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information (JF, LM, MLP), pp. 76–81.

SEFM-2016-HenselGFS #execution #proving #source code #termination

Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution (JH, JG, FF, TS), pp. 234–252.

LOPSTR-2016-MorenoPRV #execution #fuzzy #logic programming #source code

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs (GM, JP, JAR, GV), pp. 131–147.

POPL-2016-CardelliTTV #difference

Symbolic computation of differential equivalences (LC, MT, MT, AV), pp. 137–150.

ASE-2016-GuoKW #concurrent #execution #incremental #named

Conc-iSE: incremental symbolic execution of concurrent software (SG, MK, CW), pp. 531–542.

ASE-2016-LiLQHBYCL #constraints #execution #machine learning #theorem proving

Symbolic execution of complex program driven by machine learning based constraint solving (XL, YL, HQ, YQH, LB, YY, XC, XL), pp. 554–559.

ASE-2016-MahmoodGS #database #execution

Symbolic execution of stored procedures in database management systems (MSM, MAG, JHS), pp. 519–530.

ASE-2016-OgnawalaOPL #analysis #composition #execution #low level #named

MACKE: compositional analysis of low-level vulnerabilities with symbolic execution (SO, MO, AP, TL), pp. 780–785.

FSE-2016-HasabnisS #code generation #execution #semantics

Extracting instruction semantics via symbolic execution of code generators (NH, RS), pp. 301–313.

FSE-2016-Quan #execution #float #source code

Hotspot symbolic execution of floating-point programs (MQ), pp. 1112–1114.

ICSE-2016-ChenLL #execution #generative #performance #probability

Generating performance distributions via probabilistic symbolic execution (BC0, YL0, WL), pp. 49–60.

ICSE-2016-Christakis0W #execution #towards

Guiding dynamic symbolic execution toward unverified program executions (MC, PM0, VW), pp. 144–155.

ICSE-2016-JeonQFFS #execution #framework #modelling

Synthesizing framework models for symbolic execution (JJ, XQ, JFD, JSF, ASL), pp. 156–167.

SLE-2016-Al-SibahiDW #execution

Symbolic execution of high-level transformations (ASAS, ASD, AW), pp. 207–220.

CAV-2016-MuellerSS #automation #execution #using #verification

Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution (PM, MS, AJS), pp. 405–425.

ICST-2016-LiewCD #execution #named #source code

Symbooglix: A Symbolic Execution Engine for Boogie Programs (DL, CC, AFD), pp. 45–56.

VMCAI-2016-HilleryMRP #execution #summary

Exact Heap Summaries for Symbolic Execution (BH, EM, NR, SP), pp. 206–225.

SCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #testing

Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.

SEKE-2015-ElerDE #exception #execution #generative #testing

Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.

SEKE-2015-WangSZ #detection #execution

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.

MoDELS-2015-KhalilD #evolution #execution #incremental #state machine

Incremental symbolic execution of evolving state machines (AK, JD), pp. 14–23.

ASE-2015-FilieriPY #execution #probability #quantifier

Quantification of Software Changes through Probabilistic Symbolic Execution (N) (AF, CSP, GY), pp. 703–708.

ESEC-FSE-2015-BorgesFdP #execution #probability

Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.

ESEC-FSE-2015-BraioneDP #execution #source code

Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.

ESEC-FSE-2015-Cadar #execution #program transformation

Targeted program transformations for symbolic execution (CC), pp. 906–909.

ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #thread

Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.

ESEC-FSE-2015-SenNGC #execution #multi #named #summary #using

MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.

ICSE-v1-2015-QiuYPK #composition #execution

Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.

ICSE-v1-2015-SuFPHS #data flow #execution #model checking #testing

Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.

ICSE-v1-2015-WongZWLT #automation #execution #named #testing

DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.

ICSE-v1-2015-ZhangCWD0 #execution

Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.

CASE-2015-FeiAR #bound #clustering #resource management #using

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, KÅ, SAR), pp. 799–806.

DATE-2015-Ibing #architecture #execution

Architecture description language based retargetable symbolic execution (AI), pp. 241–246.

SOSP-2015-RaychevMM #execution #using

Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.

ICST-2015-CseppentoM #tool support

Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.

ICST-2015-HonfiVM #execution #named #visualisation

SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.

ICST-2015-RaposD #execution #fuzzy #logic #testing #uml #using

Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.

ICST-2015-YiYGWLZ #execution

Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.

ISSTA-2015-JiaGY #constraints #execution #reuse #using

Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.

ISSTA-2015-WangZT #case study #execution #experience #how #testing

Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.

SFM-2014-AlbertAGR #concept #concurrent #execution #generative #testing

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.

ICGT-2014-JansenGN #execution #generative #induction #pointer #source code

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.

OOPSLA-2014-BerganGC #execution #parallel #source code #thread

Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.

SAC-PL-J-2013-MaierST14 #design #reliability #scalability

Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.

ASE-2014-KauslerS #constraints #evaluation #execution #string #theorem proving

Evaluation of string constraint solvers in the context of symbolic execution (SK, ES), pp. 259–270.

ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code

Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.

ASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #testing

Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.

FSE-2014-FilieriPVG #execution #statistics

Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.

ICSE-2014-AvgerinosRCB #execution

Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.

ASPLOS-2014-BucurKC #execution #prototype

Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.

ICST-2014-BardinKC #execution #performance #test coverage

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.

ISSTA-2014-GaleottiFA #adaptation #execution #generative #search-based

Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.

ISSTA-2014-ZhangGA #execution #reduction #testing #using

Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.

SMT-2014-PalikarevaC #execution #multi

Multi-solver Support in Symbolic Execution (HP, CC), p. 15.

TAP-2014-HentschelHB #bound #execution #visualisation

Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.

SCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #testing

A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.

WCRE-2013-Pichler #execution #specification

Specification extraction by symbolic execution (JP), pp. 462–466.

SEFM-2013-JiHB #deduction #execution #program transformation

Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.

OOPSLA-2013-LiSWL #execution

Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.

ASE-2013-XiaoLXT #execution #generative #problem #testing

Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.

ESEC-FSE-2013-BraioneDP #execution #lazy evaluation #term rewriting

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.

ICSE-2013-HatcliffRCB #execution #framework #verification

Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.

ICSE-2013-YangKP #execution #named

Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.

SAC-2013-MaierST #design #reliability #scalability

Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.

SLE-2013-ArusoaieLR #execution #framework

A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.

ASPLOS-2013-CuiHWY #execution #using #verification

Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.

TACAS-2013-SlabyST #contest #execution #named #slicing

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.

CAV-2013-PalikarevaC #execution #multi

Multi-solver Support in Symbolic Execution (HP, CC), pp. 53–68.

CAV-2013-UhlerD #automation #named #query #smt

Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries (RU, ND), pp. 678–683.

ICTSS-2013-Ibing #eclipse #execution #parallel

Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.

ICTSS-2013-SapraMCGC #execution #fault #python #source code #using

Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.

TAP-2013-JamrozikFTH #execution #generative #testing

Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.

SCAM-2012-Vidal #execution #termination #verification

Closed Symbolic Execution for Verifying Program Termination (GV), pp. 34–43.

OOPSLA-2012-SiddiquiK #analysis #execution #scalability #using

Scaling symbolic execution using ranged analysis (JHS, SK), pp. 523–536.

OOPSLA-2012-Tobin-HochstadtH #contract #execution #higher-order

Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.

LOPSTR-2012-GieslSSEF #evaluation #graph #logic programming #source code #term rewriting

Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs (JG, TS, PSK, FE, CF), p. 1.

PADL-2012-AlbertAG #concurrent #execution

Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.

PLDI-2012-KuznetsovKBC #execution #performance

Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.

PPDP-2012-GieslSSEF #evaluation #graph #logic programming #source code #term rewriting

Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs (JG, TS, PSK, FE, CF), pp. 1–12.

ASE-2012-JamrozikFTH #execution

Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.

ICSE-2012-MarinescuC #execution #testing

make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.

ICSE-2012-TamrawiNNN #analysis #evaluation

Build code analysis with symbolic evaluation (AT, HAN, HVN, TNN), pp. 650–660.

SAC-2012-SiddiquiK #execution #staged

Staged symbolic execution (JHS, SK), pp. 1339–1346.

SAC-2012-SousaC #framework #modelling #named #open source

SageRobotics: open source framework for symbolic computation of robot models (CDS, RC), pp. 262–267.

SAC-2012-ZurowskaD #execution #state machine #uml

Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.

FASE-2012-ShiCD #composition #execution #integration #product line #testing #using

Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.

CAV-2012-JaffarMNS #execution #named #verification

TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.

CAV-2012-ThakurR

A Method for Symbolic Computation of Abstract Operations (AVT, TWR), pp. 174–192.

ICST-2012-BorgesdABP #execution #metaheuristic

Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.

ICST-2012-RaposD #execution #generative #incremental #modelling #testing #uml #using

Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.

ISSTA-2012-GeldenhuysDV #execution #probability

Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.

ISSTA-2012-YangPK #execution

Memoized symbolic execution (GY, CSP, SK), pp. 144–154.

TAP-2012-Pasareanu #execution #model checking #testing

Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.

VMCAI-2012-SiegelZ #execution #invariant #parallel #source code

Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.

PASTE-2011-Detten #behaviour #detection #execution #generative #towards

Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.

KDIR-2011-BorcheninovO #embedded #programming #search-based

Genetic Programming with Embedded Features of Symbolic Computations (YVB, YSO), pp. 476–479.

LOPSTR-2011-Henglein #domain-specific language #implementation

Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.

PLDI-2011-PersonYRK #execution #incremental

Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.

SAS-2011-MaKFH #execution

Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.

SIGAda-2011-BeltHRCHD #contract #execution #using

Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.

ASE-2011-AnandH #execution #java #source code

Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.

ICSE-2011-CadarGKPSTV #assessment #execution #testing

Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.

ICSE-2011-GeTXT #execution #named #verification

DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.

FASE-2011-VanoverbergheP #aspect-oriented #composition #execution

Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.

CAV-2011-LiGR #automation #c++ #execution #generative #named #source code #testing

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.

ISSTA-2011-PasareanuRV #execution

Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.

ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #testing

Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.

SEFM-2010-TudoseO #design pattern #execution #testing #using

A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution (CT, RO), pp. 113–117.

PLDI-2010-KhooCF #execution #type checking

Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.

ASE-2010-HahnleBBR #debugging #execution #interactive #visual notation

A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.

ASE-2010-PasareanuR #bytecode #execution #java

Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.

ICSE-2010-ReisnerSMFP #behaviour #configuration management #evaluation #using

Using symbolic evaluation to understand behavior in configurable software systems (ER, CS, KKM, JSF, AP), pp. 445–454.

CAV-2010-AlbarghouthiGWC #analysis

Abstract Analysis of Symbolic Executions (AA, AG, OW, MC), pp. 495–510.

ICST-2010-JobstlWAW #consistency #execution #smt #testing

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.

ICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #theorem proving

FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.

ISSTA-2010-DanielGM #execution #on the #using

On test repair using symbolic execution (BD, TG, DM), pp. 207–218.

ISSTA-2010-SantelicesH #dependence #execution #multi #scalability

Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.

ISSTA-2010-StaatsP #execution #generative #parallel #testing

Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.

IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process

Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.

ICEIS-DISI-2009-SofokleousAK #execution #generative #testing

Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.

ESEC-FSE-2009-BeltRD #analysis #lightweight #optimisation

Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.

ISSTA-2009-SaxenaPMS #execution #source code

Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.

TAP-2009-GriesmayerAJS #distributed #execution #testing

Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.

TAP-2009-Rapin #bound #execution #model checking

Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (NR), pp. 137–152.

ASE-2008-InkumsahX #execution #object-oriented #source code #testing

Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (KI, TX), pp. 297–306.

FSE-2008-PersonDEP #difference #execution

Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.

ICSE-2008-CsallnerTS #execution #invariant #named

DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.

TACAS-2008-AnandGT #composition #execution

Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.

ISSTA-2008-KannanS #data type #execution #generative #invariant

Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.

ISSTA-2008-PasareanuMBGLPP #execution #testing

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.

SEFM-2007-DengRH #algorithm #execution #object-oriented #source code #towards

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs (XD, R, JH), pp. 273–282.

TACAS-2007-AnandOH #analysis #execution #program transformation

Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.

TACAS-2007-AnandPV #execution #java #named

JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.

TAP-2007-GallRT #execution #refinement #testing

Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.

ASE-2006-DengLR #bound #execution #named

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (XD, JL, R), pp. 157–166.

ISSTA-2006-SiegelMAC #execution #model checking #parallel #source code #using #verification

Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.

TestCom-2006-GastonGRT #execution

Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.

PASTE-2005-KhurshidS #execution #library

Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.

TACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #testing #using

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.

CSMR-2004-Latendresse #evaluation #preprocessor #term rewriting

Rewrite Systems for Symbolic Evaluation of C-like Preprocessing (ML), pp. 165–173.

SEFM-2004-ZhangXW #constraints #execution #generative #testing #theorem proving #using

Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques (JZ, CX, XW), pp. 242–250.

PADL-2004-WangRYC #behaviour #execution #requirements

Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.

CSMR-2003-Latendresse #c #c++ #evaluation #performance #preprocessor #using

Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.

AdaEurope-2003-BliebergerB #evaluation #using

Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation (JB, BB), pp. 153–167.

TACAS-2003-KhurshidPV #execution #model checking #testing

Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.

CSL-2003-Buchberger #logic

Computational Mathematics, Computational Logic, and Symbolic Computation (BB), pp. 98–99.

ISSTA-2002-ChenTZ #evaluation #named #testing

Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing (TYC, THT, ZZ), pp. 191–195.

ESEC-FSE-2001-Coen-PorisiniDGP #execution #safety #using #verification

Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.

CAV-2001-Moore #execution #modelling #state machine

Rewriting for Symbolic Execution of State Machine Models (JSM), pp. 411–422.

ICSM-2000-HuMDL #analysis #c #c++ #compilation #execution #using

C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.

AdaEurope-1999-BliebergerBS #ada #alias #evaluation #interprocedural #source code

Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.

ICLP-1999-CiarliniF #execution #hybrid

Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.

DAC-1997-WalrathV #evaluation #modelling #performance #trade-off #visualisation

Symbolic Evaluation of Performance Models for Tradeoff Visualization (JW, RV), pp. 359–364.

ITiCSE-1996-Krone #algorithm #analysis #data type #education #using

Using symbolic computation for teaching data structures and algorithm analysis (JK), p. 230.

PDP-1996-Vernier-Mounier #parallel #source code #symmetry

Symbolic Executions of Symmetrical Parallel Programs (IVM), pp. 327–335.

WCRE-1995-CimitileLM #execution #reuse #using

Qualifying Reusable Functions Using Symbolic Execution (AC, ADL, MM).

SEKE-1994-ArndtGPT #execution #logic programming #source code

Symbolic execution of logic programs (TA, AG, GP, GT), pp. 414–421.

PLILP-1994-Grivas #compilation #constraints #functional #logic #towards

Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.

CADE-1994-ClarkeZ #problem #proving #theorem proving

Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan (EMC, XZ), pp. 758–763.

ISSTA-1994-DouglasK #execution #named #specification #testing

Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications (JD, RAK), pp. 15–27.

CAiSE-1993-BlazyF #comprehension #fortran #partial evaluation #source code

Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs (SB, PF), pp. 184–198.

DAC-1993-JoyceS #evaluation #interactive

Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving (JJJ, CJHS), pp. 469–474.

PPoPP-1993-Siegl #algorithm #using

Parallelizing Algorithms for Symbolic Computation using ||MAPLE|| (KS), pp. 179–186.

PEPM-1992-DehboneiJ #analysis #evaluation #interprocedural #semantics

Semantical Interprocedural Analysis by Partial Symbolic Evaluation (BD, PJ), pp. 14–20.

CAV-1990-MorrisH #execution #verification

Program Verification by Symbolic Execution of Hyperfinite Ideal Machines (JMM, MH), pp. 322–332.

ESEC-1989-MorascaP #ada #concurrent #execution #source code #using #validation

Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.

ASPLOS-1987-Kieburtz #architecture

A RISC Architecture for Symbolic Computation (RBK), pp. 146–155.

POPL-1977-ReifL #evaluation #graph

Symbolic Evaluation and the Global Value Graph (JHR, HRL), pp. 104–118.