H. R. Asaadi, R. Khosravi, M. R. Mousavi & N. Noroozi (2011):
Towards Model-Based Testing of Electronic Funds Transfer Systems.
In: FSEN,
LNCS 7141,
pp. 253–267.
Available at http://dx.doi.org/10.1007/978-3-642-29320-7_17.
S. Berezin, S. Campos & E.M. Clarke (1998):
Compositional Reasoning in Model Checking.
In: Compositionality: The Significant Difference,
LNCS 1536.
Springer,
pp. 81–102.
Available at http://dx.doi.org/10.1007/3-540-49213-5_4.
M. van der Bijl, A. Rensink & J. Tretmans (2003):
Compositional Testing with ioco.
In: FATES,
LNCS 2931.
Springer,
pp. 86–100.
Available at http://dx.doi.org/10.1007/978-3-540-24617-6_7.
R.G. de Vries & J. Tretmans (2000):
On-the-fly Conformance Testing using SPIN.
STTT 2(4),
pp. 382–393.
Available at http://dx.doi.org/10.1007/s100090050044.
L. Frantzen & J. Tretmans (2006):
Model-Based Testing of Environmental Conformance of Components.
In: FMCO,
LNCS 4709.
Springer,
pp. 1–25.
Available at http://dx.doi.org/10.1007/978-3-540-74792-5_1.
D. Giannakopoulou, C. S. Pasareanu & H. Barringer (2005):
Component Verification with Automatically Generated Assumptions.
Autom. Softw. Eng. 12(3),
pp. 297–320.
Available at http://dx.doi.org/10.1007/s10515-005-2641-y.
O. Kupferman & M. Vardi (1998):
Modular model checking.
In: Compositionality: The Significant Difference,
LNCS 1536.
Springer,
pp. 81–102.
Available at http://dx.doi.org/10.1007/3-540-49213-5_4.
N. Noroozi, R. Khosravi, M.R. Mousavi & T. A. C. Willemse (2011):
Synchronizing Asynchronous Conformance Testing.
In: SEFM,
LNCS 7041.
Springer,
pp. 334–349.
Available at http://dx.doi.org/10.1007/978-3-642-24690-6_23.
N. Noroozi, M.R. Mousavi & T.A.C. Willemse (2013):
Decomposability in Formal Conformance Testing.
Technical Report CSR-13-02.
TU/Eindhoven.
C. S. Pasareanu, M. B. Dwyer & M. Huth (1999):
Assume-Guarantee Model Checking of Software: A Comparative Case Study.
In: Theoretical and Practical Aspects of SPIN Model Checking,
LNCS 1680.
Springer,
pp. 168–183.
Available at http://dx.doi.org/10.1007/3-540-48234-2_14.
A. Simão & A. Petrenko (2011):
Generating asynchronous test cases from test purposes.
Information & Software Technology 53(11),
pp. 1252–1262.
Available at http://dx.doi.org/10.1016/j.infsof.2011.06.006.
J. Tretmans (1996):
Test Generation with Inputs, Outputs and Repetitive Quiescence.
Software - Concepts and Tools 17(3),
pp. 103–120.
J. Tretmans (2008):
Model Based Testing with Labelled Transition Systems.
In: Formal Methods and Testing,
LNCS 4949.
Springer,
pp. 1–38.
Available at http://dx.doi.org/10.1007/978-3-540-78917-8_1.
T. Villa, N. Yevtushenko, R.K. Brayton, A. Mishchenko, A. Petrenko & A. Sangiovanni-Vincentelli (2012):
The Unknown Component Problem, Theory and Applications.
Springer,
doi:10.1007/978-0-387-68759-9.
M. Weiglhofer & F. Wotawa (2009):
Asynchronous Input-Output Conformance Testing.
In: COMPSAC.
IEEE Computer Society,
pp. 154–159.
Available at http://dx.doi.org/10.1109/COMPSAC.2009.194.
T. A. C. Willemse (2006):
Heuristics for ioco -Based Test-Based Modelling.
In: FMICS/PDMC,
LNCS 4346.
Springer,
pp. 132–147.
Available at http://dx.doi.org/10.1007/978-3-540-70952-7_9.