Abstract is missing.
- Can We Verify an Elephant?David Harel. 1 [doi]
- Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional VerificationHarry Foster. 2 [doi]
- The SBSE Approach to Automated Optimization of Verification and TestingMark Harman. 3 [doi]
- DART: Directed Automated Random TestingKoushik Sen. 4 [doi]
- Reduction of Interrupt Handler Executions for Model Checking Embedded SoftwareBastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy. 5-20 [doi]
- Diagnosability of Pushdown SystemsChristophe Morvan, Sophie Pinchinat. 21-33 [doi]
- Functional Test Generation with Distribution ConstraintsAnna Moss, Boris Gutkovich. 34-51 [doi]
- An Explanation-Based Constraint DebuggerAaron Rich, Giora Alexandron, Reuven Naveh. 52-56 [doi]
- Evaluating Workloads Using Multi-comparative Functional CoverageYoram Adler, Shmuel Ur, Dale Blue. 57-70 [doi]
- Reasoning about Finite-State Switched SystemsDana Fisman, Orna Kupferman. 71-86 [doi]
- Dataflow Analysis for Properties of Aspect SystemsYevgenia Alperin-Tsimerman, Shmuel Katz. 87-101 [doi]
- Bisimulation Minimisations for Boolean Equation SystemsJeroen J. A. Keiren, Tim A. C. Willemse. 102-116 [doi]
- Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic ProgrammingGal Katz, Doron Peled. 117-132 [doi]
- Stacking-Based Context-Sensitive Points-to Analysis for JavaXin Li, Mizuhito Ogawa. 133-149 [doi]
- An Interpolating Decision Procedure for Transitive Relations with Uninterpreted FunctionsDaniel Kroening, Georg Weissenbacher. 150-168 [doi]