Topics of interest to the conference include, but are not limited to:<br>Simulation–based verification<br>Formal and semi–formal specification, modeling, and verification<br>Functional and non–functional software testing<br>Software and hardware equivalence checking<br>SAT/SMT–based verification algorithms<br>Static analysis<br>Model checking<br>High–level stimuli generation<br>Hardware/software co–verification<br>Triage and debug technologies<br>Post–silicon validation including emulation and acceleration<br>Coverage analysis and test minimization<br>Testing of mobile and cloud applications<br>Software artifacts review and inspection<br>Test planning<br>Empirical studies on hardware and software quality<br>Security verification<br>Machine learning techniques for verification<br>
Abbrevation
HVC
City
Haifa
Country
Israel
Deadline Paper
Start Date
End Date
Abstract