Last update: Thu Jun 20 02:01:00 MDT 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Bayse:2005:PTA,
author = "Emmanuel Bayse and Ana Cavalli and Manuel
N{\'u}{\~n}ez and Fatiha Za{\"\i}di",
title = "A passive testing approach based on invariants:
application to the {WAP}",
journal = j-COMP-NET-AMSTERDAM,
volume = "48",
number = "2",
pages = "247--266",
day = "6",
month = jun,
year = "2005",
CODEN = "????",
ISSN = "1389-1286 (print), 1872-7069 (electronic)",
ISSN-L = "1389-1286",
bibdate = "Thu Jul 14 17:03:08 MDT 2005",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetamsterdam2000.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/13891286",
}
Related entries
- application,
32(2)149,
33(1)519,
35(1)57,
35(2)165,
36(1)5,
36(4)453,
39(5)523,
39(5)577,
39(5)681,
40(1)19,
40(1)45,
40(3)319,
40(3)363,
40(5)599,
41(1)29,
41(3)303,
41(4)489,
42(2)211,
42(5)599,
43(5)573,
43(5)619,
44(4)545,
45(2)195,
45(3)245,
46(5)741,
47(1)87,
47(3)367,
47(5)603,
48(2)195,
48(3)475,
48(5)739,
49(1)4,
50(6)739,
50(6)826,
50(8)1130,
50(10)1533,
50(14)2462,
50(16)2981,
50(18)3608,
51(2)382,
51(3)781,
51(3)835,
51(4)1072,
51(5)1239,
51(11)3125,
51(11)3157,
51(12)3323,
51(13)3864,
51(15)4492,
51(16)4697,
51(17)4797,
52(3)581,
52(5)971,
52(6)1179,
52(7)1390,
52(9)1762,
52(13)2447,
52(15)2872,
52(17)3218,
52(18)3373,
53(6)759,
53(6)790,
53(8)1186,
53(10)1760
- approach,
32(4)419,
32(4)433,
32(6)701,
33(1)231,
33(1)387,
33(1)767,
35(1)77,
35(6)627,
36(1)101,
36(2)203,
36(5)643,
37(6)739,
38(5)591,
38(6)693,
38(6)731,
39(3)303,
39(4)437,
40(3)399,
40(4)499,
40(6)727,
43(2)211,
43(3)263,
43(3)289,
43(3)369,
44(4)545,
44(6)713,
45(2)99,
45(2)143,
45(4)399,
46(2)181,
46(2)273,
46(5)679,
46(6)853,
48(5)717,
49(2)243,
49(6)727,
49(6)816,
50(2)251,
50(7)982,
50(8)1026,
50(10)1547,
50(10)1599,
50(13)2295,
50(15)2577,
50(15)2747,
50(17)3400,
51(1)207,
51(2)439,
51(5)1299,
51(6)1684,
51(8)2015,
51(10)2818,
51(10)2833,
51(11)3305,
51(14)3989,
51(14)4131,
51(15)4421,
51(17)4849,
51(18)4897,
52(7)1433,
52(10)1905,
52(10)1916,
52(12)2381,
52(14)2745,
52(15)2975,
52(16)3047,
52(16)3101,
52(18)3342,
52(18)3373,
52(18)3421,
53(3)265,
53(6)761,
53(9)1555,
53(10)1760,
53(12)2091,
53(12)2225
- based,
32(1)17,
32(2)149,
34(1)49,
34(6)945,
35(2)117,
35(2)327,
37(5)579,
37(6)711,
38(2)247,
39(4)363,
39(6)729,
39(6)769,
40(5)639,
41(3)303,
41(4)475,
44(2)135,
44(4)463,
45(6)819,
46(6)751,
46(6)867,
47(6)847,
47(6)871,
48(2)155,
48(2)267,
50(3)367,
50(3)422,
50(6)742,
50(9)1219,
50(13)2271,
50(17)3300,
50(18)3763,
51(1)134,
51(1)153,
51(7)1800,
51(10)2771,
51(12)3413,
51(14)3989,
52(2)360,
52(5)915,
52(5)1074,
52(9)1703,
52(9)1732,
52(10)1927,
52(12)2373,
52(13)2532,
52(14)2745,
52(17)3218,
52(17)3284,
52(18)3318,
53(4)556,
53(6)835,
53(8)1235,
53(12)1997,
53(12)2153,
53(12)2208,
53(14)2396,
53(14)2517,
53(14)2566,
53(16)2782
- invariants,
52(15)2924
- Núñez, Manuel,
52(2)432
- passive,
32(5)571,
39(2)151,
50(3)350,
51(4)1205,
51(11)3157,
52(14)2663,
53(11)1859,
53(12)2182
- testing,
32(4)419,
34(5)799,
42(3)359,
42(3)375,
46(3)363,
48(5)739,
52(2)432
- WAP,
33(1)231,
42(4)493