Limit search to available items
Book Cover
E-book
Author International Haifa Verification Conference (9th : 2013 : Haifa, Israel)

Title Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / Valeria Bertacco, Axel Legay (eds.)
Published Cham : Springer, [2013]
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xix, 366 pages) : illustrations (some color)
Series Lecture Notes in Computer Science, 0302-9743 ; 8244
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 8244. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Session 1: SAT and SMT-Based Verification. Backbones for Equality / Michael Codish, Yoav Fekete and Amit Metodi -- PASS: String Solving with Parameterized Array and Interval Automaton / Guodong Li and Indradeep Ghosh -- Increasing Confidence in Liveness Model Checking Results with Proofs / Tuomas Kuismin and Keijo Heljanko -- Speeding Up the Safety Verification of Programmable Logic Controller Code / Tim Lange, Martin R. Neuhäußer and Thomas Noll -- Session 2: Software Testing I. Modeling Firmware as Service Functions and Its Application to Test Generation / Sunha Ahn and Sharad Malik -- Symbolic Model-Based Testing for Industrial Automation Software / Sabrina von Styp and Liyong Yu -- Session 3: Software Testing II. Online Testing of LTL Properties for Java Code / Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene -- Modbat: A Model-Based API Tester for Event-Driven Systems / Cyrille Valentin Artho [and others] -- Predictive Taint Analysis for Extended Testing of Parallel Executions / Emmanuel Sifakis and Laurent Mounier -- Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project / Tao Su [and others] -- Session 4: Supporting Dynamic Verification. SLAM: SLice And Merge -- Effective Test Generation for Large Systems / Tali Rabetti [and others] -- Improving Post-silicon Validation Efficiency by Using Pre-generated Data / Wisam Kadry [and others] -- Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors / Andreas Abel [and others] -- Assertion Checking Using Dynamic Inference / Anand Yeolekar and Divyesh Unadkat -- Session 5: Specification and Coverage. Formal Specification of an Erase Block Management Layer for Flash Memory / Jörg Pfähler [and others] -- Attention-Based Coverage Metrics / Shoham Ben-David, Hana Chockler and Orna Kupferman -- Keynote Presentation -- Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming / Gal Katz and Doron Peled -- Session 6: Abstraction. Domain Types: Abstract-Domain Selection Based on Variable Usage / Sven Apel [and others] -- Efficient Analysis of Reliability Architectures via Predicate Abstraction / Marco Bozzano, Alessandro Cimatti and Cristian Mattarei -- Lazy Symbolic Execution through Abstraction and Sub-space Search / Guodong Li and Indradeep Ghosh -- SPIN as a Linearizability Checker under Weak Memory Models / Oleg Travkin, Annika Mütze and Heike Wehrheim -- Session 7: Model Representation. Arithmetic Bit-Level Verification Using Network Flow Model / Maciej Ciesielski, Walter Brown and André Rossi -- Performance Evaluation of Process Partitioning Using Probabilistic Model Checking / Saddek Bensalem [and others] -- Improving Representative Computation in ExpliSAT / Hana Chockler, Dmitry Pidan and Sitvanit Ruah
Summary This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation
Bibliography Includes bibliographical references and index
Notes International conference proceedings
Online resource; title from PDF title page (SpringerLink, viewed October 28, 2013)
Subject Computer programs -- Verification -- Congresses.
Software architecture -- Congresses.
Computer Systems.
Software Validation.
Genre/Form Conference papers and proceedings.
Congress.
Conference papers and proceedings.
Form Electronic book
Author Bertacco, Valeria, editor
Legay, Axel, editor
ISBN 9783319030777 (electronic bk.)
3319030779 (electronic bk.)
3319030760 (Trade Paper)
9783319030760 (Trade Paper)
Other Titles HVC 2013