Kedar S. Namjoshi, Andreas Zeller, Avi Ziv (Eds.):
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers.
Lecture Notes in Computer Science 6405 Springer 2011, ISBN 978-3-642-19236-4 
Keynote and Invited Talks
- David Harel:
Can We Verify an Elephant?
1
- Harry Foster:
Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification.
2
- Mark Harman:
The SBSE Approach to Automated Optimization of Verification and Testing.
3
- Koushik Sen:
DART: Directed Automated Random Testing.
4
Research Papers
- Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy:
Reduction of Interrupt Handler Executions for Model Checking Embedded Software.
5-20
- Christophe Morvan, Sophie Pinchinat:
Diagnosability of Pushdown Systems.
21-33
- Anna Moss, Boris Gutkovich:
Functional Test Generation with Distribution Constraints.
34-51
- Aaron Rich, Giora Alexandron, Reuven Naveh:
An Explanation-Based Constraint Debugger.
52-56
- Yoram Adler, Shmuel Ur, Dale Blue:
Evaluating Workloads Using Multi-comparative Functional Coverage.
57-70
- Dana Fisman, Orna Kupferman:
Reasoning about Finite-State Switched Systems.
71-86
- Yevgenia Alperin-Tsimerman, Shmuel Katz:
Dataflow Analysis for Properties of Aspect Systems.
87-101
- Jeroen Keiren, Tim A. C. Willemse:
Bisimulation Minimisations for Boolean Equation Systems.
102-116
- Gal Katz, Doron Peled:
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming.
117-132
- Xin Li, Mizuhito Ogawa:
Stacking-Based Context-Sensitive Points-to Analysis for Java.
133-149
- Daniel Kroening, Georg Weissenbacher:
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions.
150-168
Last update Fri May 25 08:16:07 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
