Last update: Sun Apr 28 02:05:21 MDT 2019
Return to index directory
B
-
Babaoglu, O., 27(4)308--336
-
Babaoglu:2001:GCP, 27(4)308--336
-
Babri, H., 33(11)759--780
-
Babri, H., see Maqbool, O.
-
back, 30(5)z--z, 30(6)z--z, 30(7)z--z, 30(8)z--z, 30(9)z--z, 30(10)z--z,
30(11)z--z, 30(12)z--z, 31(1)z--z, 31(2)z--z, 31(3)z--z, 31(4)z--z,
31(5)z--z, 31(6)z--z, 31(7)z--z, 31(8)z--z, 31(9)z--z, 31(10)z--z,
31(11)z--z, 31(12)999--1014, 31(12)z--z, 32(1)z--z, 32(2)z--z,
32(3)z--z, 32(4)z--z, 32(5)z--z, 32(6)z--z, 32(7)z--z, 32(8)z--z,
32(9)z--z, 32(10)z--z, 32(11)z--z, 32(12)z--z, 33(1)z--z, 33(2)z--z,
33(3)z--z, 33(4)z--z, 33(5)z--z, 33(6)z--z, 33(7)z--z, 33(8)z--z,
33(9)z--z, 33(10)z--z, 33(11)z--z, 33(12)z--z, 34(1)z--z, 34(2)z--z,
34(3)z--z, 34(4)z--z, 34(5)z--z, 34(6)z--z, 35(1)z--z, 35(2)z--z,
35(3)z--z, 35(4)z--z, 35(5)z--z, 35(6)z--z
-
Background, 34(6)800--812
-
Backward, 32(8)531--546
-
Baden, S. B., 26(3)212--226
-
Baden:2000:PMD, 26(3)212--226
-
Badros, G. J., 28(12)1146--1170
-
Badros, G. J., see Ernst, M. D.
-
Bae, Doo Hwan, 30(11)826--832
-
Bae, Doo Hwan, see Chae, Heung Seok
-
Baesens, B., 34(4)485--496
-
Baesens, B., see Lessmann, S.
-
Baghdadi, A., 28(9)822--831
-
Baghdadi:2002:CPE, 28(9)822--831
-
Bagrodia, R., 26(5)385--400
-
Bagrodia, R., see Prakash, S.
-
Bagrodia, Rajive L., 26(11)1027--1048
-
Bagrodia, Rajive L., see Adve, Vikram S.
-
Baier, C., 29(6)524--541, 33(4)209--224
-
Baier:2003:MCA, 29(6)524--541
-
Baier:2007:MCM, 33(4)209--224
-
Baik, Jongmoon, 28(11)1009--1022
-
Baik:2002:DCC, 28(11)1009--1022
-
Bailey, M. W., 29(11)1031--1042
-
Bailey:2003:ADD, 29(11)1031--1042
-
Baker, B. S., 33(9)608--621
-
Baker:2007:FCD, 33(9)608--621
-
Balbo, G., 28(10)915--932
-
Balbo:2002:PFS, 28(10)915--932
-
Baleani, M., 33(8)497--509
-
Baleani, M., see Mangeruca, L.
-
Ball, T., 28(7)625--637, 30(1)1--2
-
Ball, T., see Atkins, D. L.
-
Ball:2004:EAI, 30(1)1--2
-
Balsamo, S., 30(5)295--310
-
Balsamo:2004:MBP, 30(5)295--310
-
Bandi, R. K., 29(1)77--87
-
Bandi:2003:PMP, 29(1)77--87
-
Bang, Ki-Seok, 27(6)573--576
-
Bang:2001:CMC, 23(5)279--295, 27(6)573--576
-
Bansiya, J., 28(1)4--17
-
Bansiya:2002:HMO, 28(1)4--17
-
Barak, D., 32(7)467--485
-
Barak:2006:IHS, 32(7)467--485
-
Barat, F., 28(9)847--862
-
Barat:2002:RIS, 28(9)847--862
-
Barbier, F., 29(5)459--470, 29(11)1056--z
-
Barbier:2003:CAB, 29(11)1056--z
-
Barbier:2003:FWP, 29(5)459--470
-
Baresel, A., 30(1)3--16
-
Baresel, A., see Harman, M.
-
Bartoletti, M., 34(1)33--49
-
Bartoletti:2008:SBD, 34(1)33--49
-
base, 31(5)361--379
-
based, 26(7)577--578, 27(5)387--421, 28(3)210--227, 28(4)358--363,
28(4)364--377, 29(4)327--344, 29(9)811--824, 30(11)754--769,
31(3)213--225, 31(7)551--569, 33(5)347--365, 33(6)420--432,
33(7)454--477, 34(3)336--356, 35(4)534--550
-
Based, Analogy-, 34(4)471--484
-
based, analogy-, 32(2)83--92
-
Based, API-, 33(1)14--32
-
based, Architecture-, 26(11)1049--1065
-
based, ARMOR-, 30(4)257--277
-
Based, Automata-, 34(5)651--666
-
based, BDD-, 30(6)403--417
-
based, checklist-, 29(8)687--704
-
based, cognitive-, 30(11)811--825
-
Based, Component-, 32(7)486--502, 34(6)783--799
-
based, component-, 26(10)1006--1021, 31(11)928--941
-
based, empirically-, 29(9)838--850
-
based, Event-, 29(9)796--810
-
based, event-, 27(9)827--850
-
based, Evidence-, 31(11)942--954
-
based, formally-, 26(3)276--288
-
based, framework-, 28(9)876--888, 29(3)288--288
-
based, FSM-, 30(7)425--436
-
based, graph-, 29(7)594--607
-
based, Knowledge-, 28(3)228--255, 29(7)649--664
-
based, likelihood-, 27(11)999--1013
-
Based, Metrics-, 33(12)800--817
-
Based, Model-, 33(9)622--634, 33(12)869--890, 34(4)546--563,
35(6)825--840
-
based, Model-, 30(5)295--310, 31(1)3--20
-
based, model-, 29(1)15--30, 29(10)866--882, 30(11)736--753,
32(4)254--264
-
based, Requirements-, 28(2)146--158
-
based, reuse-, 31(6)495--510
-
Based, RMI-, 32(9)664--681
-
Based, Role-, 35(5)654--668
-
based, rule-, 30(2)112--125
-
Based, Scenario-, 32(7)467--485
-
based, Scenario-, 31(5)392--409
-
Based, Search-, 34(2)304--304
-
Based, Semantics-, 34(1)33--49
-
based, sequence-, 29(5)417--429
-
Based, Service-, 35(4)592--592, 35(5)736--736
-
Based, Session-, 32(11)868--882
-
Based, Simulation-, 34(4)452--470
-
Based, Software-, 33(5)347--365
-
Based, Specification-, 32(12)931--951
-
Based, State-, 31(12)997--998
-
based, state-, 30(11)770--793, 32(6)349--364
-
based, structure-, 31(8)643--656
-
Based, Testing-, 32(10)831--848
-
based, theory-, 26(6)500--517
-
based, token-, 28(7)654--670
-
based, Transformation-, 29(4)360--384
-
based, transformation-, 30(12)1036--1054
-
based, UML-, 30(3)193--206, 31(10)833--849
-
based, usage-, 29(8)687--704
-
Based, User-Session-, 33(10)643--658
-
based, vector-, 27(4)337--350
-
based, Warp-, 28(1)58--78
-
Basili, V. R., 26(6)484--499, 26(11)1101--1118, 28(12)1106--1125,
29(9)838--850, 35(4)551--565
-
Basili, V. R., see Briand, L. C.,
see Mendonca, M. G., \see{Seaman, C. B.,
see Shull, F., \see{Vegas, S.
-
basis, 26(6)567--576, 35(6)756--779
-
Basit, H. A., 35(4)497--514
-
Basit:2009:DMA, 35(4)497--514
-
Bastani, F. B., 27(3)193--207, 30(4)218--230, 31(9)713--732
-
Bastani, F. B., see Kim, Sung, \see{Wang, D.,
see Yen, I-Ling
-
Batory, D., 26(5)441--452, 30(6)355--371
-
Batory:2000:DWV, 26(5)441--452
-
Batory:2004:SSW, 30(6)355--371
-
Baudry, B., 32(8)571--586
-
Baudry, B., see Le Traon, Y.
-
Baumstark, L. B., 28(9)832--846, 31(2)116--136
-
Baumstark, L. B., see Janka, R. S.
-
Baumstark:2005:RSI, 31(2)116--136
-
Bayesian, 28(5)510--525, 33(10)675--686, 33(11)781--795, 34(6)723--737,
35(1)124--137
-
BBN, 33(5)347--365
-
BDD-based, 30(6)403--417
-
BDD-like, 31(1)38--51
-
Beame, P., 27(2)170--190
-
Beame, P., see Chan, W.
-
Becker, B., 35(2)274--292
-
Becker, B., see Bode, E.
-
Bederson, B. B., 30(8)535--546
-
Bederson:2004:TDI, 30(8)535--546
-
behavior, 27(6)550--572, 28(3)210--227, 28(11)1056--1076,
31(12)1056--1073, 35(3)384--406
-
behavioral, 28(9)889--903, 29(2)99--115, 29(6)576--z, 34(4)546--563
-
behaviorally, 26(1)1--14
-
Bell, R. M., 31(4)340--355
-
Bell, R. M., see Ostrand, T. J.
-
Bellavista, P., 29(12)1086--1099
-
Bellavista:2003:CAM, 29(12)1086--1099
-
Bellini, P., 32(6)428--431
-
Bellini:2006:RCI, 27(3)208--227, 32(6)424--427, 32(6)428--431
-
Bellon, S., 33(9)577--591
-
Bellon:2007:CEC, 33(9)577--591
-
Ben-Shaul, I., 27(9)769--787
-
Ben-Shaul:2001:DAD, 27(9)769--787
-
Benaroch, M., 35(5)638--653
-
Benaroch:2009:IEO, 35(5)638--653
-
Benatallah, B., 30(5)311--327
-
Benatallah, B., see Zeng, Liangzhao
-
benchmarking, 28(9)832--846, 34(4)485--496
-
Benedicenti, L., 27(5)473--479
-
Benedicenti, L., see Succi, G.
-
benefit, 29(5)385--397
-
Benefits, 34(3)407--432
-
Benlarbi, S., 27(7)630--650, 28(5)494--509
-
Benlarbi, S., see El Emam, K.
-
Berbers, Y., 33(12)856--868
-
Berbers, Y., see Vandewoude, Y.
-
Berenbach, B., 34(5)685--699
-
Berenbach, B., see Cleland-Huang, J.
-
Bergin, T., 26(5)478--478
-
Bergin:2000:SRP, 26(5)478--478
-
Berling, T., 29(9)769--781
-
Berling:2003:EEM, 29(9)769--781
-
Berry, D. M., 29(6)567--571
-
Berry:2003:CFM, 28(3)308--320, 29(6)567--571, 29(6)572--575
-
Berteun, D., 35(2)241--257
-
Berteun, D., see Han, T.
-
Bertino, E., 32(5)330--346
-
Bertino, E., see Bhatti, R.
-
Bertolino, A., 28(2)113--114, 29(11)974--984, 30(3)160--171
-
Bertolino, A., see Harrold, M. J.,
see Marre, M., \see{Muccini, H.
-
Berzins, V., 30(12)936--952
-
Berzins, V., see Luqi
-
Best, 32(11)883--895
-
Better, 28(10)997--1007
-
Beydoun, G., 35(6)841--863
-
Beydoun:2009:FGM, 35(6)841--863
-
Beyer, D., 31(2)137--149
-
Beyer:2005:ERC, 31(2)137--149
-
Bhargavan, K., 28(2)129--145
-
Bhargavan:2002:VFA, 28(2)129--145
-
Bhatti, R., 32(5)330--346, 35(5)654--668
-
Bhatti, R., see Masood, A.
-
Bhatti:2006:XFP, 32(5)330--346
-
Bian, L., 32(2)111--135
-
Bian, L., see Tan, H. B. K.
-
Bianchi, A., 29(3)225--241
-
Bianchi:2003:IRL, 29(3)225--241
-
bidding, 29(6)542--554, 30(12)953--969
-
Bieman, J. M., 31(6)481--494
-
Bieman, J. M., see Dinh-Trong, T. T.
-
Biffl, S., 29(5)385--397, 32(2)83--92
-
Biffl, S., see Auer, M.
-
Biffl:2003:IDD, 29(5)385--397
-
Biggerstaff, T. J., 30(12)1036--1054
-
Biggerstaff:2004:NAT, 30(12)1036--1054
-
binaries, 31(11)955--968
-
Binkley, D., 30(11)715--735, 32(9)698--717, 33(12)797--798
-
Binkley:2004:AVP, 30(11)715--735
-
Binkley:2006:TSR, 32(9)698--717
-
Binkley:2007:GEI, 33(12)797--798
-
Birk, A., 26(6)541--566
-
Birk, A., see El Emam, K.
-
Bisimulation, 32(8)531--546
-
biting, 27(7)599--617
-
black, 29(11)1056--z, 31(10)869--883
-
Blasio, P. di, 26(7)617--634
-
Blekas, K., 33(7)478--495
-
Blekas, K., see Saougkos, D.
-
blueprint, 31(1)75--90
-
Bobbio, A., 26(1)36--54, 29(3)270--287
-
Bobbio:2000:MFI, 26(1)36--54
-
Bobbio:2003:PFT, 29(3)270--287
-
Bochmann, G., 30(7)425--436
-
Bochmann, G., see El-Fakih, K.
-
Bode, E., 35(2)274--292
-
Bode:2009:CDE, 35(2)274--292
-
Boehm, B., 28(11)1009--1022
-
Boehm, B., see Baik, Jongmoon
-
Boggio, D., 29(12)1122--1134
-
Boggio, D., see Ocampo, A.
-
Bohnenkamp, H., 32(10)812--830
-
Bohnenkamp:2006:MCM, 32(10)812--830
-
Bois, B., Du, 33(12)800--817
-
Bojic, D., 30(2)140--z
-
Bojic:2004:ALF, 29(3)210--224, 30(2)140--z
-
Boland, P. J., 29(1)88--94
-
Boland:2003:CPR, 29(1)88--94
-
Bolognesi, T., 26(7)594--616
-
Bolognesi:2000:TCO, 26(7)594--616
-
Bondoc, H., Yan-, 31(10)833--849
-
Bontemps, Y., 31(12)999--1014
-
Bontemps:2005:LSC, 31(12)999--1014
-
Booth, K. S., 31(6)446--465
-
Booth, K. S., see Cubranic, D.
-
bootstrap, 29(11)996--1004
-
Borger, E., 26(9)872--887
-
Borger:2000:PMS, 26(9)872--887
-
Borgida, A., 26(10)959--977
-
Borgida, A., see Murata, T.
-
Boroday, S., 30(1)29--42
-
Boroday, S., see Petrenko, A.
-
Bosnacki, D., 33(10)659--674
-
Bosnacki, D., see Holzmann, G. J.
-
Botting, R. J., 31(10)911--911
-
Botting:2005:SET, 31(10)911--911
-
bound, 29(4)345--359
-
bounded, 31(4)328--339
-
Bounding, 27(9)805--826
-
Boute, R., 26(7)662--672
-
Boute:2000:SFD, 26(7)662--672
-
Bowman, H., 26(7)577--578
-
Bowman:2000:SPS, 26(7)577--578
-
box, 31(10)869--883
-
Braberman, V., 31(12)1028--1041
-
Braberman:2005:SMA, 31(12)1028--1041
-
branch, 28(8)763--781
-
Branching, 35(2)258--273
-
Bratthall, L., 28(12)1181--1193
-
Bratthall:2002:IPD, 28(12)1181--1193
-
Braunl, T., 26(3)227--243
-
Braunl:2000:PIA, 26(3)227--243
-
Breaux, T., 34(1)5--20
-
Breaux:2008:ARR, 34(1)5--20
-
Briand, L. C., 26(6)518--540, 27(6)513--530, 27(11)963--986,
28(7)706--720, 28(12)1106--1125, 29(7)594--607, 30(8)491--506,
30(11)770--793, 31(10)833--849, 31(12)1074--1092, 32(6)365--381,
32(8)608--624, 32(9)642--663, 34(3)407--432
-
Briand, L. C., see Andrews, J. H.,
see Arisholm, E., \see{Dzidek, W. J.,
see Freimut, B.
-
Briand:2000:CEC, 26(6)518--540
-
Briand:2001:CEE, 27(6)513--530
-
Briand:2001:MDE, 27(11)963--986
-
Briand:2002:AAF, 28(7)706--720
-
Briand:2002:OPG, 28(12)1106--1125
-
Briand:2003:IGB, 29(7)594--607
-
Briand:2004:AIS, 30(11)770--793
-
Briand:2005:EIF, 31(10)833--849
-
Briand:2006:TRE, 32(9)642--663
-
bridging, 27(4)364--380
-
Brinksma, E., 26(7)577--578
-
Brinksma, E., see Bowman, H.
-
Brockmeyer, M., 27(7)599--617
-
Brockmeyer, M., see Stuart, D. A.
-
brokerages, 30(12)841--858
-
Brossler, P., 27(12)1134--1144
-
Brossler, P., see Prechelt, L.
-
Browne, James C., 26(11)1027--1048
-
Browne, James C., see Adve, Vikram S.
-
browsing, 26(12)1179--1196
-
Broy, M., 27(1)42--57, 31(12)997--998
-
Broy, M., see Uchitel, S.
-
Broy:2001:TMF, 27(1)42--57
-
Bruel, J. M., 29(5)459--470
-
Bruel, J. M., see Barbier, F.
-
Bruell, S. C., 28(10)915--932
-
Bruell, S. C., see Balbo, G.
-
Brunet, G., 35(3)384--406
-
Brunet, G., see Uchitel, S.
-
Bruns, G., 29(10)883--897
-
Bruns:2003:SPA, 29(10)883--897
-
Bruntink, M., 31(10)804--818
-
Bruntink:2005:UCD, 31(10)804--818
-
Brylow, D., 30(10)634--655
-
Brylow:2004:DAI, 30(10)634--655
-
Bucci, G., 30(2)97--111, 31(11)913--927
-
Bucci:2004:TSS, 30(2)97--111
-
Bucci:2005:CVP, 31(11)913--927
-
Buchs, D., 26(7)635--652
-
Buchs:2000:FSF, 26(7)635--652
-
Budget, 35(5)624--637
-
bug, 31(6)466--480, 32(3)176--192
-
Buggy, 34(2)181--196
-
Buhr, P. A., 26(9)820--836
-
Buhr:2000:AEH, 26(9)820--836
-
Build-level, 31(7)588--600
-
building, 26(1)15--35
-
Bultan, T., 31(12)1042--1055, 34(5)614--632
-
Bultan, T., see Fu, X., \see{Hughes, G.
-
Bunch, 32(3)193--208
-
Bunse, C., 27(6)513--530, 34(2)271--286
-
Bunse, C., see Briand, L. C., \see{Li, J.
-
Burd, E., 29(9)851--863
-
Burd, E., see Shaw, S. C.
-
Burnett, M., 26(10)923--942, 28(6)576--594, 32(4)213--239
-
Burnett, M., see Ruthruff, J. R.
-
Burnett:2000:EHS, 26(10)923--942
-
Burnett:2002:THS, 28(6)576--594
-
business, 29(7)649--664, 31(7)570--587, 31(12)1015--1027,
33(12)837--855
-
bytecode, 27(2)156--169, 33(7)478--495