Abstract is missing.
- String Analysis for Vulnerability Detection and RepairTevfik Bultan. 3-9 [doi]
- ASTRA: A Tool for Abstract Interpretation of Graph Transformation SystemsPeter Backes, Jan Reineke. 13-19 [doi]
- Refinement SelectionDirk Beyer 0001, Stefan Löwe, Philipp Wendler. 20-38 [doi]
- From Helena Ensemble Specifications to Promela Verification ModelsAnnabelle Klarl. 39-45 [doi]
- Fast, Dynamically-Sized Concurrent Hash TableJiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser. 49-65 [doi]
- On Refinement of Büchi Automata for Explicit Model CheckingFrantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek. 66-83 [doi]
- Practical Stutter-Invariance Checks for ω-Regular LanguagesThibaud Michaud, Alexandre Duret-Lutz. 84-101 [doi]
- MESS: Memory Performance Debugging on Embedded Multi-core SystemsSudipta Chattopadhyay 0001. 105-125 [doi]
- DSVerifier: A Bounded Model Checking Tool for Digital SystemsHussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho. 126-131 [doi]
- Runtime Verification of Expected Energy Consumption in SmartphonesAna Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino. 132-149 [doi]
- Directed Model Checking for PROMELA with Relaxation-Based Distance FunctionsAhmad Siyar Andisha, Martin Wehrle, Bernd Westphal. 153-159 [doi]
- Benchmarking and Resource MeasurementDirk Beyer 0001, Stefan Löwe, Philipp Wendler. 160-178 [doi]
- PickLock: A Deadlock Prediction Approach under Nested LockingFrancesco Sorrentino. 179-199 [doi]
- Symbolic Causality Checking Using Bounded Model CheckingAdrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue. 203-221 [doi]
- Model Counting for Complex Data StructuresAntonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser. 222-241 [doi]
- Parallel SAT-Based Parameterised Three-Valued Model CheckingNils Timm, Stefan Gruner, Prince Sibanda. 242-259 [doi]
- Comparative Analysis of Leakage Tools on Scalable Case StudiesFabrizio Biondi, Axel Legay, Jean Quilbeuf. 263-281 [doi]
- Family-Based Model Checking Without a Family-Based Model CheckerAleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski. 282-299 [doi]
- IC-Cut: A Compositional Search Strategy for Dynamic Test GenerationMaria Christakis, Patrice Godefroid. 300-318 [doi]