Call for Papers

HVC 2013 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.

Unlike previous years, in HVC 2013 the conference proceedings will be published before the conference starts 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 on upon registration.

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
  • Verification coverage
  • Design for verifiability
  • Hardware/software co-verification
  • Debugging
  • Semi-formal verification
  • Emulation and acceleration
  • Formal modeling and specification
  • Post-silicon validation
  • CSP-based functional verification
  • Formal specification languages
  • Model checking

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

Continuing what was started last 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
  • VVT for Systems-Engineering

Special track for software testing

This year we've created a special dedicated track to cover software testing. The track will have a separate review process.

SW testing track topics of interest to the conference include, but are not limited to:

  • Testing methodologies
  • Defect prevention
  • Test-driven development
  • Model-based testing
  • Developer testing
  • Review and inspection
  • 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

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

Abstract submission deadline: July 30, 2013 - 11.59pm Aleutian Standard Time
Paper submission deadline: July 30, 2013 - 11.59pm Aleutian Standard Time
Author acceptance notification: August 25, 2013
Final manuscripts due: September 5, 2013

NOTE: No extensions will be granted on the deadlines above.

See us on Linked In See us on Facebook