Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers > An Extensible Open-Source Compiler Infrastructure for Testing
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers |
Shmuel Ur; Eyal Bin; Yaron Wolfsthal
Springer Berlin Heidelberg
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
An Extensible Open-Source Compiler Infrastructure for Testing
Authors

Dan Quinlan; Shmuel Ur; Richard Vuduc

ARI Id

1674219851348_3501160

Access

Not Available Free

Pages

116-133

DOI

10.1007/11678779_9

Chapter URL

https://rd.springer.com/chapter/10.1007/11678779_9

Table of Contents of Book
Showing 1 to 19 of 19 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Path-Based System Level Stimuli Generation
Shady Copty; Itai Jaeger; Yoav Katz
1-13
The Safety Simple Subset
Shoham Ben-David; Dana Fisman; Sitvanit Ruah
14-29
A Case for Runtime Validation of Hardware
Sharad Malik
30-42
Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study
Milind Kulkarni; Benita Bommi J.
43-55
Simultaneous SAT-Based Model Checking of Safety Properties
Zurab Khasidashvili; Alexander Nadel; Amit Palti; Ziyad Hanna
56-75
HaifaSat: A New Robust SAT Solver
Roman Gershman; Ofer Strichman
76-89
Production-Testing of Embedded Systems with Aspects
Jani Pesonen; Mika Katara; Tommi Mikkonen
90-102
Assisting the Code Review Process Using Simple Pattern Recognition
Eitan Farchi; Bradley R. Harrington
103-115
An Extensible Open-Source Compiler Infrastructure for Testing
Dan Quinlan; Shmuel Ur; Richard Vuduc
116-133
Effective Black-Box Testing with Genetic Algorithms
Mark Last; Shay Eyal; Abraham Kandel
134-148
Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains
Yosi Ben-Asher; Igor Breger; Eitan Farchi; Ilia Gordon
149-157
Benchmarking and Testing OSD for Correctness and Compliance
Dalit Naor; Petra Reshef; Ohad Rodeh; Allon Shafrir; Adam Wolman; Eitan Yaffe
158-176
A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems
Roberto Jung Drebes; Gabriela Jacques-Silva; Joana Matos Fonseca da Trindade; Taisy Silva Weber
177-190
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
Rahul Agarwal; Liqiang Wang; Scott D. Stoller
191-207
Dynamic Deadlock Analysis of Multi-threaded Programs
Saddek Bensalem; Klaus Havelund
208-223
Verification of the Java Causality Requirements
Sergey Polyakov; Assaf Schuster
224-246
Choosing Among Alternative Futures
Steve MacDonald; Jun Chen; Diego Novillo
247-264
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 19 of 19 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings