##. (ID). Title, publication year, publication source

(542)*. Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics, 2022, Journal: IEEE Transactions on Software Engineering
(516)*. SymTuner: maximizing the power of symbolic execution by adaptively tuning external parameters, 2022, International Conference on Software Engineering (ICSE)
(461)*. Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation, 2020, Journal: IEEE Transactions on Mobile Computing
(409)**. Research on Safety Level DCS Automated Test Method Based on Symbolic Execution, 2019, International Conference on Circuits, System and Simulation (ICCSS)
(487). Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine, 2021, Asia-Pacific Software Engineering Conference (APSEC)
(54). DySy: dynamic symbolic execution for invariant inference, 2008, International Conference on Software Engineering (ICSE)
(87)*. ParSym: Parallel symbolic execution, 2010, International Conference on Software Technology and Engineering (ICSTE)
(336)*. PARTI: a multi-interval theory solver for symbolic execution, 2018, International Conference on Automated Software Engineering (ASE)
(90). Enhancing spark's contract checking facilities using symbolic execution, 2011, ACM International Conference on Special Interest Group on Ada Programming Language (SIGAda)
(331)**. Shadow Symbolic Execution with Java PathFinder, 2018, ACM SIGSOFT Software Engineering Notes (SEN)
(194)*. Symbolic execution of MPI programs, 2015, International Conference on Software Engineering (ICSE)
(459)**. CSEFuzz: Fuzz Testing Based on Symbolic Execution, 2020, Journal: IEEE Access
(420)*. Java Ranger: statically summarizing regions for efficient symbolic execution of Java, 2020, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(426). KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution, 2020, ACM Transactions on Software Engineering and Methodology (TOSEM)
(22). Symbolic execution: a semantic approach, 1991, Journal: Science of Computer Programming
(24). Qualifying reusable functions using symbolic execution, 1995, 2nd Working Conference on Reverse Engineering
(354)*. Detecting MPI Usage Anomalies via Partial Program Symbolic Execution, 2018, International Conference for High Performance Computing, Networking, Storage and Analysis (SC)
(266)*. On how characteristics that hinder test data using symbolic execution combine: An analysis of the SF100 benchmark, 2016, International Conference of the Chilean Computer Science Society (SCCC)
(13). Combining static concurrency analysis with symbolic execution, 1988, Journal: IEEE Transactions on Software Engineering
(369). Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets, 2018, International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE)
(291). Symbolic execution for realizability-checking of scenario-based specifications, 2017, International Conference on Model Driven Engineering Languages and Systems (MODELS)
(155). Using test case reduction and prioritization to improve symbolic execution, 2014, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(399). Benchmarking Symbolic Execution Using Constraint Problems - Initial Results, 2019, IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
(9). Using symbolic execution to characterize behavior, 1982, Journal: ACM SIGSOFT Software Engineering Notes
(279). Generating Source Inputs for Metamorphic Testing Using Dynamic Symbolic Execution, 2016, International Workshop on Metamorphic Testing (MET)
(390). Zero-overhead path prediction with progressive symbolic execution, 2019, International Conference on Software Engineering (ICSE)
(96). Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution, 2011, Journal: ACM Transactions on Information and System Security (TISSEC)
(130). Verifying systems rules using rule-directed symbolic execution, 2013, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
(525). Input decomposition by clusterization for symbolic execution, 2022, IEEE International Conference on Computer Sciences and Information Technologies (CSIT)
(101). Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution, 2011, International Conference on Computer Communications and Networks (ICCCN)
(40). Generalizing symbolic execution to library classes, 2005, Program Analysis for Software Tools and Engineering (PASTE)
(508). Symbolic execution for randomized programs, 2022, ACM on Programming Languages (PACMPL)
(527). SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software, 2022, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(149). Specification extraction by symbolic execution, 2013, Working Conference on Reverse Engineering (WCRE)
(455). Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution, 2020, International Conference on Software Engineering (ICSE)
(497). ASE: A Value Set Decision Procedure for Symbolic Execution, 2021, International Conference on Automated Software Engineering (ASE)
(361). Research on the Key Technology of Selective Symbolic Execution, 2018, International Conference on Instrumentation, Measurement, Computer, Communication and Control (IMCCC)
(2). SELECT—a formal system for testing and debugging programs by symbolic execution, 1975, Proceedings of the international conference on Reliable software
(30). C/C++ conditional compilation analysis using symbolic execution, 2000, IEEE International Conference on Software Maintenance (ICSM)
(281). Symbolic execution for memory consumption analysis, 2016, Journal: ACM SIGPLAN Notices
(207). Architecture description language based retargetable symbolic execution, 2015, Design, Automation & Test in Europe Conference & Exhibition (DATE)
(534). Improving Search-based Test Case Generation with Local Search using Adaptive Simulated Annealing and Dynamic Symbolic Execution, 2022, International Conference on Dependable Systems and Their Applications (DSA)
(540). Precise Dynamic Symbolic Execution for Nonuniform Data Access in Smart Contracts, 2022, Journal: IEEE Transactions on Computers
(339). Symbolic Execution for JavaScript, 2018, International Symposium on Principles and Practice of Declarative Programming (PPDP)
(146). Symbolic execution — An efficient approach for test case generation, 2013, International Conference on Recent Trends in Information Technology (ICRTIT)
(341). Efficient and Scalable Graph Parallel Processing With Symbolic Execution, 2018, Journal: ACM Transactions on Architecture and Code Optimization (TACO)
(513). A symbolic execution-based method to perform untargeted attack on feed-forward neural networks, 2022, International Conference on Automated Software Engineering (ASE)
(360). Symbolic execution using approximate computing (SEAC) — A novel branch hazard distribution method, 2018, International Conference on Electronics, Information, and Communication (ICEIC)
(3). Verification of protocols using symbolic execution, 1976, Journal: Computer Networks
(413). On the Nature of Symbolic Execution, 2019, International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
(69). A Memory Model for Symbolic Execution, 2009, International Forum on Computer Science-Technology and Applications
(111). Symbolic execution of programs with strings, 2012, South African Institute for Computer Scientists and Information Technologists Conference (SAICSIT)
(43). Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems, 2006, International Conference on Automated Software Engineering (ASE)
(203). Relational symbolic execution of SQL code for unit testing of database programs, 2015, Journal: Science of Computer Programming
(389). SYMAC: Symbolic Execution Augmented with Concurrent Coverage Criteria, 2019, International Conference on Computer Science and Software Engineering (CSSE)
(299). Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection, 2017, Asia-Pacific Software Engineering Conference (APSEC)
(93). Symbolic execution with mixed concrete-symbolic solving, 2011, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(213). Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases, 2015, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(350). TBFV-SE: Testing-Based Formal Verification with Symbolic Execution, 2018, IEEE International Conference on Software Quality, Reliability and Security (QRS)
(228). DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing, 2015, International Conference on Software Engineering (ICSE)
(505). SolSEE: a source-level symbolic execution engine for solidity, 2022, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(125). File Parsing Vulnerability Detection with Symbolic Execution, 2012, International Symposium on Theoretical Aspects of Software Engineering
(277). Synthesizing Framework Models for Symbolic Execution, 2016, International Conference on Software Engineering (ICSE)
(110). Symbolic execution of UML-RT State Machines, 2012, ACM Symposium on Applied Computing (SAC)
(6). The derivation of microcode by symbolic execution, 1980, Journal: ACM SIGMICRO Newsletter
(351). Worst-Case Execution Time Testing via Evolutionary Symbolic Execution, 2018, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(136). A Fuzzing Framework Based on Symbolic Execution and Combinatorial Testing, 2013, IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing (GreenCom)
(235). Extracting instruction semantics via symbolic execution of code generators, 2016, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(464). A bounded symbolic-size model for symbolic execution, 2021, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(488). Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution, 2021, Asia-Pacific Software Engineering Conference (APSEC)
(406). Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts, 2019, International Conference on Automated Software Engineering (ASE)
(323). A hybrid symbolic execution assisted fuzzing method, 2017, TENCON IEEE Region Conference
(118). Speculative Symbolic Execution, 2012, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(58). Using Symbolic Execution in Embedded Software Testing, 2008, International Conference on Computer Science and Software Engineering (CSSE)
(435). A Formal Model for Detecting Bugs by Symbolic Execution of Programs, 2020, Journal: Programming and Computer Software
(144). Protocol Knowledge Combined Directed Symbolic Execution for Binary Programs, 2013, International Conference on Instrumentation, Measurement, Computer, Communication and Control (IMCCC)
(134). Using passive testing based on symbolic execution and slicing techniques, 2013, Journal: Computer Networks
(270). Symbolic execution of complex program driven by machine learning based constraint solving, 2016, International Conference on Automated Software Engineering (ASE)
(64). A symbolic execution framework for algorithm-level modelling, 2009, IEEE International High Level Design Validation and Test Workshop (HLDVT)
(357). Differential Program Analysis with Fuzzing and Symbolic Execution, 2018, International Conference on Automated Software Engineering (ASE)
(215). MPISE: Symbolic Execution of MPI Programs, 2015, IEEE International Symposium on High Assurance Systems Engineering
(210). Postconditioned Symbolic Execution, 2015, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(251). The Floating-Point Extension of Symbolic Execution Engine for Bug Detection, 2016, Asia-Pacific Software Engineering Conference (APSEC)
(391). Symbolic execution for attribution and attack synthesis in neural networks, 2019, International Conference on Software Engineering (ICSE)
(450). Pending Constraints in Symbolic Execution for Better Exploration and Seeding, 2020, International Conference on Automated Software Engineering (ASE)
(178). Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution, 2014, International Conference on Software Security and Reliability (SERE)
(83). All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask), 2010, IEEE Symposium on Security and Privacy (SP)
(511). Combining static analysis error traces with dynamic symbolic execution (experience paper), 2022, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(400). Symbolic Execution with Finite State Automata, 2019, IEEE International Scientific Conference on Informatics
(181). SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications, 2014, Journal: IEEE Transactions on Software Engineering
(373). Symbolic execution for a clash-free subset of ASMs, 2018, Journal: Science of Computer Programming
(7). Program reduction using symbolic execution, 1981, Journal: ACM SIGSOFT Software Engineering Notes
(290). System Service Call-oriented Symbolic Execution of Android Framework with Applications to Vulnerability Discovery and Exploit Generation, 2017, International Conference on Mobile Systems (MobiSys)
(490). Automatic Detection of Android Steganography Apps via Symbolic Execution and Tree Matching, 2021, IEEE Conference on Communications and Network Security (CNS)
(76). DSDSR: a tool that uses dynamic symbolic execution for data structure repair, 2010, International Workshop on Dynamic Analysis (WODA)
(32). Using symbolic execution for verifying safety-critical systems, 2001, Foundations of Software Engineering (FSE)
(139). A relational symbolic execution algorithm for constraint-based testing of database programs, 2013, IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
(14). An experience with two symbolic execution-based approaches to formal verification of Ada tasking programs, 1988, Workshop on Software Testing, Verification, and Analysis
(102). DyTa: dynamic symbolic execution guided with static verification results, 2011, International Conference on Software Engineering (ICSE)
(154). Statistical symbolic execution with informed sampling, 2014, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(417). An approach to solving non-linear real constraints for symbolic execution, 2019, Journal of Systems and Software
(143). GASE -an input domain reduction and branch coverage system based on Genetic Algorithm and Symbolic Execution, 2013, International Conference on Information Communication and Embedded Systems (ICICES)
(8). Formal Program Verification Using Symbolic Execution, 1982, Journal: IEEE Transactions on Software Engineering
(158). Safely reducing the cost of unit level symbolic execution through read/write analysis, 2014, ACM SIGSOFT Software Engineering Notes (SEN)
(353). Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution, 2018, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
(160). Incremental symbolic execution for automated test suite maintenance, 2014, International Conference on Automated Software Engineering (ASE)
(148). Explicating symbolic execution (xSymExe): An evidence-based verification framework, 2013, International Conference on Software Engineering (ICSE)
(106). Scaling symbolic execution using ranged analysis, 2012, ACM International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)
(86). A Symbolic Execution Tool Based on the Elimination of Infeasible Paths, 2010, International Conference on Software Engineering Advances
(19). Software Specialization Via Symbolic Execution, 1991, IEEE Transactions Software Engineering (TSE)
(456). Bug detection in embedded environments by fuzzing and symbolic execution, 2020, International Convention on Information, Communication and Electronic Technology (MIPRO)
(198). DASE: document-assisted symbolic execution for improving automated software testing, 2015, International Conference on Software Engineering (ICSE)
(105). Higher-order symbolic execution via contracts, 2012, ACM International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)
(296). KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution, 2017, Journal: IEEE Software
(26). Scheduling and binding bounds for RT-level symbolic execution, 1997, IEEE International Conference on Computer Aided Design (ICCAD)
(175). Directed symbolic execution for binary vulnerability mining, 2014, IEEE Workshop on Electronics, Computer and Applications (IWECA)
(23). Array representation in symbolic execution, 1993, Journal: Computer Languages
(496). SymbA: Symbolic Execution at C-level for Hardware Trojan Activation, 2021, IEEE International Test Conference (ITC)
(309). pbSE: Phase-Based Symbolic Execution, 2017, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
(157). User-defined backtracking criteria for symbolic execution, 2014, ACM SIGSOFT Software Engineering Notes (SEN)
(220). Enhancing symbolic execution method with a taint layer, 2015, International Conference on Advanced Computational Intelligence (ICACI)
(313). Leveraging abstract interpretation for efficient dynamic symbolic execution, 2017, International Conference on Automated Software Engineering (ASE)
(264). Precise Cache Timing Analysis via Symbolic Execution, 2016, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
(495). Address-Aware Query Caching for Symbolic Execution, 2021, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(433). SpecuSym: speculative symbolic execution for cache timing leak detection, 2020, International Conference on Software Engineering (ICSE)
(332). Veritesting Challenges in Symbolic Execution of Java, 2018, ACM SIGSOFT Software Engineering Notes (SEN)
(518). BofAEG: Automated Stack Buffer Overflow Vulnerability Detection and Exploit Generation Based on Symbolic Execution and Dynamic Analysis, 2022, Journal: Security and communication
(21). An isolation approach to symbolic execution-based verification of Ada tasking programs, 1991, Journal of Systems and Software
(491). The Impact of Compiler Optimizations on Symbolic Execution, 2021, IEEE International Conference on Computer Science, Artificial Intelligence and Electronic Engineering (CSAIEE)
(223). Incremental symbolic execution of evolving state machines, 2015, International Conference on Model Driven Engineering Languages and Systems (MODELS)
(103). Symbolic execution for software testing in practice: preliminary assessment, 2011, International Conference on Software Engineering (ICSE)
(301). Path Exploration Based on Monte Carlo Tree Search for Symbolic Execution, 2017, Conference on Technologies and Applications of Artificial Intelligence (TAAI)
(282). Symbolic execution of programmable logic controller code, 2017, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(159). Prototyping symbolic execution engines for interpreted languages, 2014, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
(452). Summary-Guided Incremental Symbolic Execution, 2020, International Conference on Software Engineering (ICSE)
(94). Parallel symbolic execution for automated real-world software testing, 2011, European Conference on Computer Systems (EuroSys)
(538). Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution, 2022, International SoC Design Conference (ISOCC)
(321). Dependence Guided Symbolic Execution, 2017, Journal: IEEE Transactions on Software Engineering
(431). SymJEx: symbolic execution on the GraalVM, 2020, International Conference on Managed Programming Languages and Runtimes (MPLR)
(256). Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT, 2016, IEEE Computer Security Foundations Symposium (CSF)
(322). Symbolic execution and probabilistic reasoning, 2017, Symposium on Logic in Computer Science (LICS)
(475). Pending constraints in symbolic execution for better exploration and seeding, 2021, International Conference on Automated Software Engineering (ASE)
(11). An interleaving symbolic execution approach for the formal verification of Ada programs with tasking, 1988, International IEEE Conference on Ada Applications and Environments
(92). Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution, 2011, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools (PASTE)
(523). 3D Visualization of Symbolic Execution Traces, 2022, Forum on Specification & Design Languages (FDL)
(340). Complementing machine learning classifiers via dynamic symbolic execution: "human vs, 2018, International Workshop on Realising Artificial Intelligence Synergies in software Engineering (RAISE)
(163). Enhancing symbolic execution with veritesting, 2014, International Conference on Software Engineering (ICSE)
(421). Compiling symbolic execution with staging and algebraic effects, 2020, ACM on Programming Languages (PACMPL)
(122). A Directed Fuzzing Based on the Dynamic Symbolic Execution and Extended Program Behavior Model, 2012, International Conference on Instrumentation, Measurement, Computer, Communication and Control (IMCCC)
(440). Exploiting Symbolic Execution to Accelerate Deterministic Databases, 2020, IEEE International Conference on Distributed Computing Systems (ICDCS)
(66). Validating the Z specification of Telephone Book System with symbolic execution, 2009, International Conference on Electrical Engineering and Informatics (ICELTICs)
(173). Method sequence generation for multiple object states using dynamic symbolic execution, 2014, IEEE International Conference on Systems, Man, and Cybernetics (SMC)
(524). An Improved Vulnerability Detection System of Smart Contracts Based on Symbolic Execution, 2022, IEEE International Conference on Big Data (Big Data)
(405). On Preventing Symbolic Execution Attacks by Low Cost Obfuscation, 2019, IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
(424). Running symbolic execution forever, 2020, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(438). Symbolic execution with SYMCC: don't interpret, compile!, 2020, USENIX Conference on Security Symposium (SEC)
(429). Analyzing system software components using API model guided symbolic execution, 2020, International Conference on Automated Software Engineering (ASE)
(89). Extracting and verifying cryptographic models from C protocol code by symbolic execution, 2011, ACM Conference on Computer and Communications Security (CCS)
(378). Sound regular expression semantics for dynamic symbolic execution of JavaScript, 2019, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
(394). Quantifying the Information Leakage in Cache Attacks via Symbolic Execution, 2019, Journal: ACM Transactions on Embedded Computing Systems (TECS)
(489). Data Flow Testing for PLC Programs via Dynamic Symbolic Execution, 2021, Asia-Pacific Software Engineering Conference (APSEC)
(471). Symbolic execution of NoSQL applications using versioned schemas, 2021, ACM Symposium on Applied Computing (SAC)
(510). Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution, 2022, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(522). EISec: Exhaustive Information Flow Security of Hardware Intellectual Property Utilizing Symbolic Execution, 2022, Asian Hardware Oriented Security and Trust Symposium (AsianHOST)
(68). Symbolic Execution Techniques Extended to Systems, 2009, International Conference on Software Engineering Advances
(35). Path-oriented test data generation using symbolic execution and constraint solving techniques, 2004, IEEE International Conference on Software Engineering and Formal Methods (SEFM)
(298). Probabilistic programming for Java using symbolic execution and model counting, 2017, South African Institute for Computer Scientists and Information Technologists Conference (SAICSIT)
(479). KLEE symbolic execution engine in 2019, 2021, International Journal on Software Tools for Technology Transfer
(204). Parallelizing user-defined aggregations using symbolic execution, 2015, Symposium on Operating Systems Principles (SOSP)
(333). Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach, 2018, ACM Symposium on Applied Computing (SAC)
(509). Verified symbolic execution with Kripke specification monads (and no meta-programming), 2022, ACM on Programming Languages (PACMPL)
(188). Symbolic Execution of Obfuscated Code, 2015, ACM SIGSAC Conference on Computer and Communications Security (CCS)
(514). ASE: a value set decision procedure for symbolic execution, 2022, International Conference on Automated Software Engineering (ASE)
(57). Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution, 2008, International Conference on Automated Software Engineering (ASE)
(108). Testing android apps through symbolic execution, 2012, ACM SIGSOFT Software Engineering Notes (SEN)
(311). Automatic testing of symbolic execution engines via program generation and differential testing, 2017, International Conference on Automated Software Engineering (ASE)
(153). Symbolic execution of multithreaded programs from arbitrary program contexts, 2014, ACM International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)
(280). Protocol Testing with Symbolic Execution and Rule Based Specification Using Multicore Approach, 2016, Journal: Procedia Technology
(385). Parallel property checking with staged symbolic execution, 2019, ACM Symposium on Applied Computing (SAC)
(166). Tutorial I: Efficient symbolic execution for software testing, 2014, Conference on Formal Methods and Models for Codesign (MEMOCODE)
(356). PARTI: A Multi-interval Theory Solver for Symbolic Execution, 2018, International Conference on Automated Software Engineering (ASE)
(349). Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric, 2018, IEEE International Conference on Software Maintenance and Evolution (ICSME)
(484). Machine learning steered symbolic execution framework for complex software code, 2021, Journal: Formal Aspects of Computing
(44). Automatic flow analysis using symbolic execution and path enumeration, 2006, International Conference on Parallel Processing Workshops (ICPPW)
(81). When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving, 2010, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(492). Selective Symbolization Based Efficient Symbolic Execution, 2021, IEEE International Conference on Software Quality, Reliability and Security (QRS)
(411). Symbolic Execution for Attribution and Attack Synthesis in Neural Networks, 2019, International Conference on Software Engineering (ICSE)
(308). StatSym: Vulnerable Path Discovery through Statistics-Guided Symbolic Execution, 2017, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
(229). Automatic test pattern generation for virtual hardware model using constrained symbolic execution, 2015, International Design & Test Symposium (IDT)
(443). Using Symbolic Execution to Analyze Linux KBuild Makefiles, 2020, IEEE International Conference on Software Maintenance and Evolution (ICSME)
(288). Dynamic symbolic execution for polymorphism, 2017, International Conference on Compiler Construction (CC)
(305). SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations, 2017, IEEE Symposium on Security and Privacy (SP)
(161). Exact and approximate probabilistic symbolic execution for nondeterministic programs, 2014, International Conference on Automated Software Engineering (ASE)
(512). Verifying SystemC TLM peripherals using modern C++ symbolic execution tools, 2022, Design Automation Conference (DAC)
(219). SMT-constrained symbolic execution engine for integer overflow detection in C code, 2015, Information Security for South Africa (ISSA)
(457). Symbolic Execution for Network Functions with Time-Driven Logic, 2020, International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
(416). Employing Dynamic Symbolic Execution for Equivalent Mutant Detection, 2019, Journal: IEEE Access
(327). Symbolic execution with existential second-order constraints, 2018, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(126). All-values symbolic execution, 2012, International Workshop on Automation of Software Test (AST)
(462). SEET: Symbolic Execution of ETL Transformations, 2020, Journal of Systems and Software
(335). Android testing via synthetic symbolic execution, 2018, International Conference on Automated Software Engineering (ASE)
(463). Optimizing symbolic execution for malware behavior classification, 2020, Journal: Computers & Security
(50). Differential symbolic execution, 2008, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(485). Intraprocedural Analysis Based on Symbolic Execution for Bug Detection, 2021, Journal: Programming and Computer Software
(78). Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs, 2010, IEEE Asian Test Symposium
(186). Iterative distribution-aware sampling for probabilistic symbolic execution, 2015, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(236). SymNet: Scalable symbolic execution for modern networks, 2016, ACM SIGCOMM Conference (SIGCOMM)
(380). Learning to Fuzz from Symbolic Execution with Application to Smart Contracts, 2019, ACM SIGSAC Conference on Computer and Communications Security (CCS)
(49). Abstracting Symbolic Execution with String Analysis, 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
(171). CRAXDroid: Automatic Android System Testing by Selective Symbolic Execution, 2014, IEEE International Conference on Software Security and Reliability Companion (QRS-C)
(269). Symbolic execution of stored procedures in database management systems, 2016, International Conference on Automated Software Engineering (ASE)
(245). Generating performance distributions via probabilistic symbolic execution, 2016, International Conference on Software Engineering (ICSE)
(401). Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks, 2019, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(346). Dynamic Path Pruning in Symbolic Execution, 2018, IEEE Conference on Dependable and Secure Computing (DSC)
(342). Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution, 2018, Workshop on the Evolution, Performance and Interoperability of QUIC (EPIQ)
(244). Synthesizing framework models for symbolic execution, 2016, International Conference on Software Engineering (ICSE)
(347). No Panic! Verification of Rust Programs by Symbolic Execution, 2018, IEEE International Conference on Industrial Informatics (INDIN)
(4). Symbolic execution and program testing, 1976, Journal: ACM Communications
(384). Side-Channel Analysis via Symbolic Execution and Model Counting, 2019, ACM SIGSOFT Software Engineering Notes (SEN)
(352). Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution, 2018, IEEE International Test Conference (ITC)
(328). Adversarial symbolic execution for detecting concurrency-related cache timing leaks, 2018, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(271). Testing Network Protocol Binary Software with Selective Symbolic Execution, 2016, International Conference on Computational Intelligence and Security (CIS)
(51). Universal symbolic execution and its application to likely data structure invariant generation, 2008, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(419). Making symbolic execution promising by learning aggressive state-pruning strategy, 2020, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(185). MultiSE: multi-path symbolic execution using value summaries, 2015, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(359). A Privacy Enforcement Framework for Android Systems Using Symbolic Execution-Based Instrumentation, 2018, International Conference on Big Data Computing and Communications (BIGCOM)
(113). Improving symbolic execution for statechart formalisms, 2012, Workshop on Model-Driven Engineering, Verification and Validation (MODEVVA)
(114). Test Case Selection Based on Path Condtions of Symbolic Execution, 2012, Asia-Pacific Software Engineering Conference (APSEC)
(481). SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning, 2021, International Symposium on Research in Attacks, Intrusions and Defenses (RAID)
(60). Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses, 2009, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(272). Multi-packet symbolic execution testing for network protocol binary software, 2016, International Conference on Computer Science and Network Technology (ICCSNT)
(372). Symbolic execution based test-patterns generation algorithm for hardware Trojan detection, 2018, Journal: Computers & Security
(454). BigTest: A Symbolic Execution Based Systematic Test Generation Tool for Apache Spark, 2020, International Conference on Software Engineering (ICSE)
(128). Steering symbolic execution to less traveled paths, 2013, ACM International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)
(482). Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution, 2021, Journal: Automatic Control and Computer Sciences
(358). CPA-SymExec: Efficient Symbolic Execution in CPAchecker, 2018, International Conference on Automated Software Engineering (ASE)
(27). Market-driven symbolic execution of models of manufacturing enterprises, 1998, International Conference on Formal Engineering Methods (ICFEM)
(28). Symbolic execution and NaNs: diagnostic tools for tracking scientific computation, 1999, Journal: ACM SIGSAM Bulletin
(240). Code obfuscation against symbolic execution attacks, 2016, Conference on Computer Security Applications (ACSAC)
(314). Improving the Cooperation of Fuzzing and Symbolic Execution by Test-cases Prioritizing, 2017, International Conference on Computational Intelligence and Security (CIS)
(396). Demo Abstract: Exploring packet dynamics through the combination of symbolic execution and random testing, 2019, IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
(38). Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis, 2005, IEEE Software Engineering Workshop (SEW)
(503). Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution, 2021, Journal: Science of Computer Programming
(364). Combining Symbolic Execution and Model Checking to Verify MPI Programs, 2018, International Conference on Software Engineering (ICSE)
(368). SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing, 2018, International Conference on Software Engineering (ICSE)
(16). Using symbolic execution to aid automatic test data generation, 1990, Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security
(150). Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols, 2013, Journal: Computer Networks
(79). A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution, 2010, IEEE International Conference on Software Engineering and Formal Methods (SEFM)
(414). Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution, 2019, International Symposium on Theoretical Aspects of Software Engineering (TASE)
(432). Efficient generation of error-inducing floating-point inputs via symbolic execution, 2020, International Conference on Software Engineering (ICSE)
(268). Conc-iSE: Incremental symbolic execution of concurrent software, 2016, International Conference on Automated Software Engineering (ASE)
(529). Augmenting Equivalent Mutant Dataset Using Symbolic Execution, 2022, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(295). Binary Analysis based on Symbolic Execution and Reversible x86 Instructions, 2017, Journal: Fundamental Informaticae
(77). Applying SMT in symbolic execution of microcode, 2010, Conference on Formal Methods in Computer-Aided Design (FMCAD)
(91). Directed incremental symbolic execution, 2011, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
(242). Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries, 2016, International Conference on Computer Science and Software Engineering (CSSE)
(284). FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution, 2017, ACM SIGSAC Conference on Computer and Communications Security (CCS)
(109). Staged symbolic execution, 2012, ACM Symposium on Applied Computing (SAC)
(410). Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard, 2019, International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)
(238). Symbolic execution for memory consumption analysis, 2016, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
(177). SymWalker: Symbolic Execution in Routines of Binary Code, 2014, International Conference on Computational Intelligence and Security (CIS)
(418). Past-sensitive pointer analysis for symbolic execution, 2020, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(257). Detecting bank conflict of GPU programs using symbolic execution, 2016, IEEE Global Conference on Consumer Electronics (GCCE)
(397). Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach, 2019, IEEE International Conference on Industrial Informatics (INDIN)
(247). Generating source inputs for metamorphic testing using dynamic symbolic execution, 2016, International Workshop on Metamorphic Testing (MET)
(387). Detecting C++ Lifetime Errors with Symbolic Execution, 2019, Balkan Conference on Informatics (BCI)
(73). On test repair using symbolic execution, 2010, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(42). Automatically generating malicious disks using symbolic execution, 2006, IEEE Symposium on Security and Privacy (SP)
(260). BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis, 2016, IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
(218). Parallel SMT Solving and Concurrent Symbolic Execution, 2015, IEEE Trustcom/BigDataSE/ISPA
(535). Detecting fault injection vulnerabilities in binaries with symbolic execution, 2022, International Conference on Electronics, Computers and Artificial Intelligence (ECAI)
(528). Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification, 2022, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(183). Symbolic execution of programs with heap inputs, 2015, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(408). Smart Contract Defect Detection Based on Parallel Symbolic Execution, 2019, International Conference on Circuits, System and Simulation (ICCSS)
(315). Symbolic Execution for Realizability-Checking of Scenario-Based Specifications, 2017, International Conference on Model Driven Engineering Languages and Systems (MODELS)
(300). Dynamic symbolic execution of Java programs using JNI, 2017, Computer Science and Information Technologies (CSIT)
(120). Augmented dynamic symbolic execution, 2012, International Conference on Automated Software Engineering (ASE)
(533). Argon: A Toolbase for Evaluating Software Protection Techniques Against Symbolic Execution Attacks, 2022, IEEE SoutheastCon
(117). Symbolic Execution with Interval Solving and Meta-heuristic Search, 2012, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(427). Mousse: a system for selective symbolic execution of programs with untamed environments, 2020, European Conference on Computer Systems (EuroSys)
(36). Symbolic execution of program paths involving pointer structure variables, 2004, International Conference on Quality Software (ICQS)
(262). Symbooglix: A Symbolic Execution Engine for Boogie Programs, 2016, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(195). Compositional symbolic execution with memoized replay, 2015, International Conference on Software Engineering (ICSE)
(95). Database state generation via dynamic symbolic execution for coverage criteria, 2011, International Workshop on Testing Database Systems (DBTest)
(326). Integration of Symbolic Execution into a Formal Abstract State Machines based Language, 2017, Journal: IFAC-PapersOnLine
(129). Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization, 2013, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(237). Symbolic execution of high-level transformations, 2016, ACM SIGPLAN International Conference on Software Language Engineering (SLE)
(536). GARUDA: Heap aware symbolic execution, 2022, International Conference on Software Engineering (ICSE)
(382). Symbolic execution-based approach to extracting a micro state transition table, 2019, ACM SIGSOFT International Workshop on Testing, Analysis and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT)
(63). A novel symbolic execution framework for multi-procedure program analysis, 2009, IEEE International Conference on Broadband Network & Multimedia Technology (IC-BNMT)
(404). SymNav: Visually Assisting Symbolic Execution, 2019, IEEE Symposium on Visualization for Cyber Security (VizSec)
(233). BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support, 2015, Journal: IEEE Transactions on Software Engineering
(46). Unit tests reloaded: parameterized unit testing with symbolic execution, 2006, Journal: IEEE Software
(466). Learning to Explore Paths for Symbolic Execution, 2021, ACM SIGSAC Conference on Computer and Communications Security (CCS)
(515). Program Vulnerability Mining System based on Symbolic Execution, 2022, International Conference on Intelligent Information Technology (ICIIT)
(367). Chopped Symbolic Execution, 2018, International Conference on Software Engineering (ICSE)
(1). Structured implementation of symbolic execution: A first part in a program verifier, 1975, Journal: Information Processing Letters
(193). Quantification of software changes through probabilistic symbolic execution, 2015, International Conference on Automated Software Engineering (ASE)
(287). Staged Symbolic Execution for Parallel Property Checking, 2017, ACM SIGSOFT Software Engineering Notes (SEN)
(252). Compositional Symbolic Execution: Incremental Solving Revisited, 2016, Asia-Pacific Software Engineering Conference (APSEC)
(470). Boosting symbolic execution via constraint solving time prediction (experience paper), 2021, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(255). Efficient data-race detection with dynamic symbolic execution, 2016, Federated Conference on Computer Science and Information Systems (FedCSIS)
(48). A Case for GUI Testing Using Symbolic Execution Poster Abstract, 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
(17). Symbolic execution and testing, 1990, IEE Colloquium on Software Testing for Critical Systems
(383). Complete Shadow Symbolic Execution with Java PathFinder, 2019, ACM SIGSOFT Software Engineering Notes (SEN)
(71). Automated Analysis of Reo Circuits using Symbolic Execution, 2009, Electronic Notes in Theoretical Computer Science
(294). A generic framework for symbolic execution, 2017, Journal of Symbolic Computation
(206). Using Metamorphic Testing to Improve Dynamic Symbolic Execution, 2015, Australasian Software Engineering Conference (ASWEC)
(371). Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution, 2018, Journal of Logical and Algebraic Methods in Programming
(306). Path reduction of multiple test points in dynamic symbolic execution, 2017, IEEE/ACIS International Conference on Computer and Information Science (ICIS)
(267). MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution, 2016, International Conference on Automated Software Engineering (ASE)
(84). A Symbolic Execution Framework for JavaScript, 2010, IEEE Symposium on Security and Privacy (SP)
(189). Enhancing reuse of constraint solutions to improve symbolic execution, 2015, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(107). Efficient state merging in symbolic execution, 2012, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
(62). Efficient symbolic execution of strings for validating web applications, 2009, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(312). Rethinking pointer reasoning in symbolic execution, 2017, International Conference on Automated Software Engineering (ASE)
(278). Analyzing network protocol binary software with joint symbolic execution, 2016, International Conference on Systems and Informatics (ICSAI)
(165). Synchronization Error Detection of MPI Programs by Symbolic Execution, 2014, Asia-Pacific Software Engineering Conference (APSEC)
(337). An Improved Offline Symbolic Execution Approach, 2018, International Conference on Computer Science and Artificial Intelligence (CSAI)
(303). Strategy-guided test-case order in dynamic symbolic execution, 2017, IEEE International Conference on Anti-counterfeiting, Security, and Identification (ASID)
(265). Detecting integer overflow in Windows binary executables based on symbolic execution, 2016, IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
(493). WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection, 2021, IEEE International Conference on Software Quality, Reliability and Security (QRS)
(285). Accelerating array constraints in symbolic execution, 2017, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(216). Studying the influence of standard compiler optimizations on symbolic execution, 2015, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(61). Loop-extended symbolic execution on binary programs, 2009, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(263). OpenStack networking for humans: Symbolic execution to the rescue, 2016, IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN)
(201). Symbolic execution based on language transformation, 2015, Journal: Computer Languages, Systems & Structures
(304). Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution, 2017, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(307). Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree, 2017, IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
(386). Dynamic symbolic execution for the analysis of web server applications in Java, 2019, ACM Symposium on Applied Computing (SAC)
(422). Exposing cache timing side-channel leaks through out-of-order symbolic execution, 2020, ACM on Programming Languages (PACMPL)
(156). Extending a search-based test generator with adaptive dynamic symbolic execution, 2014, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(318). Patch-Related Vulnerability Detection Based on Symbolic Execution, 2017, Journal: IEEE Access
(250). Generating high coverage tests for SystemC designs using symbolic execution, 2016, Asia and South Pacific Design Automation Conference (ASP-DAC)
(74). Parallel symbolic execution for structural test generation, 2010, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(458). Sydr: Cutting Edge Dynamic Symbolic Execution, 2020, Ivannikov Ispras Open Conference (ISPRAS)
(39). Colored Petri nets state-space reduction via symbolic execution, 2005, International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
(292). A synergistic approach for distributed symbolic execution using test ranges, 2017, International Conference on Software Engineering Companion (ICSE-C)
(504). Function exclusion in automated security patch testing using chopped symbolic execution, 2021, NAFOSTED Conference on Information and Computer Science (NICS)
(362). An Automatic Exploit Generation Method Based on Symbolic Execution, 2018, International Conference on Instrumentation, Measurement, Computer, Communication and Control (IMCCC)
(208). Distributed CFG-based symbolic execution for assembly programs, 2015, IEEE Global Conference on Consumer Electronics (GCCE)
(477). Metrinome: path complexity predicts symbolic execution path explosion, 2021, International Conference on Software Engineering (ICSE)
(191). Distributed Assertion Checking Using Symbolic Execution, 2015, ACM SIGSOFT Software Engineering Notes (SEN)
(366). Poster: MC/DC Coverage-Oriented Compiler Optimization for Symbolic Execution, 2018, International Conference on Software Engineering (ICSE)
(338). Chopped symbolic execution, 2018, International Conference on Software Engineering (ICSE)
(521). Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization, 2022, Asia-Pacific Software Engineering Conference (APSEC)
(474). Multiplex symbolic execution: exploring multiple paths by solving once, 2021, International Conference on Automated Software Engineering (ASE)
(317). Anxiety: A Dynamic Symbolic Execution Framework, 2017, Ivannikov ISPRAS Open Conference (ISPRAS)
(243). SymFinder: Privacy Leakage Detection using Symbolic Execution on Android Devices, 2016, International Conference on Information and Network Security (ICINS)
(147). Memoise: A tool for memoized symbolic execution, 2013, International Conference on Software Engineering (ICSE)
(174). Distributed symbolic execution for binary software testing, 2014, IEEE Workshop on Electronics, Computer and Applications (IWECA)
(41). Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution, 2006, Journal: IEEE Software
(18). Using symbolic execution for verification of Ada tasking programs, 1990, Journal: ACM Transactions on Programming Languages and Systems
(473). Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms, 2021, Conference on Computer Security Applications (ACSAC)
(248). An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective, 2016, Journal of Systems and Software
(246). Guiding dynamic symbolic execution toward unverified program executions, 2016, International Conference on Software Engineering (ICSE)
(425). Relocatable addressing model for symbolic execution, 2020, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(345). Automata Learning for Symbolic Execution, 2018, Conference on Formal Methods in Computer-Aided Design (FMCAD)
(507). SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution, 2022, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(403). CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation, 2019, IEEE Symposium on Security and Privacy (SP)
(179). Improving guide-based vulnerability detection with hybrid symbolic execution, 2014, International Conference on Systems and Informatics (ICSAI)
(402). Segmental Symbolic Execution Based on Clustering, 2019, IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI)
(541). ReMuSSE: A Redundant Mutant Identification Technique Based on Selective Symbolic Execution, 2022, Journal: IEEE Transactions on Reliability
(428). Fine-grain memory object representation in symbolic execution, 2020, International Conference on Automated Software Engineering (ASE)
(310). Floating-point symbolic execution: A case study in N-version programming, 2017, International Conference on Automated Software Engineering (ASE)
(167). Efficient symbolic execution for software testing, 2014, Conference on Formal Methods in Computer-Aided Design (FMCAD)
(222). Constrained-based symbolic execution on virtual models for functional coverage verification, 2015, International Conference on Computer Engineering & Systems (ICCES)
(365). Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages, 2018, International Conference on Software Engineering (ICSE)
(537). SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters, 2022, International Conference on Software Engineering (ICSE)
(211). Evaluating Symbolic Execution-Based Test Tools, 2015, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(423). Gillian, part i: a multi-language platform for symbolic execution, 2020, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
(276). Guiding Dynamic Symbolic Execution toward Unverified Program Executions, 2016, International Conference on Software Engineering (ICSE)
(531). Learning to Prune Infeasible Paths in Generalized Symbolic Execution, 2022, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(393). Relational Symbolic Execution, 2019, International Symposium on Principles and Practice of Declarative Programming (PPDP)
(121). The Method for Parallel Approach to Sensitive Point Based on Dynamic Symbolic Execution, 2012, International Conference on Computational Intelligence and Security (CIS)
(232). STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution, 2015, Journal: IEEE Transactions on Software Engineering
(217). Efficient observability-based test generation by dynamic symbolic execution, 2015, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(197). Combining symbolic execution and model checking for data flow testing, 2015, International Conference on Software Engineering (ICSE)
(124). Research on Parallel Symbolic Execution through Program Dependence Analysis, 2012, International Symposium on Computational Intelligence and Design
(132). Explicating symbolic execution (xSymExe): an evidence-based verification framework, 2013, International Conference on Software Engineering (ICSE)
(379). ApproxSymate: path sensitive program approximation using symbolic execution, 2019, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
(214). Directed Symbolic Execution for VLSI Circuits, 2015, IEEE International Conference on Systems, Man, and Cybernetics (SMC)
(392). The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more, 2019, International Journal on Software Tools for Technology Transfer
(187). Using targeted symbolic execution for reducing false-positives in dataflow analysis, 2015, ACM SIGPLAN International Workshop on State of the Art in Program Analysis (SOAP)
(133). Symbolic execution for software testing: three decades later, 2013, Journal: ACM Communications
(162). Evaluation of string constraint solvers in the context of symbolic execution, 2014, International Conference on Automated Software Engineering (ASE)
(116). Incremental Test Case Generation for UML-RT Models Using Symbolic Execution, 2012, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(80). Test generation via Dynamic Symbolic Execution for mutation testing, 2010, IEEE International Conference on Software Maintenance (ICSM)
(123). make test-zesti: A symbolic execution solution for improving regression testing, 2012, International Conference on Software Engineering (ICSE)
(5). Applications of Symbolic Execution to Program Testing, 1978, Journal: IEEE Computer
(20). Software specialization via symbolic execution, 1991, Journal: IEEE Transactions on Software Engineering
(67). Mixing Concrete and Symbolic Execution to Improve the Performance of Dynamic Test Generation, 2009, International Conference on New Technologies, Mobility and Security (NTMS)
(355). Android Testing via Synthetic Symbolic Execution, 2018, International Conference on Automated Software Engineering (ASE)
(31). A unified symbolic execution system, 2001, ACS/IEEE International Conference on Computer Systems and Applications (AICCSA)
(184). Assertion guided symbolic execution of multithreaded programs, 2015, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(225). Regular Property Guided Dynamic Symbolic Execution, 2015, International Conference on Software Engineering (ICSE)
(85). New Approach to Path Explosion Problem of Symbolic Execution, 2010, International Conference on Pervasive Computing, Signal Processing and Applications (PCSPA)
(325). A generic framework for symbolic execution: A coinductive approach, 2017, Journal of Symbolic Computation
(254). Dynamic partitioning strategy to enhance symbolic execution, 2016, Design, Automation & Test in Europe Conference & Exhibition (DATE)
(445). MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests, 2020, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(53). Combining symbolic execution with model checking to verify parallel numerical programs, 2008, ACM Transactions on Software Engineering and Methodology (TOSEM)
(180). Scalable Test Generation by Interleaving Concrete and Symbolic Execution, 2014, International Conference on VLSI Design and International Conference on Embedded Systems
(115). Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software, 2012, Asia-Pacific Software Engineering Conference (APSEC)
(131). Memoise: a tool for memoized symbolic execution, 2013, International Conference on Software Engineering (ICSE)
(483). Symbolic execution formally explained, 2021, Journal: Formal Aspects of Computing
(324). Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution, 2017, Journal of Symbolic Computation
(164). Efficient Instrumentation of GPGPU Applications Using Information Flow Analysis and Symbolic Execution, 2014, Workshop on General Purpose Processing Using GPUs (GPGPU)
(407). Fine-Grain Memory Object Representation in Symbolic Execution, 2019, International Conference on Automated Software Engineering (ASE)
(476). A Survey of Hybrid Fuzzing based on Symbolic Execution, 2021, International Conference on Cyberspace Innovation of Advanced Technologies (CIAT)
(453). SPECUSYM: Speculative Symbolic Execution for Cache Timing Leak Detection, 2020, International Conference on Software Engineering (ICSE)
(348). Deriving a State Model of a Control Program by Symbolic Execution, 2018, IEEE International Conference on Industrial Informatics (INDIN)
(330). Badger: complexity analysis with fuzzing and symbolic execution, 2018, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(517). Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary, 2022, International Symposium on Information and Communication Technology (SoICT)
(377). Lazy counterfactual symbolic execution, 2019, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
(467). Synthesize solving strategy for symbolic execution, 2021, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(72). Mixing type checking and symbolic execution, 2010, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
(258). Semantic similarity based evaluation for C programs through the use of symbolic execution, 2016, IEEE Global Engineering Education Conference (EDUCON)
(209). Automated compatibility testing method for software logic by using symbolic execution, 2015, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(205). Compositional Symbolic Execution Using Fine-Grained Summaries, 2015, Australasian Software Engineering Conference (ASWEC)
(97). SEEP: exploiting symbolic execution for energy-aware programming, 2011, Workshop on Power-aware Computing and Systems (HotPower)
(142). Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution, 2013, International Conference on Availability, Reliability and Security (ARES)
(10). Combining Static Concurrency Analysis with Symbolic Execution, 1988, Journal: IEEE Transactions on Software Engineering
(388). Systematic comparison of symbolic execution systems: intermediate representation and its generation, 2019, Conference on Computer Security Applications (ACSAC)
(374). A segmented memory model for symbolic execution, 2019, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(34). Generating test sequences using symbolic execution for event-driven real-time systems, 2003, Journal: Microprocessors and Microsystems
(469). Type and interval aware array constraint solving for symbolic execution, 2021, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(465). LLSC: a parallel symbolic execution compiler for LLVM IR, 2021, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(395). A synergistic approach to improving symbolic execution using test ranges, 2019, Journal: Innovations in Systems and Software Engineering
(196). Regular property guided dynamic symbolic execution, 2015, International Conference on Software Engineering (ICSE)
(98). Scalable Symbolic Execution of Distributed Systems, 2011, IEEE International Conference on Distributed Computing Systems (ICDCS)
(283). Symbolic types for lenient symbolic execution, 2017, ACM on Programming Languages (PACMPL)
(226). Combining Symbolic Execution and Model Checking for Data Flow Testing, 2015, International Conference on Software Engineering (ICSE)
(539). Strong Optimistic Solving for Dynamic Symbolic Execution, 2022, Ivannikov Memorial Workshop (IVMEM)
(55). Test generation for graphical user interfaces based on symbolic execution, 2008, International Workshop on Automation of Software Test (AST)
(329). A recursive strategy for symbolic execution to find exploits in hardware designs, 2018, ACM SIGPLAN International Workshop on Formal Methods and Security (FMS)
(439). A Program Simplification Method for Generating Test Input Values Using Symbolic Execution, 2020, Asia-Pacific Software Engineering Conference (APSEC)
(442). Reinforcement Learning Guided Symbolic Execution, 2020, IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
(334). Shadow Symbolic Execution for Testing Software Patches, 2018, ACM Transactions on Software Engineering and Methodology (TOSEM)
(141). Characteristic studies of loop problems for structural test generation via symbolic execution, 2013, International Conference on Automated Software Engineering (ASE)
(436). Extending symbolic execution for automated testing of stored procedures, 2020, Journal: Software Quality Journal
(145). Symbolic Execution of Virtual Devices, 2013, International Conference on Quality Software (ICQS)
(37). Formula-based abstractions and symbolic execution for model checking programs, 2004, Journal: Microprocessors and Microsystems
(224). Poster: Symbolic Execution of MPI Programs, 2015, International Conference on Software Engineering (ICSE)
(152). Comparison and integration of genetic algorithms and dynamic symbolic execution for security testing of cross-site scripting vulnerabilities, 2013, Journal: Information and Software Technology (IST)
(478). On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution, 2021, International Conference on World Wide Web (WWW)
(231). Enhancing Conformance Testing Using Symbolic Execution for Network Protocols, 2015, Journal: IEEE Transactions on Reliability
(15). Symbolic execution of concurrent systems using Petri nets, 1989, Journal: Computer Languages
(472). Killing Stubborn Mutants with Symbolic Execution, 2021, ACM Transactions on Software Engineering and Methodology (TOSEM)
(498). Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution, 2021, International Conference on Model Driven Engineering Languages and Systems (MODELS)
(526). Towards Attribute Grammar Mining by Symbolic Execution, 2022, IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
(532). Feedback-Driven Incremental Symbolic Execution, 2022, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(297). Differential Fault Analysis Using Symbolic Execution, 2017, Software Security, Protection and Reverse Engineering / Software Security and Protection Workshop (SSPREW)
(398). Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution, 2019, IEEE International Conference on Software Quality, Reliability and Security (QRS)
(104). Computational verification of C protocol implementations by symbolic execution, 2012, ACM Conference on Computer and Communications Security (CCS)
(412). Zero-Overhead Path Prediction with Progressive Symbolic Execution, 2019, International Conference on Software Engineering (ICSE)
(274). Model-guided symbolic execution testing for network protocol binary software, 2016, International Conference on Progress in Informatics and Computing (PIC)
(230). Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing, 2015, International Workshop on Search-Based Software Testing
(501). Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution, 2021, Ivannikov Memorial Workshop (IVMEM)
(499). Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion, 2021, International Conference on Software Engineering (ICSE)
(502). SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution, 2021, Journal: IEEE Transactions on Reliability
(343). A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application, 2018, Asia-Pacific Software Engineering Conference (APSEC)
(381). Deferred concretization in symbolic execution via fuzzing, 2019, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(273). Dynamic Symbolic Execution Tool for Python Programs, 2016, International Conference on Intelligent Transportation, Big Data & Smart City (ICITBS)
(363). Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution, 2018, International Conference on Microelectronics (ICM)
(182). Targeted program transformations for symbolic execution, 2015, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(486). A symbolic execution semantics for TopHat, 2021, Symposium on Implementation and Application of Functional Languages (IFL)
(319). A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution, 2017, Journal: IEEE Access
(25). Symbolic execution of data paths, 1995, Great Lakes Symposium on VLSI
(88). Path Directed Symbolic Execution in the K Framework, 2010, International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
(441). On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices, 2020, IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
(234). Infeasible path generalization in dynamic symbolic execution, 2015, Journal: Information and Software Technology (IST)
(344). Symbolic Execution with Invariant Inlay: Evaluating the Potential, 2018, Australasian Software Engineering Conference (ASWEC)
(52). Combining unit-level symbolic execution and system-level concrete execution for testing nasa software, 2008, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(169). Symbolic Execution of Network Software Based on Unit Testing, 2014, IEEE International Conference on Networking, Architecture, and Storage (NAS)
(12). Symbolic execution-based verification of Ada tasking programs, 1988, International IEEE Conference on Ada Applications and Environments
(221). Quantification of Software Changes through Probabilistic Symbolic Execution (N), 2015, International Conference on Automated Software Engineering (ASE)
(375). Symbolic execution-driven extraction of the parallel execution plans of Spark applications, 2019, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(137). A Late Treatment of C Precondition in Dynamic Symbolic Execution, 2013, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(212). SEViz: A Tool for Visualizing Symbolic Execution, 2015, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(480). Symbiotic 6: generating test cases by slicing and symbolic execution, 2021, International Journal on Software Tools for Technology Transfer
(170). Automated test generation on path-based symbolic execution, 2014, IEEE International Conference on Software Engineering and Service Science (ICSESS)
(259). Redundant constraints elimination for symbolic execution, 2016, IEEE Information Technology, Networking, Electronic and Automation Control Conference
(227). Compositional Symbolic Execution with Memoized Replay, 2015, International Conference on Software Engineering (ICSE)
(519). Optimal Refinement-based Array Constraint Solving for Symbolic Execution, 2022, Asia-Pacific Software Engineering Conference (APSEC)
(33). Verifying Concurrent Systems with Symbolic Execution, 2002, Journal of Logic and Computation
(112). Test-case generation and bug-finding through symbolic execution, 2012, South African Institute for Computer Scientists and Information Technologists Conference (SAICSIT)
(75). Exploiting program dependencies for scalable multiple-path symbolic execution, 2010, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(520). Symbolic Execution of Floating-point Programs: How far are we?, 2022, Asia-Pacific Software Engineering Conference (APSEC)
(65). Fitness-guided path exploration in dynamic symbolic execution, 2009, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
(56). SAFELI: SQL injection scanner using symbolic execution, 2008, Workshop on Testing, Analysis and Verification of Web Services (TAV-WEB)
(168). Quantifying the Characteristics of Java Programs That May Influence Symbolic Execution from a Test Data Generation Perspective, 2014, IEEE Annual Computer Software and Applications Conference (COMPSAC)
(530). Automating Differential Testing with Overapproximate Symbolic Execution, 2022, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(494). Keynote Talk - Fuzzing, Symbolic Execution, and Synthesis for Testing, 2021, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(47). Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs, 2007, IEEE International Conference on Software Engineering and Formal Methods (SEFM)
(444). On Symbolic Execution of Decompiled Programs, 2020, IEEE International Conference on Software Quality, Reliability and Security (QRS)
(119). Closed Symbolic Execution for Verifying Program Termination, 2012, IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
(99). Optimizing Constraint Solving to Better Support Symbolic Execution, 2011, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(447). Efficient Multiplex Symbolic Execution with Adaptive Search Strategy, 2020, International Conference on Automated Software Engineering (ASE)
(200). Using dynamic symbolic execution to generate inputs in search-based GUI testing, 2015, International Workshop on Search-Based Software Testing (SBST)
(316). A Synergistic Approach for Distributed Symbolic Execution Using Test Ranges, 2017, International Conference on Software Engineering (ICSE)
(249). Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free, 2016, Workshop on Software Security, Protection and Reverse Engineering (SSPREW)
(376). JaVerT 2.0: compositional symbolic execution for JavaScript, 2019, ACM on Programming Languages (PACMPL)
(370). Eliminating Path Redundancy via Postconditioned Symbolic Execution, 2018, Journal: IEEE Transactions on Software Engineering
(82). Automatic Mutation Test Case Generation via Dynamic Symbolic Execution, 2010, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(449). Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once, 2020, International Conference on Automated Software Engineering (ASE)
(127). Symbolic execution of Reo circuits using constraint automata, 2012, Journal: Science of Computer Programming
(286). Combining symbolic execution and search-based testing for programs with complex heap inputs, 2017, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(202). Symbolic execution as a basis for termination analysis, 2015, Journal: Science of Computer Programming
(446). Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level, 2020, IEEE Symposium on Security and Privacy (SP)
(451). Symbolic execution based feature extraction for detection of malware, 2020, International Conference on Computing, Communication and Security (ICCCS)
(135). An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation, 2013, Asia-Pacific Software Engineering Conference (APSEC)
(138). Improving search-based test suite generation with dynamic symbolic execution, 2013, IEEE International Symposium on Software Reliability Engineering (ISSRE)
(70). Ewap: Using Symbolic Execution to Exploit Windows Applications, 2009, WRI World Congress on Computer Science and Information Engineering
(415). SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study, 2019, Ivannikov Ispras Open Conference (ISPRAS)
(241). Conc-iSE: incremental symbolic execution of concurrent software, 2016, International Conference on Automated Software Engineering (ASE)
(320). KLOVER: Automatic Test Generation for C and C++ Programs, Using Symbolic Execution, 2017, Journal: IEEE Software
(448). Synthesizing Smart Solving Strategy for Symbolic Execution, 2020, International Conference on Automated Software Engineering (ASE)
(261). A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution, 2016, IEEE International Conference on Software Quality, Reliability and Security (QRS)
(289). Quantifying the information leak in cache attacks via symbolic execution, 2017, International Conference on Formal Methods and Models for System Design (MEMOCODE)
(172). Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria, 2014, IEEE International Conference on Software Testing, Verification and Validation (ICST)
(468). Grammar-agnostic symbolic execution by token symbolization, 2021, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(199). EvoSE: evolutionary symbolic execution, 2015, International Workshop on Automated Test Case Design, Selection and Evaluation (A-TEST)
(302). Improving the efficiency of program analysis with symbolic execution, 2017, IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus)
(100). Heap cloning: Enabling dynamic symbolic execution of java programs, 2011, International Conference on Automated Software Engineering (ASE)
(434). A Survey of Symbolic Execution and Its Tool KLEE, 2020, Journal: Procedia Computer Science
(437). Automated reasoning and detection of specious configuration in large systems with symbolic execution, 2020, USENIX Conference on Operating Systems Design and Implementation (OSDI)
(192). Symbolic Execution for Checking the Accuracy of Floating-Point Programs, 2015, ACM SIGSOFT Software Engineering Notes (SEN)
(140). SECloud: Binary Analyzing Using Symbolic Execution in the Cloud, 2013, International Conference on Advanced Cloud and Big Data (CBD)
(176). Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution, 2014, International Conference on Application of Concurrency to System Design (ACSD)
(430). Manticore: a user-friendly symbolic execution framework for binaries and smart contracts, 2020, International Conference on Automated Software Engineering (ASE)
(253). Verifying information flow properties of firmware using symbolic execution, 2016, Design, Automation & Test in Europe Conference & Exhibition (DATE)
(239). Specification of concretization and symbolization policies in symbolic execution, 2016, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(293). SMARTGEN: Exposing Server URLs of Mobile Apps With Selective Symbolic Execution, 2017, International Conference on World Wide Web (WWW)
(275). Generating Performance Distributions via Probabilistic Symbolic Execution, 2016, International Conference on Software Engineering (ICSE)
(460). Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs, 2020, Journal: IEEE Transactions on Dependable and Secure Computing
(29). Specification and validation of information processing systems by process encapsulation and symbolic execution, 2000, IEEE Computer Society Workshop on VLSI
(500). Vulnerability Detection Algorithm of Lightweight Linux Internet of Things Application with Symbolic Execution Method, 2021, International Symposium on Computer Technology and Information Science (ISCTIS)
(506). FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers, 2022, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
(59). Deriving State Machines from TinyOS Programs Using Symbolic Execution, 2008, International Conference on Information Processing in Sensor Networks (ISPN)
(190). Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE, 2015, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(45). Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution, 2006, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
(151). State of the art: Dynamic symbolic execution for automated test generation, 2013, Journal: Future Generation Computer Systems

