Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Symbolic Execution and Quantitative Reasoning

Symbolic Execution and Quantitative Reasoning

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031014239
Condition
New
Product Description

This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic constraints collected from the branching conditions in the program. The obtained solutions can be used as test inputs that execute feasible program paths. Symbolic execution has found many applications in various domains, such as security, smartphone applications, operating systems, databases, and more recently deep neural networks, uncovering subtle errors and unknown vulnerabilities. We review here the technique has also been extended to reason about algorithmic complexity and resource consumption. Furthermore, symbolic execution has been recently extended with probabilistic reasoning, allowing one to reason about quantitative properties of software systems. The approach computes the conditions to reach target program events of interest and uses model counting to quantify the fraction of the input domain satisfying these conditions thus computing the probability of event occurrence. This probabilistic information can be used for example to compute the reliability of an aircraft controller under different wind conditions (modeled probabilistically) or to quantify the leakage of sensitive data in a software system, using information theory metrics such as Shannon entropy. This book is intended for students and software engineers who are interested in advanced techniques for testing and verifying software systems.

Available Colors
Available Sizes
1 Offer Price Range: $19.99 - $19.99
BEST PRICE

Single Product Purchase

$19.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$19.99 $19.99

$19.99
See Site In stock Visit Store

Similar Products

Mega Mergers and Acquisitions

$84.99

Beginning SharePoint Communication Sites

$29.99

Profitrainer zwischen Sportjournalismus und Sportkommunikation

$34.99

Commutative Harmonic Analysis III

$39.99

Searches for CP Violation in Charmed Meson Decays

$109.99

The Modern Vampire and Human Identity

$39.99

Half-metallic Alloys

$84.99

Intelligent Systems

$249.99

Exocrinology

$99.99

Conformally Invariant Metrics and Quasiconformal Mappings

$129.99

Genetic Engineering of Microorganisms for Chemicals

$109.99

The Unity of Science and Economics

$59.99

Kommunikation und Vertrauen in betrieblichen Krisensituationen

$49.99

Introduction to the Science Popularization Industry

$109.00

Computational Science and Its Applications ICCSA 2023

$89.00

Automated Multi-Camera Surveillance

$84.99

Multimedia, Computer Graphics and Broadcasting, Part II

$39.99

Rape in Stieg Larsson's Millennium Trilogy and Beyond

$54.99

Continuum Mechanics and Theory of Materials

$159.99

Advances in Affective and Pleasurable Design

$169.00

Scholastic Reader! Level 1: Hippo and Rabbit in Brave Like Me

$2.99

Intervention and Technological Innovation

$74.99

Conceptual Modeling: Foundations and Applications

$54.99

Quick Guide Trendmanagement

$19.99

Contaminants and the Soil Environment in the Australasia-Pacific Region

$219.99

First Little Comics Levels A & B (Single-Copy Set)

$17.99

Algal Photosynthesis

$54.99

K-Theory for Operator Algebras

$84.99

Politische kologie

$39.99

Mine Wastes and Water, Ecological Engineering and Metals Extraction

$139.99

Economic and Political Change in Asia and Europe

$169.99

Papierchromatographische Trennung hydrophober Substanzen mit Cellulose-Ester-Papieren. Ein neues Ver

$59.99

Soft Computing and its Applications in Business and Economics

$129.00

A Contrario Line Segment Detection

$54.99

Diophantine Equations and Inequalities in Algebraic Number Fields

$39.99

Explaining Technical Change in a Country

$109.99

Contemporary Oligarchies in Developed Democracies

$84.99

The Politics of Financing Education in China

$39.99

The Ballad of Songbirds and Snakes (A Hunger Games Novel) (Hardcover)

$20.99

Sure Basen Indicatoren

$79.99