Overview

Full Product Details

Author:   Valeria Bertacco ,  Axel Legay
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2013 ed.
Volume:   8244
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.50cm
Weight:   0.593kg
ISBN:  

9783319030760

ISBN 10:   3319030760
Pages:   366
Publication Date:   31 October 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Backbones for Equality.- PASS: String Solving with Parameterized Array and Interval Automaton.- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification of Programmable Logic Controller Code.- Modeling Firmware as Service Functions and Its Application to Test Generation.- Symbolic Model-Based Testing for Industrial Automation Software.- Online Testing of LTL Properties for Java Code.- Modbat: A Model-Based API Tester for Event-Driven Systems.- Predictive Taint Analysis for Extended Testing of Parallel Executions.- Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project.- SLAM: SLice And Merge - Effective Test Generation for Large Systems.- Improving Post-silicon Validation Efficiency by Using Pre-generated Data.- Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.- Assertion Checking Using Dynamic Inference.- Formal Specification of an Erase Block Management Layer for Flash Memory.- Attention-Based Coverage Metrics Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming.- Domain Types: Abstract-Domain Selection Based on Variable Usage.- Efficient Analysis of Reliability Architectures via Predicate Abstraction.- Lazy Symbolic Execution through Abstraction and Sub-space Search.- SPIN as a Linearizability Checker under Weak Memory Models.- Arithmetic Bit-Level Verification Using Network Flow Model.- Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.- Improving Representative Computation in ExpliSAT.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions