Abstract is missing.
- Preprocessing and Inprocessing Techniques in SATArmin Biere. 1 [doi]
- Pioneering the Future of Verification: A Spiral of Technological and Business InnovationKathryn Kranen. 2 [doi]
- Automated Detection and Repair of Concurrency BugsBen Liblit. 3 [doi]
- Verification Challenges of Workload Optimized Hardware SystemsKlaus-Dieter Schubert. 4 [doi]
- Synthesis with ClairvoyanceOrna Kupferman, Dorsa Sadigh, Sanjit A. Seshia. 5-19 [doi]
- Generalized Reactivity(1) Synthesis without a Monolithic StrategyMatthias Schlaipfer, Georg Hofferek, Roderick Bloem. 20-34 [doi]
- IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid AutomataLei Bu, Yang Yang, Xuandong Li. 35-49 [doi]
- Cube and Conquer: Guiding CDCL SAT Solvers by LookaheadsMarijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere. 50-65 [doi]
- Implicative Simultaneous Satisfiability and ApplicationsZurab Khasidashvili, Alexander Nadel. 66-79 [doi]
- Liveness vs Safety - A Practical ViewpointB. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain. 80-94 [doi]
- Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based SearchArnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta. 95-114 [doi]
- SAM: Self-adaptive Dynamic Analysis for Multithreaded ProgramsQichang Chen, Liqiang Wang, Zijiang Yang. 115-129 [doi]
- Concurrent Small Progress MeasuresMichael Huth, Jim Huan-Pu Kuo, Nir Piterman. 130-144 [doi]
- Specification and Quantitative Analysis of Probabilistic Cloud Deployment PatternsKenneth Johnson, Simon Reed, Radu Calinescu. 145-159 [doi]
- Interpolation-Based Function Summaries in Bounded Model CheckingOndrej Sery, Grigory Fedyukovich, Natasha Sharygina. 160-175 [doi]
- Can File Level Characteristics Help Identify System Level Fault-Proneness?Thomas J. Ostrand, Elaine J. Weyuker. 176-189 [doi]
- Reverse Coverage AnalysisAriel Birnbaum, Laurent Fournier, Steven Mittermaier, Avi Ziv. 190-202 [doi]
- Symbolic Testing of OpenCL CodePeter Collingbourne, Cristian Cadar, Paul H. J. Kelly. 203-218 [doi]
- Dynamic Test Data Generation for Data Intensive ApplicationsAllon Adir, Ronen Levy, Tamer Salman. 219-233 [doi]
- Injecting Floating-Point Testing Knowledge into Test GeneratorsMerav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman. 234-241 [doi]
- Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STEYongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song. 242-246 [doi]
- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of HardwareMarcela Simková, Ondrej Lengál, Michal Kajan. 247-253 [doi]
- On-Line Detection and Prediction of Temporal PatternsShlomi Dolev, Jonathan Goldfeld, Rami Puzis. 254-256 [doi]
- Function Summaries in Software Upgrade CheckingGrigory Fedyukovich, Ondrej Sery, Natasha Sharygina. 257-258 [doi]
- The Rabin Index of Parity Games - (Extended Abstract)Michael Huth, Jim Huan-Pu Kuo, Nir Piterman. 259-260 [doi]
- Using Computational Biology Methods to Improve Post-silicon Microprocessor TestingRon Zeira, Dmitry Korchemny, Ron Shamir. 261-262 [doi]