Entry Kapus-Kolar:2007:TCE from compj2000.bib
Last update: Sun Mar 31 02:13:37 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{Kapus-Kolar:2007:TCE,
author = "Monika Kapus-Kolar",
title = "Testing as Collecting of Evidence: An Integrated
Approach to Test Generation for Finite State Machines",
journal = j-COMP-J,
volume = "50",
number = "3",
pages = "315--331",
month = may,
year = "2007",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxl070",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Apr 28 14:33:33 MDT 2010",
bibsource = "http://comjnl.oxfordjournals.org/content/vol50/issue3/index.dtl;
http://www.math.utah.edu/pub/tex/bib/compj2000.bib",
URL = "http://comjnl.oxfordjournals.org/cgi/content/abstract/50/3/315;
http://comjnl.oxfordjournals.org/cgi/content/full/50/3/315;
http://comjnl.oxfordjournals.org/cgi/reprint/50/3/315",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- approach,
0(0)xiii--483,
7(0)x--153,
44(5)435,
45(1)72,
45(4)381,
46(3)263,
47(4)506,
47(5)602,
47(6)634,
48(4)443,
48(6)651,
49(1)129,
49(2)211,
49(5)541,
50(3)294,
50(4)391,
51(2)227,
51(2)240,
51(5)571,
52(6)626
- Evidence,
47(6)662
- Finite,
44(2)109,
48(2)157,
48(4)443,
52(3)334,
52(6)599
- generation,
44(4)292,
45(3)364,
46(1)106,
47(5)612,
48(5)588,
49(3)331,
50(1)93,
50(5)581,
51(5)523,
52(5)514,
52(5)545,
52(6)599
- Integrated,
45(4)395,
50(3)281,
52(6)599
- Kapus-Kolar, Monika,
52(6)599
- Kolar, Monika, Kapus-,
52(6)599
- machines,
0(0)x--438,
43(1)24,
47(2)270,
52(3)334,
52(6)599
- state,
0(0)x--438,
45(6)608,
47(2)270,
48(4)443,
52(3)334,
52(6)599
- test,
51(4)497,
52(3)334,
52(5)514,
52(5)545,
52(5)557,
52(5)571,
52(6)599
- Testing,
44(5)435,
46(3)307,
49(3)331,
50(4)500,
51(4)497,
52(4)429,
52(5)513,
52(5)514,
52(5)571,
52(5)589