Call for Papers
HVC 2014 is the tenth in the series of annual conferences dedicated to advancing the state-of the art and state-of-the-practice in verification and testing. The conference provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.
The common underlying goal of these techniques is to ensure the correct functionality and performance of complex systems. HVC is the only conference that brings together researchers and practitioners from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains.
HVC 2014 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia.
The conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS). The conference proceedings will be handed in an electronic format to the guests of the conference upon registration.
Topics of interest to the conference include, but are not limited to:
- Simulation-based verification
- Formal and semi-formal specification, modeling, and verification
- Functional and non-functional software testing
- Equivalence checking
- SAT/SMT-based verification algorithms
- Static analysis
- Model checking
- High-level stimuli generation
- Hardware/software co-verification
- Triage and Debug
- Post-silicon validation including emulation and acceleration
- Coverage analysis and test minimization
- Testing of mobile and cloud applications
- Software artifacts review and inspection
- Test planning
- Empirical studies on software quality
- Verification, Validation, and Testing (VVT) of Engineered Systems
Student grants
We anticipate a number of student grants to cover part of the travel expenses for full-time students who are authors of accepted papers.
Important Dates
| Paper submission deadline: | 3 Aug 2014 - 11.59 pm GMT |
| Poster submission deadline: | |
| Author acceptance notification: | 10 Sep 2014 |
| Final manuscripts due: | 21 Sep 2014 |
| Tutorials: | 17 Nov 2014 |
| Conference: | 18-20 Nov 2014 |
Keynote Speakers
- Prof. Moshe Vardi, Rice University
- Wolfgang Roesner, Fellow, IBM
- Prof. Martin Vechev, ETH Zürich
- Harry Foster, Chief Verification Scientist, Mentor Graphics
- Ziv Binyamini, Corporate VP & CTO, System and Software Solutions, Cadence
