- Stephan Schulz, Anthony Wiles, Steve Randall:
TPLan-A Notation for Expressing Test Purposes. TestCom/FATES 2007: 292-304 - Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko:
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318 - Muzammil Shahbaz, Keqin Li, Roland Groz:
Learning and Integration of Parameterized Components Through Testing. TestCom/FATES 2007: 319-334 - Hasan Ural, Zhi Xu:
An EFSM-Based Passive Fault Detection Approach. TestCom/FATES 2007: 335-350 - Diana Vega, Ina Schieferdecker, George Din:
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3. TestCom/FATES 2007: 351-364 - Sergey V. Zelenov, Sophia A. Zelenova:
Model-Based Testing of Optimizing Compilers. TestCom/FATES 2007: 365-377 - Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp:
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Lecture Notes in Computer Science 4581, Springer 2007, ISBN 978-3-540-73065-1 [contents] - 2006
- Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar:
Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177 - Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere:
Aspects for Trace Monitoring. FATES/RV 2006: 20-39 - Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand:
Safety Property Driven Test Generation from. FATES/RV 2006: 225-239 - Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV 2006: 193-208 - Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain
:
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. FATES/RV 2006: 85-99 - Georgios E. Fainekos
, George J. Pappas
:
Robustness of Temporal Logic Specifications. FATES/RV 2006: 178-192 - Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier:
A Test Calculus Framework Applied to Network Security Policies. FATES/RV 2006: 55-69 - Cormac Flanagan, Stephen N. Freund:
Dynamic Architecture Extraction. FATES/RV 2006: 209-224 - Lars Frantzen, Jan Tretmans, Tim A. C. Willemse:
A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54 - Wolfgang Grieskamp:
Multi-paradigmatic Model-Based Testing. FATES/RV 2006: 1-19 - Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132 - Moez Krichen, Stavros Tripakis:
State-Identification Problems for Finite-State Transducers. FATES/RV 2006: 148-162 - Cheng Li, Zhe Dang:
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems. FATES/RV 2006: 100-114 - Michiel van Osch:
Hybrid Input-Output Conformance and Test Generation. FATES/RV 2006: 70-84 - Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius:
Synthesis of Scenario Based Test Cases from B Models. FATES/RV 2006: 133-147 - Margus Veanes, Pritam Roy, Colin Campbell:
Online Testing with Reinforcement Learning. FATES/RV 2006: 240-253 - Wolfgang Grieskamp, Carsten Weise:
Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3997, Springer 2006, ISBN 3-540-34454-3 [contents] - Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff:
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8 [contents] - 2005
- Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall
, Bruno Marre:
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217 - Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes:
Play to Test. FATES 2005: 32-46 - Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch
, Natalia Sidorova:
Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15 - Achim D. Brucker
, Burkhart Wolff:
Interactive Testing with HOL-TestGen. FATES 2005: 87-102 - Antti Huima:
A Note on an Anomaly in Black-Box Testing. FATES 2005: 47-61