StringFuzz: A Fuzzer for String Solvers

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-319-96142-2_6

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2018

Authors

Publisher

Springer International Publishing

Related search

Vulnerability Mining Method for the Modbus TCP Using an Anti-Sample Fuzzer

Instrumentation

Information Systems

Electronic Engineering

Analytical Chemistry

Molecular Physics,

English

Optimal Solvers for PDE-Constrained Optimization

SIAM Journal of Scientific Computing

Computational Mathematics

Applied Mathematics

English

Solvers for the Cardiac Bidomain Equations

Progress in Biophysics and Molecular Biology

Molecular Biology

English

A Decision-Making Procedure for Resolution-Based SAT-Solvers

English

A Parenthesis Machine for String Manipulation

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique

English

Globalization Strategies for Inexact-Newton Solvers

English

A Bit String Model for Microphysics

English

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers

International Journal of Computational Intelligence Systems

Computational Mathematics

Computer Science

English

Efficient Solvers for the Shallow Water Equations on a Sphere

English