Abstract is missing.
- A Framework for Reasoning on Component CompositionLudovic Henrio, Florian Kammüller, Muhammad Uzair Khan. 1-20 [doi]
- Verification of Context-Dependent Channel-Based Service ModelsNatallia Kokash, Christian Krause, Erik P. de Vink. 21-40 [doi]
- The Credo Methodology - (Extended Version)Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer. 41-69 [doi]
- Patterns for Refinement AutomationAlexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky. 70-88 [doi]
- Applying Event-B Atomicity Decomposition to a Multi Media ProtocolAsieh Salehi Fathabadi, Michael Butler. 89-104 [doi]
- Abstract Certification of Global Non-interference in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. 105-124 [doi]
- Interleaving Symbolic Execution and Partial EvaluationRichard Bubel, Reiner Hähnle, Ran Ji. 125-146 [doi]
- The Use of Model Transformation in the INESS ProjectOsmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King. 147-165 [doi]
- Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case StudyFrank P. M. Stappers, Michel A. Reniers, Jan Friso Groote. 166-185 [doi]
- Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action SystemsWillibald Krenn, Rupert Schlick, Bernhard K. Aichernig. 186-207 [doi]
- Mutation-Based Test Case Generation for Simulink ModelsAngelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher. 208-227 [doi]
- Model-Based Mutation Testing of Hybrid SystemsBernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn. 228-249 [doi]
- Property-Based Testing - The ProTest ProjectJohn Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Victor Gulias, John Hughes, Simon J. Thompson. 250-271 [doi]
- Incrementally Discovering Testable Specifications from Program ExecutionsNeil Walkinshaw, John Derrick. 272-289 [doi]
- Methodologies for Specification of Real-Time Systems Using Timed I/O AutomataAlexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. 290-310 [doi]
- The How and Why of Interactive Markov ChainsHolger Hermanns, Joost-Pieter Katoen. 311-337 [doi]