Hardware Verification Track |
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon |
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv |
Extracting a Simplified View of Design Functionality Based on Vector Simulation / Onur Guzey ; Charles Wen ; Li-C. Wang ; Tao Feng ; Hillel Miller ; Magdy S. Abadir |
Automatic Fault Localization for Property Checking / Stefan Staber ; Gorschwin Fey ; Roderick Bloem ; Rolf Drechsler |
Verification of Data Paths Using Unbounded Integers: Automata Strike Back / Tobias Schuele |
Tools Track |
Smart-Lint: Improving the Verification Flow / Itai Yarom ; Viji Patil |
Model-Driven Development with the jABC / Bernhard Steffen ; Tiziana Margaria ; Ralf Nagel ; Sven Jorges ; Christian Kubczak |
Detecting Design Flaws in UML State Charts for Embedded Software / Janees Elamkulam ; Ziv Glazberg ; Ishai Rabinovitz ; Gururaja Kowlali ; Satish Chandra Gupta ; Sandeep Kohli ; Sai Dattathrani ; Claudio Paniagua Macia |
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques / Shmuel Ur |
An Open Source Simulation Model of Software Development and Testing / Elad Yom-Tov ; Paul Wernick |
Software Testing Track |
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States / Sharon Barner ; Cindy Eisner ; Daniel Kroening |
Evolutionary Testing: A Case Study / Stella Levin ; Amiram Yehudai |
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs / Koushik Sen ; Gul Agha |
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise / Yaniv Eytani ; Timo Latvala |
Testing the Machine in the World / Michael Jackson |
Choosing a Test Modeling Language: A Survey / Alan Hartman ; Mika Katara ; Sergey Olvovsky |
Making Model-Based Testing More Agile: A Use Case Driven Approach / Antti Kervinen |
Author Index |
Hardware Verification Track |
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon |
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv |
Extracting a Simplified View of Design Functionality Based on Vector Simulation / Onur Guzey ; Charles Wen ; Li-C. Wang ; Tao Feng ; Hillel Miller ; Magdy S. Abadir |
Automatic Fault Localization for Property Checking / Stefan Staber ; Gorschwin Fey ; Roderick Bloem ; Rolf Drechsler |
Verification of Data Paths Using Unbounded Integers: Automata Strike Back / Tobias Schuele |