|
October 27-30, 2008
Organized by IBM Haifa Research Lab
Regular Papers
- Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.
Edmund Clarke, Alexandre Donzé, and Axel Legay
- Evaluating Workloads using Comparative Functional Coverage.
Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, and Shmuel Ur
- Iterative Delta Debugging.
Cyrille Valentin Artho
- A Uniform Approach to Three-Valued Semantics for ?-Calculus on Abstractions of Hybrid Automata.
Kerstin Bauer, Raffaella Gentilini, and Klaus Schneider
- Linear-time Reductions of Resolution Proofs.
Omer barilan, Oded Fuhrmann, shlomo hoory, Ohad Shacham, and Ofer Strichman
- Automatic Boosting of Cross-Product Coverage Using Bayesian Networks.
Dorit Baras, Avi Ziv, and Laurent Fournier
- Synthesizing Test Models from Test Cases.
Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, and Heikki Virtanen
- A meta heuristic for effectively detecting concurrency errors.
Neha Rungta and Eric Mercer
- A Framework for Inherent Vacuity.
Orna Kupferman, Dana Fisman, Moshe Vardi, and Sarai Sheinvald.
- Structural Contradictions.
Cindy Eisner and Dana Fisman
- Significant Diagnostic Counterexamples in Probabilistic Model Checking.
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum, and Flavio Garcia
- Efficient Decision Procedure for Bounded Integer Non-linear Operations using SMT(LIA).
Malay Ganai
- Simulation-based Verification of System-on-Chip Designs through an Automated Specification-based Testcase Generation.
Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, and Markus Pistauer
Tool Papers
- SeeCode � A Code Review Plug-in for Eclipse1.
Moran Shochat, Orna Raz, and Eitan Farchi
- D-TSR: Parallelizing SMT-based BMC using Tunnels over Distributed Framework.
Malay Ganai and Weihong Li
- User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.
Ziv Nevo
- Progress in Automated Software Defect Prediction.
Elaine Weyuker and Thomas Ostrand
| |
|
