Cargando…

Sound and Complete Concolic Testing for Higher-order Functions

Higher-order functions have become a staple of modern programming languages. However, such values stymie concolic testers, as the SMT solvers at their hearts are inherently first-order. This paper lays a formal foundations for concolic testing higher-order functional programs. Three ideas enable our...

Descripción completa

Detalles Bibliográficos
Autores principales:	You, Shu-Hung, Findler, Robert Bruce, Dimoulas, Christos
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	2021
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984566/ http://dx.doi.org/10.1007/978-3-030-72019-3_23

Ejemplares similares

Legion: Best-First Concolic Testing (Competition Contribution)
por: Liu, Dongge, et al.
Publicado: (2020)

Improving Symbolic Automata Learning with Concolic Execution
por: Clun, Donato, et al.
Publicado: (2020)

COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
por: Visser, Willem, et al.
Publicado: (2020)

Creating synthetic spaces for higher-order topological sound transport
por: Chen, Hui, et al.
Publicado: (2021)

Distinct higher-order representations of natural sounds in human and ferret auditory cortex
por: Landemard, Agnès, et al.
Publicado: (2021)

An Efficient Framework for Estimating the Direction of Multiple Sound Sources Using Higher-Order Generalized Singular Value Decomposition
por: Suksiri, Bandhit, et al.
Publicado: (2019)

Continuous wavelet transform and higher-order spectrum: combinatory potentialities in breath sound analysis and electroencephalogram-based pain characterization
por: Hadjileontiadis, Leontios J.
Publicado: (2018)

Higher order dominance in the standard model
por: Hou Wei Shu, et al.
Publicado: (1990)

Mechanosynthesis of Higher‐Order Cocrystals: Tuning Order, Functionality and Size in Cocrystal Design
por: Ng, Zi Xuan, et al.
Publicado: (2021)

Testing for higher-order correlations in massively parallel spike trains
por: Staude, Benjamin, et al.
Publicado: (2007)

Experimental tests of higher order quantum electrodynamics at small distances
por: Adeva, B, et al.
Publicado: (1982)

Functionalization and higher-order organization of liposomes with DNA nanostructures
por: Zhang, Zhao, et al.
Publicado: (2023)

Higher-order computability
por: Longley, John, et al.
Publicado: (2015)

Higher Order Derivatives
por: Mukhopadhyay, Satya
Publicado: (2012)

A generalization of Nash's theorem with higher-order functionals
por: Hedges, Julian
Publicado: (2013)

Peripheral refraction and higher order aberrations
por: Romashchenko, Dmitry, et al.
Publicado: (2019)

Fourier series of higher-order Bernoulli functions and their applications
por: Kim, Taekyun, et al.
Publicado: (2017)

Higher-order error bound for the difference of two functions
por: Huang, Hui, et al.
Publicado: (2018)

Series of sums of products of higher-order Bernoulli functions
por: Kim, Taekyun, et al.
Publicado: (2017)

Higher-Order Topology in Bismuth
por: Schindler, Frank, et al.
Publicado: (2018)

On Higher Order Structures in Thermodynamics
por: Lychagin, Valentin, et al.
Publicado: (2020)

Correlated analytical and functional evaluation of higher order structure perturbations from oxidation of NISTmAb
por: Solomon, Tsega L., et al.
Publicado: (2023)

Higher-order topological insulators
por: Schindler, Frank, et al.
Publicado: (2018)

On the Higher Power Sums of Reciprocal Higher-Order Sequences
por: Wu, Zhengang, et al.
Publicado: (2014)

Higher-Order Clicker Questions Engage Students and Prepare Them for Higher-Order Thinking Activities
por: Anderson, Deborah K., et al.
Publicado: (2023)

Modulation of Higher-Order Olfaction Components on Executive Functions in Humans
por: Fagundo, Ana B., et al.
Publicado: (2015)

A Maximum Entropy Test for Evaluating Higher-Order Correlations in Spike Counts
por: Onken, Arno, et al.
Publicado: (2012)

Higher order cytoskeletal structures
por: Avasthi, Prachee, et al.
Publicado: (2020)

Higher order Fourier analysis
por: Tao, Terence
Publicado: (2012)

Higher-order Modes and Heating
por: Holzer, B.J.
Publicado: (2015)

Higher order corrections in QCD
por: Ellis, Richard Keith
Publicado: (1981)

Hybrid Low-Order and Higher-Order Graph Convolutional Networks
por: Lei, Fangyuan, et al.
Publicado: (2020)

High Order Statistics and Time-Frequency Domain to Classify Heart Sounds for Subjects under Cardiac Stress Test
por: Moukadem, Ali, et al.
Publicado: (2015)

Brain Function Network: Higher Order vs. More Discrimination
por: Guo, Tingting, et al.
Publicado: (2021)

Phase separation in biology; functional organization of a higher order
por: Mitrea, Diana M., et al.
Publicado: (2016)

Magnetic Nanocomposites and Their Incorporation into Higher Order Biosynthetic Functional Architectures
por: Watt, John, et al.
Publicado: (2018)

Fourier series of higher-order Daehee and Changhee functions and their applications
por: Lim, Dongkyu
Publicado: (2017)

Mitochondrial Functioning and Its Relation to Higher-Order Cognitive Processes †
por: Burgoyne, Alexander P., et al.
Publicado: (2020)

Higher Order Chromatic Aberration of Betatron Function of Circular Accelerators
por: Takao, M, et al.
Publicado: (2001)

Leafy automata for higher-order concurrency
por: Dixon, Alex, et al.
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_3d5hkfdddkd5dqh184gf5meoat