Abstract is missing.
- Multi-paradigmatic Model-Based TestingWolfgang Grieskamp. 1-19 [doi]
- Aspects for Trace MonitoringPavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere. 20-39 [doi]
- A Symbolic Framework for Model-Based TestingLars Frantzen, Jan Tretmans, Tim A. C. Willemse. 40-54 [doi]
- A Test Calculus Framework Applied to Network Security PoliciesYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. 55-69 [doi]
- Hybrid Input-Output Conformance and Test GenerationMichiel van Osch. 70-84 [doi]
- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search RefinementJuhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain. 85-99 [doi]
- Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented SystemsCheng Li, Zhe Dang. 100-114 [doi]
- Model-Based Testing of Thin-Client Web ApplicationsPieter W. M. Koopman, Marinus J. Plasmeijer, Peter Achten. 115-132 [doi]
- Synthesis of Scenario Based Test Cases from B ModelsManoranjan Satpathy, Qaisar A. Malik, Johan Lilius. 133-147 [doi]
- State-Identification Problems for Finite-State TransducersMoez Krichen, Stavros Tripakis. 148-162 [doi]
- Deterministic Dynamic Monitors for Linear-Time AssertionsRoy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar. 163-177 [doi]
- Robustness of Temporal Logic SpecificationsGeorgios E. Fainekos, George J. Pappas. 178-192 [doi]
- Goldilocks: Efficiently Computing the Happens-Before Relation Using LocksetsTayfun Elmas, Shaz Qadeer, Serdar Tasiran. 193-208 [doi]
- Dynamic Architecture ExtractionCormac Flanagan, Stephen N. Freund. 209-224 [doi]
- Safety Property Driven Test Generation fromFabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand. 225-239 [doi]
- Online Testing with Reinforcement LearningMargus Veanes, Pritam Roy, Colin Campbell. 240-253 [doi]