Hardware and Software: Verification and Testing  9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /  [electronic resource] : 
edited by Valeria Bertacco, Axel Legay. 
 - Cham :  Springer International Publishing,  2013. 
 - 1 online resource (XX, 366 p. 147 ill.) 
 - Lecture Notes in Computer Science,  8244  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319030777 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Mathematical logic.<br/>Artificial intelligence.