(1001). Hristina Palikareva and Cristian Cadar. Multi-solver Support in Symbolic Execution. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013), pages 53–68. Springer Berlin Heidelberg, 2013.
(1002). Guowei Yang, Corina S. Păsăreanu, and Sarfraz Khurshid. Memoized Symbolic Execution. In Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA’12), pages 144–154. ACM, 2012.
(1003). C. Cadar, D. Dunbar, and D. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI’08, pages 209–224, Berkeley, CA, USA, 2008. USENIX Association.
(1004). H. Palikareva, T. Kuchta, and C. Cadar. Shadow of a doubt: Testing for divergences between software versions. In Proceedings of the 38th International Conference on Software Engineering, ICSE ’16, pages 1181–1192, New York, NY, USA, 2016. ACM.
(1005). Hang L I, Lie Z, Lu G. Search of Speculative Symbolic Execution Path Based on Ant Colony Algorithm. Computer Science, 2018.
(1006). Kannavara R, Havlicek C J, Bo C, et al. Challenges and opportunities with concolic testing, Aerospace & Electronics Conference. 2016.
(1007). K. Luckow, M. Dimjaevi, D. Giannakopoulou, F. Howar, M. Isberner, T. Kahsai, Z. Rakamaric, and V. Raman, "JDart: A dynamic symbolic analysis framework", in Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Germany: Springer, 2016, pp. 442–459, doi: 10.1007/978-3-662-49674-9_26.
(1008). C. S Păsăreanu, W. Visser, D. Bushnell, J. Geldenhuys, P. Mehlitz, and N. Rungta, "Symbolic pathfinder: Integrating symbolic execution with model checking for java bytecode analysis", Automated Softw. Eng., vol. 20, no. 3, pp. 391–425, Sep. 2013.
(1010). N. Stephens, J. Grosen, C. Salls, A. Dutcher, R. Wang, J. Corbetta, Y. Shoshitaishvili, C. Kruegel, and G. Vigna, "Driller: Augmenting fuzzing through selective symbolic execution", in Proc. Netw. Distrib. Syst. Secur. Symp., San Diego, CA, USA, 2016, pp. 1–16.
(1011). Z. Xie, "Detecting software defects based on fuzz testing and symbolic execution", M.S. thesis, Comput. School, Beijing Inf. Sci. Technol. Univ., Beijing, China, 2020.
(1012). S. Y. Chau, O. Chowdhury, E. Hoque, H. Ge, A. Kate, C. NitaRotaru, and N. Li, “SymCerts: Practical symbolic execution for exposing noncompliance in x.509 certificate validation implementations,” in 2017 IEEE Symposium on Security and Privacy, ser. S&P ’17, 2017, pp. 503–520
(1013). G. Hernandez, F. Fowze, D. J. Tian, T. Yavuz, and K. R. Butler, “FirmUSB: Vetting usb device firmware using domain informed symbolic execution,” in Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ser. CCS ’17, 2017, pp. 2245–2262.
(1014). C. Zhang, W. Yin, and Z. Lin, “Boost symbolic execution using dynamic state merging and forking,” in International Workshop on Quantitative Approaches to Software Quality, 2018, pp. 14–21.
(1015). S. Khurshid, C. S. Pasareanu, and W. Visser, "Generalized Symbolic Execution for Model Checking and Testing," in Proc. 9th Int. Con! Tools and Algorithms for the Construction and Analysis of Syst. (TACAS), 2003.
(1016). Timotej Kapus, Martin Nowack and Cristian Cadar. 2019. Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? In Tests and Proofs, Dirk Beyer and Chantal Keller (Eds.). Springer International Publishing, Cham, 41–54.
(1017). Corina S Păsăreanu and Neha Rungta. 2010. Symbolic PathFinder: symbolic execution of Java bytecode. In Proceedings of the IEEE/ACM international conference on Automated software engineering (ASE ’10). 179–180.
(1018). Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury and Prateek Saxena. 2019. Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.. In Proceedings of the Symposium on Network and Dis- tributed System Security (NDSS ’19).
(1019). Jiri Slaby, Jan Strejček, and Marek Trtík. 2013. Symbiotic: synergy of instrumentation, slicing, and symbolic execution. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’13). 630–632.
(1020). D. Davidson, B. Moench, T. Ristenpart, and S. Jha, “FIE on firmware: Finding vulnerabilities in embedded systems using symbolic execution,” in Proc. 22nd USENIX Conf. Security, 2013, pp. 463–478.
(1021). D. A. Ramos and D. Engler, “Under-constrained symbolic execution: Correctness checking for real code,” in Proc. 24th USENIX Conf. Security Symp., 2015, pp. 49–64.
(1022). S. Rasthofer, S. Arzt, S. Triller, and M. Pradel, “Making malory behave maliciously: Targeted fuzzing of android execution envi- ronments,” in Proc. IEEE/ACM 39th Int. Conf. Softw. Eng., 2017, pp. 300–311.
(1023). P. Godefroid. Test Generation Using Symbolic Execution. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, volume 18 of Leibniz International Proceedings in Informatics, pages 24–33, 2012.
(1024). C. S. Pasareanu and W. Visser. A survey of new trends in symbolic execution for software testing and analysis. International Journal of Software Tools and Technology Transfer, 11(4):339–353, 2009.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

primary-list-of-studies.md

primary-list-of-studies.md

Files

primary-list-of-studies.md

Latest commit

History

primary-list-of-studies.md

File metadata and controls