-
1
-
-
0023453626
-
Learning regular sets from queries and counterexamples
-
D. Angluin. Learning regular sets from queries and counterexamples. Information and computation, 2:87-106, 1987.
-
(1987)
Information and Computation
, vol.2
, pp. 87-106
-
-
Angluin, D.1
-
3
-
-
37249060175
-
Experimental evaluation of FSMbased testing methods
-
Germany, 2005
-
Dorofeeva, M., El-Fakih, K., Maag S., A. R.Cavalli, & Yevtushenko, N. (2005). Experimental evaluation of FSMbased testing methods, In Proc. IEEE International Conference on Software Engineering and Formal Methods (SEFM05), Germany, 2005, pp. 23-32.
-
(2005)
Proc. IEEE International Conference on Software Engineering and Formal Methods (SEFM05)
, pp. 23-32
-
-
Maag, S.1
Dorofeeva, M.2
El-Fakih, K.3
Yevtushenko, N.4
Cavalli, A.R.5
-
4
-
-
33750547975
-
Domain-specific optimization in automata learning
-
LNCS 2725, Springer
-
Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. CAV, LNCS 2725, Springer, pages 315-327, 2003.
-
(2003)
CAV
, pp. 315-327
-
-
Hungar, H.1
Niese, O.2
Steffen, B.3
-
5
-
-
77954528276
-
State machine inference in testing context with long counterexamples
-
Paris, France
-
M. N. Irfan. State Machine Inference in Testing Context with Long Counterexamples. In ICST 2010, Paris, France.
-
ICST 2010
-
-
Irfan, M.N.1
-
6
-
-
0035017220
-
MAS - an interactive synthesizer to support behavioral modelling in UML
-
IEEE Computer Society
-
Mäkinen, E., Systä, T.: MAS - an interactive synthesizer to support behavioral modelling in UML. In: ICSE'01, IEEE Computer Society, pages 15-24, 2001.
-
(2001)
ICSE'01
, pp. 15-24
-
-
Mäkinen, E.1
Systä, T.2
-
7
-
-
33745765787
-
On the learnability of infinitary regular sets
-
O. Maler and A. Pnueli. On the learnability of infinitary regular sets. Inf. Comput., 118(2):316-326, 1995.
-
(1995)
Inf. Comput.
, vol.118
, Issue.2
, pp. 316-326
-
-
Maler, O.1
Pnueli, A.2
-
8
-
-
19944391951
-
Efficient test-based model generation for legacy reactive systems
-
IEEE Computer Society
-
Margaria, T., Niese, O., Raffelt, H., Steffen, B.: Efficient test-based model generation for legacy reactive systems. In: HLDVT, IEEE Computer Society (2004) 95-100.
-
(2004)
HLDVT
, pp. 95-100
-
-
Margaria, T.1
Niese, O.2
Raffelt, H.3
Steffen, B.4
-
9
-
-
38149107538
-
Monitoring architectural properties in dynamic component-based systems
-
Muccini, H., Polini, A., Ricci, F., Bertolino, A.: Monitoring architectural properties in dynamic component-based systems. In: CBSE pages 124-139, 2007.
-
(2007)
CBSE
, pp. 124-139
-
-
Muccini, H.1
Polini, A.2
Ricci, F.3
Bertolino, A.4
-
10
-
-
15844378350
-
-
Beijing, China
-
D. Peled, M. Vardi, M. Yannakakis. Black Box Checking. FORTE'99, Beijing, China, pages 225-240, 1999.
-
(1999)
Black Box Checking FORTE'99
, pp. 225-240
-
-
Peled, D.1
Vardi, M.2
Yannakakis, M.3
-
14
-
-
34848922119
-
Testing security properties of protocol implementations- A machine learning based approach
-
IEEE Computer Society
-
Shu, G., Lee, D.: Testing security properties of protocol implementations-a machine learning based approach. In: ICDCS, IEEE Computer Society, 25, 2007.
-
(2007)
ICDCS
, vol.25
-
-
Shu, G.1
Lee, D.2
|