default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. Haifa Verification Conference 2013: Haifa, Israel
- Valeria Bertacco, Axel Legay:
Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Lecture Notes in Computer Science 8244, Springer 2013, ISBN 978-3-319-03076-0
Session 1: SAT and SMT-Based Verification
- Michael Codish
, Yoav Fekete, Amit Metodi:
Backbones for Equality. 1-14 - Guodong Li, Indradeep Ghosh:
PASS: String Solving with Parameterized Array and Interval Automaton. 15-31 - Tuomas Kuismin, Keijo Heljanko:
Increasing Confidence in Liveness Model Checking Results with Proofs. 32-43 - Tim Lange, Martin R. Neuhäußer, Thomas Noll:
Speeding Up the Safety Verification of Programmable Logic Controller Code. 44-60
Session 2: Software Testing I
- Sunha Ahn, Sharad Malik:
Modeling Firmware as Service Functions and Its Application to Test Generation. 61-77 - Sabrina von Styp, Liyong Yu:
Symbolic Model-Based Testing for Industrial Automation Software. 78-94
Session 3: Software Testing II
- Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. 95-111 - Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto:
Modbat: A Model-Based API Tester for Event-Driven Systems. 112-128 - Emmanuel Sifakis, Laurent Mounier:
Predictive Taint Analysis for Extended Testing of Parallel Executions. 129-144 - Tao Su, John Lyle, Andrea S. Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, Christos Botsikas:
Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project. 145-150
Session 4: Supporting Dynamic Verification
- Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson:
SLAM: SLice And Merge - Effective Test Generation for Large Systems. 151-165 - Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin:
Improving Post-silicon Validation Efficiency by Using Pre-generated Data. 166-181 - Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman:
Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. 182-198 - Anand Yeolekar, Divyesh Unadkat:
Assertion Checking Using Dynamic Inference. 199-213
Session 5: Specification and Coverage
- Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif:
Formal Specification of an Erase Block Management Layer for Flash Memory. 214-229 - Shoham Ben-David, Hana Chockler, Orna Kupferman:
Attention-Based Coverage Metrics. 230-245
Keynote Presentation
- Gal Katz, Doron A. Peled:
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. 246-261
Session 6: Abstraction
- Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein:
Domain Types: Abstract-Domain Selection Based on Variable Usage. 262-278 - Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Efficient Analysis of Reliability Architectures via Predicate Abstraction. 279-294 - Guodong Li, Indradeep Ghosh:
Lazy Symbolic Execution through Abstraction and Sub-space Search. 295-310 - Oleg Travkin, Annika Mütze, Heike Wehrheim:
SPIN as a Linearizability Checker under Weak Memory Models. 311-326
Session 7: Model Representation
- Maciej J. Ciesielski, Walter Brown, André Rossi:
Arithmetic Bit-Level Verification Using Network Flow Model. 327-343 - Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. 344-358 - Hana Chockler, Dmitry Pidan, Sitvanit Ruah:
Improving Representative Computation in ExpliSAT. 359-364
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 01:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
