Abstract is missing.
- Backbones for EqualityMichael Codish, Yoav Fekete, Amit Metodi. 1-14 [doi]
- PASS: String Solving with Parameterized Array and Interval AutomatonGuodong Li, Indradeep Ghosh. 15-31 [doi]
- Increasing Confidence in Liveness Model Checking Results with ProofsTuomas Kuismin, Keijo Heljanko. 32-43 [doi]
- Speeding Up the Safety Verification of Programmable Logic Controller CodeTim Lange, Martin R. Neuhäußer, Thomas Noll. 44-60 [doi]
- Modeling Firmware as Service Functions and Its Application to Test GenerationSunha Ahn, Sharad Malik. 61-77 [doi]
- Symbolic Model-Based Testing for Industrial Automation SoftwareSabrina von Styp, Liyong Yu. 78-94 [doi]
- Online Testing of LTL Properties for Java CodePaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 95-111 [doi]
- Modbat: A Model-Based API Tester for Event-Driven SystemsCyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto. 112-128 [doi]
- Predictive Taint Analysis for Extended Testing of Parallel ExecutionsEmmanuel Sifakis, Laurent Mounier. 129-144 [doi]
- Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos ProjectTao Su, John Lyle, Andrea S. Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, Christos Botsikas. 145-150 [doi]
- SLAM: SLice And Merge - Effective Test Generation for Large SystemsTali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson. 151-165 [doi]
- Improving Post-silicon Validation Efficiency by Using Pre-generated DataWisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin. 166-181 [doi]
- Development and Verification of Complex Hybrid Systems Using Synthesizable MonitorsAndreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman. 182-198 [doi]
- Assertion Checking Using Dynamic InferenceAnand Yeolekar, Divyesh Unadkat. 199-213 [doi]
- Formal Specification of an Erase Block Management Layer for Flash MemoryJörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif. 214-229 [doi]
- Attention-Based Coverage MetricsShoham Ben-David, Hana Chockler, Orna Kupferman. 230-245 [doi]
- Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic ProgrammingGal Katz, Doron Peled. 246-261 [doi]
- Domain Types: Abstract-Domain Selection Based on Variable UsageSven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein. 262-278 [doi]
- Efficient Analysis of Reliability Architectures via Predicate AbstractionMarco Bozzano, Alessandro Cimatti, Cristian Mattarei. 279-294 [doi]
- Lazy Symbolic Execution through Abstraction and Sub-space SearchGuodong Li, Indradeep Ghosh. 295-310 [doi]
- SPIN as a Linearizability Checker under Weak Memory ModelsOleg Travkin, Annika Mütze, Heike Wehrheim. 311-326 [doi]
- Arithmetic Bit-Level Verification Using Network Flow ModelMaciej Ciesielski, Walter Brown, André Rossi. 327-343 [doi]
- Performance Evaluation of Process Partitioning Using Probabilistic Model CheckingSaddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron Peled, Jean Quilbeuf. 344-358 [doi]
- Improving Representative Computation in ExpliSATHana Chockler, Dmitry Pidan, Sitvanit Ruah. 359-364 [doi]