| 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 |
| Analysis |
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
kunstmatige intelligentie |
|
artificial intelligence |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
computernetwerken |
|
computer networks |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| 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.
|
|
Computer Systems
|
|
Software Validation
|
|
Computer systems
|
|
Computer programs -- Verification
|
|
Software architecture
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Bertacco, Valeria, editor
|
|
Legay, Axel, editor
|
| ISBN |
9783319030777 |
|
3319030779 |
|
3319030760 |
|
9783319030760 |
|
