Call for Papers

HVC 2012 is the eighth 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 2012 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 hybrid systems. The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia.

As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).

Topics of interest to the conference include, but are not limited to:

Simulation-based verification
Formal verification methods
High-level stimuli generation
Equivalence checking
SAT/SMT-based verification algorithms
Classification of hardware bugs
Static analysis
Design for verifiability
Hardware/software co-verification
Debugging
Emulation and acceleration
Formal modeling and specification
Post-silicon validation
CSP-based functional verification
Formal specification languages
Test automation and automated test generation

Model checking
Testing methodologies
Defect prevention
Test-driven development
Hybrid verification methods
Model-based testing
Verification coverage
Developer testing
Review and inspection
Semi-formal verification
Functional and performance testing
Coverage analysis and test minimization
Test planning
Testing and analysis of concurrent software
Domain specific testing and analysis
Empirical studies on test tool evaluation

Verification, Validation, and Testing (VVT) of Engineered Systems

This year, HVC will extend the traditional focus on hardware and software verification to include verification, validation, and testing (VVT) of complex hybrid systems as a part of the systems-engineering paradigm. Consequently, additional topics of interest include, but are not limited to:

Test and evaluation (T&E) of systems
System modeling and simulation
Formal verification and analysis
System requirement management - modeling, analysis, and verification
Focused VVT domains such as hardware, software, safety-critical systems, or specific hybrid systems - including aerospace & defense, and automotive
VVT during focused system lifecycles - specification, design, implementation, integration, qualification
VVT planning and optimization