TY  - BOOK
AU  - Bertacco,Valeria
AU  - Legay,Axel
TI  - Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings 
SN  - 9783319030777
PY  - 2013///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computer communication systems
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
KW  - Artificial intelligence
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-319-03077-7
ER  -