Last update: Sun Apr 28 02:05:21 MDT 2019
Return to index directory
S
-
Saake, G., 34(2)162--180
-
Saake, G., see Apel, S.
-
safe, 29(7)608--622, 33(12)856--868
-
Safe, Type-, 34(3)357--376
-
safety, 31(1)38--51, 33(5)347--365
-
safety-analysis, 30(6)403--417
-
safety-critical, 30(3)172--180
-
Sajeev, A. S. M., 27(4)337--350
-
Sajeev, A. S. M., see Hastings, T. E.
-
Sakellariou, Rizos, 26(11)1027--1048
-
Sakellariou, Rizos, see Adve, Vikram S.
-
Salaun, G., 33(3)157--170
-
Salaun, G., see Attiogbe, C.
-
Salaún, G., 34(4)546--563, see Canal, C.
-
Samaan, M., 26(8)729--741
-
Samaan, M., see Marchand, H.
-
Samaniego, F. J., 33(3)198--208
-
Samaniego, F. J., see Wilson, S. P.
-
Same, 35(3)407--429
-
Sampath, S., 33(10)643--658
-
Sampath:2007:ACA, 33(10)643--658
-
Sanchez-Segura, M. I., 33(11)744--758
-
Sanchez-Segura, M. I., see Juristo, N.
-
Sanders, W. H., 28(10)956--969
-
Sanders, W. H., see Deavours, D. D.
-
Sangiovanni-Vincentelli, A., 33(8)497--509
-
Sangiovanni-Vincentelli, A., see Mangeruca, L.
-
Sanil, A., 33(5)287--304
-
Sanil, A., see Haran, M.
-
Sannes, P. de, Saqui-, 30(7)473--487
-
Santone, A., 29(6)510--523
-
Santone:2003:HSL, 29(6)510--523
-
Santoro, C., 28(8)797--813, 30(8)507--520
-
Santoro, C., see Mori, G.
-
Sanz, J. J., Gomez-, 35(6)841--863
-
Saougkos, D., 33(7)478--495
-
Saougkos:2007:RJB, 33(7)478--495
-
Saqui-Sannes, P. de, 30(7)473--487
-
Saqui-Sannes, P. de, see Apvrille, L.
-
SARE, 26(3)262--275
-
Sarkar, S., 33(1)14--32, 34(5)700--720
-
Sarkar:2007:ABI, 33(1)14--32
-
Sarkar:2008:MMQ, 34(5)700--720
-
Sarvela, J. N., 30(6)355--371
-
Sarvela, J. N., see Batory, D.
-
Sassoli, L., 30(2)97--111, 31(11)913--927, 35(5)703--719
-
Sassoli, L., see Bucci, G., \see{Vicario, E.
-
SATIN, 32(11)910--927
-
satisfaction, 27(5)473--479
-
Satoh, I., 29(12)1112--1121
-
Satoh:2003:TFM, 29(12)1112--1121
-
Saturation, 32(8)559--570
-
Sauer, C., 26(1)1--14
-
Sauer:2000:ESD, 26(1)1--14
-
Saunders, C., 30(12)873--888
-
Saunders, C., see Parsons, J.
-
Sawyer, P., 31(11)969--981
-
Sawyer:2005:SKA, 31(11)969--981
-
Saxena, A., 28(12)1126--1134
-
Saxena, A., see Jalote, P.
-
Scalable, 35(4)515--533, 35(5)654--668
-
scale, 28(7)654--670
-
Scale, Large-, 34(5)700--720
-
scale, large-, 28(7)695--705, 31(6)495--510, 31(8)625--642,
32(3)176--192
-
Scale-Up, 32(7)467--485
-
Scaling, 30(6)355--371
-
Scenario-Based, 32(7)467--485
-
Scenario-based, 31(5)392--409
-
scenario-driven, 29(2)116--132
-
scenario-matching, 31(12)1028--1041
-
scenarios, 28(4)321--339, 29(2)99--115, 31(9)767--784, 31(12)1056--1073,
33(6)420--432, 35(3)384--406
-
Schach, S. R., 30(9)601--612, 30(10)694--706
-
Schach, S. R., see Tomer, A., \see{Yu, L.
-
Schafer, T., 32(9)753--768
-
Schafer, W., 29(2)97--98
-
Schafer, W., see Harrold, M. J.
-
Schafer:2006:SSE, 32(9)753--768
-
Schatz, M. A., 27(12)1085--1110
-
Schatz, M. A., see Michael, C. C.
-
schedulability, 28(10)984--996, 29(8)734--751
-
Schedule, 35(5)624--637
-
scheduler, 29(8)752--767
-
scheduling, 30(9)613--629
-
scheme, 29(3)261--269, 29(7)649--664
-
Schiper, A., 27(1)29--41
-
Schiper, A., see Guerraoui, R.
-
Schmerl, B., 32(7)454--466
-
Schmerl:2006:DAR, 32(7)454--466
-
Schmidt, D. C., 33(2)124--141, 33(8)510--525
-
Schmidt, D. C., see Porter, A.,
see Yilmaz, C.
-
Schmidt, K., 30(6)403--417
-
Schmidt, K., see Wang, Farn
-
Schobbens, P. Y., 31(12)999--1014
-
Schobbens, P. Y., see Bontemps, Y.
-
Schoknecht, R., 30(1)17--28
-
Schoknecht, R., see Padberg, F.
-
Schulte, W., 26(9)872--887
-
Schulte, W., see Borger, E.
-
Schur, 29(1)88--94
-
Schuster, P., 28(4)396--412
-
Schuster, P., see Eick, S. G.
-
Schwan, K., 27(6)531--549
-
Schwan, K., see Silva, D. M.
-
Schwartzbach, M. I., 30(3)181--192
-
Schwartzbach, M. I., see Kirkegaard, C.
-
scientific, 26(4)362--383, 35(6)756--779
-
SCL, 32(6)404--423
-
Scoring, 32(11)896--909
-
Screening, 33(2)124--141
-
Seaman, C. B., 29(9)838--850
-
Seaman:2003:UIE, 29(9)838--850
-
search, 29(6)510--523, 33(4)225--237
-
Search-Based, 34(2)304--304
-
Searching, 29(10)883--897
-
second, 26(7)577--578
-
section, 28(10)913--914, 29(10)0--0, 31(12)997--998, 32(8)529--530,
32(12)929--930, 33(12)797--798, 34(1)3--4, 34(4)433--433,
35(4)450--451, 35(6)737--741
-
secure, 26(12)1197--1209, 32(4)265--278, 34(1)3--4, 34(1)33--49,
34(1)82--98
-
security, 26(8)702--712, 34(1)5--20, 34(1)133--153
-
see, 23(5)279--295, 24(8)640--649, 25(5)651--660, 27(2)124--143,
27(3)208--227, 27(3)279--286, 27(3)282--286, 27(4)381--384,
27(6)573--576, 27(6)577--577, 27(7)630--650, 27(7)651--672,
28(3)308--320, 28(5)463--477, 28(5)526--527, 28(6)576--594,
28(6)624--624, 28(9)876--888, 28(9)889--903, 29(3)210--224,
29(3)288--288, 29(5)474--477, 29(5)478--z, 29(6)567--571,
29(6)572--575, 29(6)576--z, 29(7)670--672, 30(1)59--77, 30(2)140--z,
30(3)145--159, 30(4)278--278, 30(10)707--z, 31(1)21--37,
31(10)911--911, 32(4)279--280, 32(6)424--427, 32(6)428--431,
33(1)2--13, 33(8)526--543, 33(9)635--637, 33(9)637--640,
34(2)303--303
-
See, Win-Bin, 30(10)656--674
-
See, Win-Bin, see Hsiung, Pao-Ann
-
Seek, 32(12)971--987, 34(1)160--160
-
Segura, M. I., Sanchez-, 33(11)744--758
-
Sekerinski, E., 27(7)577--598
-
Sekerinski, E., see Janicki, R.
-
Selby, R. W., 31(6)495--510
-
Selby:2005:ERB, 31(6)495--510
-
Selected, 26(7)577--578
-
Selecting, 32(11)883--895
-
selection, 27(3)248--263
-
selective, 29(6)510--523
-
Selectively, 33(2)108--123
-
Self-Stabilizing, 34(4)564--576
-
Sellers, B., Henderson-, 29(5)459--470, 29(11)1056--z,
35(6)841--863
-
semantics, 26(8)713--728, 28(3)256--285, 29(3)270--287, 29(10)866--882,
31(1)21--37, 31(10)911--911, 33(4)238--251
-
Semantics-Based, 34(1)33--49
-
Semantics-Preserving, 33(8)497--509
-
Sengupta, B., 32(8)587--607
-
Sengupta:2006:TMS, 32(8)587--607
-
sensitivity, 29(5)430--443
-
Seo, Yang-Min, 27(9)805--826
-
Seo, Yang-Min, see Lee, Chang-Gun
-
sequence, 26(2)128--149, 29(7)623--633, 31(12)999--1014, 32(8)587--607,
32(9)642--663, 34(3)305--320
-
sequence-based, 29(5)417--429
-
sequential, 27(12)1057--1061, 31(2)116--136, 31(9)754--766
-
Serazzi, G., 26(12)1168--1178, 28(3)286--307
-
Serazzi, G., see Litoiu, M., \see{Rosti, E.
-
Sereno, M., 28(10)915--932
-
Sereno, M., see Balbo, G.
-
series, 30(11)770--793
-
Serra, N., 33(10)687--708
-
Serra, N., see Concas, G.
-
server, 26(11)1066--1085, 27(1)13--28, 30(1)59--77, 30(4)278--278,
30(11)754--769, 31(4)292--311, 33(3)186--197, 34(4)531--545
-
server, client-, 26(11)1086--1100
-
service, 27(1)29--41, 29(2)151--166, 29(12)1059--1071, 29(12)1100--1111,
29(12)1122--1134, 30(5)311--327, 31(5)361--379, 31(12)1042--1055,
32(1)35--50, 33(6)369--384, 34(1)33--49, 35(1)2--28, 35(4)592--592,
35(5)669--683, 35(5)736--736
-
Service-Based, 35(4)592--592, 35(5)736--736
-
Session, 34(1)50--64, 35(3)368--383
-
session, user-, 31(3)187--202
-
Session-Based, 32(11)868--882
-
Session-Based, User-, 33(10)643--658
-
set, 27(11)999--1013, 28(9)847--862, 29(11)974--984, 31(8)657--678
-
setting, 30(10)675--693
-
Seventh, 27(11)961--962
-
several, 29(11)996--1004
-
Severity, 32(10)771--789
-
SEXTANT, 32(9)753--768
-
Shallow, 31(11)969--981
-
shared, 27(3)193--207
-
Sharma, Naveen, 32(3)209--211
-
Sharma:2006:AWP, 32(3)209--211
-
Sharp, M., 32(9)664--681
-
Sharp:2006:SAO, 32(9)664--681
-
Shatz, S. M., 29(1)15--30
-
Shatz, S. M., see Xu, Haiping
-
Shaul, I., Ben-, 27(9)769--787
-
Shaw, N. G., 27(3)279--286
-
Shaw, N. G., see Yadav, S. B.
-
Shaw, S. C., 29(9)851--863
-
Shaw:2003:MDR, 29(9)851--863
-
Shelf, Off-the-, 34(2)271--286
-
Shen, W., 35(4)515--533
-
Shen:2009:ESA, 35(4)515--533
-
Shepperd, M., 26(8)786--796, 27(11)987--998, 27(11)1014--1022,
31(5)380--391, 32(2)69--82, 33(1)33--53
-
Shepperd, M., see Cartwright, M.,
see Jorgensen, M., \see{Myrtveit, I.,
see Song, Qinbao
-
Shepperd:2001:CSP, 27(11)1014--1022
-
Shepperd:2001:PSD, 27(11)987--998
-
Sheretov, A., 28(6)576--594
-
Sheretov, A., see Burnett, M.
-
Sherman, A. T., 29(5)444--458
-
Sherman:2003:KEL, 29(5)444--458
-
Sherwood, K. D., 34(4)497--515
-
Sherwood, K. D., see Eaddy, M.
-
Shi, J., 34(5)633--650
-
Shi, J., see Cohen, M. B.
-
Shima, K. I., 26(5)425--440
-
Shima, K. I., see Maruyama, K.
-
Shin, K. G., 27(10)909--928, 32(4)254--264
-
Shin, K. G., see Wang, S., \see{Zuberi, K. M.
-
Shin, Miyoung, 26(6)567--576
-
Shin:2000:EDM, 26(6)567--576
-
Shinjo, Y., 31(9)785--800
-
Shinjo:2005:AEP, 31(9)785--800
-
Shoham, S., 34(5)651--666
-
Shoham:2008:SSM, 34(5)651--666
-
Shortening, 30(7)448--457
-
Shousha, C., 26(11)1049--1065
-
Shousha, C., see Petriu, D.
-
Shrivastava, S. K., 34(4)531--545
-
Shrivastava, S. K., see Kistijantoro, A. I.
-
Shryane, N., 26(12)1157--1167
-
Shryane, N., see Littlewood, B.
-
Shull, F., 26(11)1101--1118
-
Shull:2000:IRT, 26(11)1101--1118
-
side, 29(7)665--670
-
Siegel, S. F., 28(2)115--128
-
Siegel:2002:IPI, 28(2)115--128
-
Siegle, M., 33(4)209--224
-
Siegle, M., see Baier, C.
-
SIFT, 30(4)257--277
-
signal, 28(9)832--846
-
significance, 31(3)213--225
-
SIGSOFT, 34(4)433--433
-
Siket, I., 31(10)897--910
-
Siket, I., see Gyimothy, T.
-
Sillito, J., 34(4)434--451
-
Sillito:2008:AAQ, 34(4)434--451
-
Silva, A., 30(5)282--294
-
Silva, A., see Andrade, J.
-
Silva, D. M., 27(6)531--549
-
Silva:2001:CCO, 27(6)531--549
-
Simeoni, M., 30(5)295--310
-
Simeoni, M., see Balsamo, S.
-
similarity, 32(11)896--909
-
Simon, D., 29(3)210--224, 30(2)140--z
-
Simon, D., see Bojic, D., \see{Eisenbarth, T.
-
simpler, 27(12)1134--1144
-
Simplifying, 28(2)183--200
-
simulation, 26(5)385--400, 26(5)401--422, 27(11)1014--1022, 28(1)58--78,
28(2)129--145, 29(11)985--995, 30(1)43--58, 31(8)643--656
-
Simulation-Based, 34(4)452--470
-
Simulation-verification, 27(7)599--617
-
Singer, J., 28(12)1171--1180, 31(6)446--465, 35(4)470--483
-
Singer, J., see Cubranic, D.,
see Storey, M. A.
-
Singer:2002:EIE, 28(12)1171--1180
-
Singh, H., 29(1)88--94
-
Singh, H., see Boland, P. J.
-
Singh, M. P., 31(12)1015--1027
-
Singh, M. P., see Desai, N.
-
Sinha, S., 26(9)849--871
-
Sinha:2000:ATP, 26(9)849--871
-
Sitaraman, M., 30(11)794--810
-
Sitaraman, M., see Edwards, S. H.
-
Site, 33(12)869--890
-
Siy, H., 26(7)653--661
-
Siy, H., see Graves, T. L.
-
size, 26(10)1006--1021, 27(4)337--350, 27(7)630--650, 28(5)494--509,
29(1)46--62, 29(7)670--672, 30(12)1023--1035, 31(1)52--74,
35(4)566--572, 35(5)607--623
-
Size-Defect, 35(2)293--304
-
Sj{\o}berg, Dag I. K., 30(8)521--534, 31(9)733--753, 33(2)65--86,
33(2)87--107, 35(3)407--429, see Anda, B. C. D.,
see Arisholm, E., \see{Hannay, J. E.
-
Sjoeberg:2005:SCE, 31(9)733--753
-
Skoll, 33(8)510--525
-
SLA-Driven, 33(3)186--197
-
Slaughter, S. A., 31(11)982--995
-
Slaughter, S. A., see Darcy, D. P.
-
slices, 29(6)495--509
-
slicing, 31(8)657--678
-
Sloan, 26(5)478--478
-
Slyngstad, O. P., 34(2)271--286
-
Slyngstad, O. P., see Li, J.
-
small, 31(6)511--526, 31(10)911--911
-
small-memory, 27(10)909--928
-
Smells, 33(12)800--817
-
Smidts, C. S., 29(9)811--824
-
Smidts, C. S., see Li, Ming
-
Smirni, E., 28(3)286--307
-
Smirni, E., see Rosti, E.
-
Smith, M. H., 28(4)364--377
-
Smith, M. H., see Holzmann, G. J.
-
Smith, M. R., 29(11)996--1004
-
Smith, M. R., see Lei, Skylar
-
Smith, R. K., 27(3)264--271
-
Smith:2001:ESU, 27(3)264--271
-
smooth, 28(8)814--815
-
Snapshots, 33(5)330--346
-
Snavely, N., 31(2)99--115
-
Snavely:2005:UUU, 31(2)99--115
-
Snipes, W., 32(4)240--253
-
Snipes, W., see Zheng, J.
-
Snyder, L., 26(3)197--211
-
Snyder, L., see Chamberlain, B. L.
-
Sobel, A. E. K., 28(3)308--320, 29(6)572--575
-
Sobel:2002:FMA, 28(3)308--320, 29(6)567--571, 29(6)572--575
-
Sobel:2003:RCF, 29(6)567--571, 29(6)572--575
-
Society, 30(1)82--82, 30(2)142--142, 30(3)0--0, 30(3)208--208, 30(4)0--0,
30(4)280--280, 32(3)212--212, 32(6)432--432, 32(7)527--527,
32(7)528--528, 32(12)1006--1008, 33(2)142--144, 33(4)270--272,
33(5)366--368, 33(8)575--575, 33(8)576--576, 33(11)796--796,
33(12)892--892, 34(1)160--160, 34(6)860--862, 34(6)863--863,
34(6)864--864, 35(1)142--144, 35(6)880--880
-
Soffa, M. L., 27(2)144--155
-
Soffa, M. L., see Memon, A. M.
-
Softly, 32(10)812--830
-
Software-Based, 33(5)347--365
-
software-fault, 30(12)859--872
-
Sokolsky, O., 28(2)129--145
-
Sokolsky, O., see Bhargavan, K.
-
solution, 27(12)1134--1144, 28(2)115--128, 28(10)915--932,
35(2)148--161
-
Solving, 34(2)226--241
-
Some, R., 30(4)257--277
-
Some, R., see Whisnant, K.
-
Song, E., 30(3)193--206
-
Song, E., see France, R. B.
-
Song, Qinbao, 32(2)69--82
-
Song:2006:SDA, 32(2)69--82
-
sorting, 26(5)401--422
-
source, 28(5)463--477, 28(6)624--624, 28(7)654--670, 29(3)210--224,
30(2)140--z, 30(9)574--586, 30(12)889--903, 31(2)166--181,
31(6)466--480, 31(6)481--494, 31(6)511--526, 31(10)897--910,
32(6)404--423, 33(11)725--743, 34(6)765--782
-
source, closed-, 30(4)246--256
-
source, open-, 30(4)246--256, 31(8)625--642
-
Souter, A. L., 29(11)1005--1018
-
Souter:2003:CCD, 29(11)1005--1018
-
space, 26(5)453--477, 30(2)97--111, 32(1)20--34
-
Space, State-, 34(5)597--613
-
space-craft, 27(8)749--765
-
spanning, 29(11)974--984
-
sparse, 27(11)987--998
-
SPARTACAS, 30(9)587--600
-
Spatial, 31(3)203--212
-
spatial-temporal, 29(1)63--76
-
special, 26(3)193--196, 26(4)289--292, 26(8)673--674, 28(10)913--914,
29(10)0--0, 30(10)712--712, 31(6)426--428, 31(10)801--803,
31(12)997--998, 32(8)529--530, 32(9)625--626, 32(12)929--930,
33(12)797--798, 33(12)891--891, 34(1)3--4, 34(4)433--433,
35(2)145--147, 35(4)450--451, 35(4)592--592, 35(5)736--736,
35(6)737--741
-
specific, application-, 30(4)218--230
-
Specific, Domain-, 35(6)825--840
-
Specific, Framework-, 35(6)795--824
-
specification, 26(1)15--35, 26(1)55--69, 26(7)635--652, 26(8)742--759,
26(9)872--887, 27(3)208--227, 27(4)308--336, 27(7)577--598,
27(8)673--703, 28(1)58--78, 29(1)46--62, 29(4)327--344,
29(5)417--429, 30(3)193--206, 32(6)349--364, 32(6)424--427,
32(6)428--431, 34(1)21--32, 34(5)651--666, 35(3)325--346
-
Specification-Based, 32(12)931--951
-
specify, 29(11)962--973, 32(6)404--423
-
Specifying, 30(12)841--858, 35(5)669--683
-
spectra, 31(10)869--883
-
speed, 29(6)481--494
-
Spiekermann, S., 35(1)67--82
-
Spiekermann:2009:EP, 35(1)67--82
-
SPIN, 23(5)279--295, 27(6)573--576, 27(8)749--765, 33(10)659--674
-
Spinellis, D., 29(11)1019--1030
-
Spinellis:2003:GAT, 29(11)1019--1030
-
splitting, 31(2)166--181
-
SPNs, 26(1)36--54
-
spreadsheet, 26(10)923--942, 28(6)576--594, 32(4)213--239
-
Spreadsheets, 35(1)94--108
-
Sprenkle, S., 33(10)643--658
-
Sprenkle, S., see Sampath, S.
-
Sproston, J., 32(8)531--546, 35(2)224--240
-
Sproston, J., see Donatelli, S.
-
Sproston:2006:BBM, 32(8)531--546
-
spurious, 28(2)115--128
-
Squillante, M. S., 28(3)286--307
-
Squillante, M. S., see Rosti, E.
-
Srimani, P. K., 26(3)193--196, 26(4)289--292
-
Srimani, P. K., see Talia, D.
-
Srivastava, S., 34(3)357--376
-
Srivastava:2008:MIH, 34(3)357--376
-
Ssu, Kuo-Feng, 30(10)707--z
-
Ssu, Kuo-Feng, see Jiau, H. C.
-
stability, 32(5)315--329
-
stabilization, 28(2)201--208
-
Stabilizing, Self-, 34(4)564--576
-
stable, 33(5)330--346
-
Stack, 28(1)100--108
-
Stack, Call-, 34(1)99--115
-
Staff, 30(1)0--0, 30(3)0--0, 30(4)0--0
-
staffing, 30(1)43--58
-
Stamelos, I., 28(9)876--888
-
Stamelos, I., see Morisio, M.
-
Stankovic, N., 28(5)478--493
-
Stankovic:2002:DPP, 28(5)478--493
-
state, 26(5)453--477, 27(7)599--617, 27(8)704--714, 29(5)430--443,
30(2)81--81, 30(2)97--111, 31(1)1--1, 31(12)999--1014, 32(1)1--1,
33(1)1--1, 33(3)157--170, 33(4)209--224, 34(1)1--2, 35(1)1--1,
35(5)703--719
-
state, finite-, 29(1)1--14
-
State-Based, 31(12)997--998
-
state-based, 30(11)770--793, 32(6)349--364
-
State-Density, 35(2)178--194
-
state-of-the-art, 28(5)449--462
-
State-of-the-Practice, 34(2)271--286
-
State-Space, 34(5)597--613
-
statecharts, 27(2)170--190
-
STATEMATE, 35(2)274--292
-
static, 27(8)728--748, 30(3)181--192, 32(4)240--253, 32(9)664--681,
33(1)2--13, 33(9)635--637, 33(9)637--640, 34(5)651--666
-
station, 26(8)729--741
-
Statistic, Order-, 33(3)198--208
-
statistical, 27(11)1023--1036, 28(12)1126--1134, 32(10)831--848,
34(4)471--484
-
status, 31(7)529--536
-
Steece, B. M., 28(11)1009--1022
-
Steece, B. M., see Baik, Jongmoon
-
steering, 27(8)728--748
-
Stefanelli, C., 29(12)1086--1099
-
Stefanelli, C., see Bellavista, P.
-
Stefano, J. S., Di, 29(5)474--477
-
Stensrud, E., 27(11)999--1013, 29(5)398--416, 29(11)985--995,
31(5)380--391
-
Stensrud, E., see Foss, T., \see{Myrtveit, I.
-
Stensrud:2003:IHP, 29(5)398--416
-
step-wise, 30(6)355--371
-
Stephan, M., 35(6)795--824
-
Stephan, M., see Antkiewicz, M.
-
Stephanides, G., 31(7)601--614, 32(11)896--909
-
Stephanides, G., see Tsantalis, N.
-
Stewart, D. B., 29(4)311--326
-
Stewart:2003:TAF, 29(4)311--326
-
Sthamer, H., 30(1)3--16
-
Sthamer, H., see Harman, M.
-
Stirewalt, R. E. K., 29(2)133--150
-
Stirewalt, R. E. K., see Dillon, L. K.
-
stochastic, 28(10)915--932, 28(10)933--943, 28(10)944--955,
29(11)962--973, 31(11)913--927, 35(2)209--223, 35(2)224--240,
35(5)703--719
-
Stock, 33(8)544--557
-
Stoelinga, M., 35(2)258--273
-
Stoelinga, M., see Alfaro, L. de
-
Stoller, S. D., 32(2)93--110
-
Stoller, S. D., see Wang, L.
-
stopping, 26(9)907--918
-
Storey, M. A., 35(4)470--483
-
Storey:2009:HSD, 35(4)470--483
-
storing, 29(7)649--664
-
strategy, 28(1)109--111, 29(7)594--607, 29(9)825--837, 31(4)312--327
-
streaming, 30(12)918--935
-
Strein, D., 33(9)592--607, 33(12)799--799
-
Strein:2007:EMM, 33(9)592--607
-
Strein:2007:EMP, 33(12)799--799
-
Stress, 32(11)868--882
-
Strigini, L., 26(12)1157--1167, 29(4)345--359
-
Strigini, L., see Littlewood, B.,
see Popov, P.
-
Strike, K., 27(10)890--908
-
Strike:2001:SCE, 27(10)890--908
-
strong, 28(11)1077--1084
-
Strooper, P., 29(6)555--566, 30(10)675--693
-
Strooper, P., see Long, B., \see{Volzer, H.
-
Stroulia, E., 31(2)97--98, 31(10)850--868, 33(12)818--836
-
Stroulia, E., see Deursen, A. van,
see Xing, Z.
-
STRPN, 29(1)63--76
-
structural, 27(4)381--384, 28(5)526--527, 31(11)982--995,
32(12)952--970
-
structure, 27(3)193--207, 28(5)463--477, 28(6)624--624, 29(2)133--150,
30(4)231--245, 30(6)403--417, 32(12)931--951, 32(12)988--1005
-
structure-based, 31(8)643--656
-
structured, 30(8)535--546, 30(11)736--753
-
structures, data-, 31(1)38--51
-
Stuart, D. A., 27(7)599--617
-
Stuart:2001:SVB, 27(7)599--617
-
Stubblebine, S. G., 26(2)178--192, 28(1)100--108, 28(3)256--285
-
Stubblebine, S. G., see Devanbu, P. T.
-
Stubblebine:2002:ALF, 28(3)256--285
-
student, 29(4)360--384
-
study, 26(9)872--887, 26(9)888--906, 26(12)1147--1156, 27(3)248--263,
27(3)264--271, 28(2)159--182, 28(7)625--637, 28(9)876--888,
28(12)1171--1180, 29(3)288--288, 29(5)471--473, 29(6)481--494,
29(11)985--995, 30(2)82--96, 30(4)246--256, 30(9)601--612,
30(12)889--903, 30(12)904--917, 30(12)953--969, 31(5)380--391,
31(6)481--494, 31(9)785--800, 32(1)4--19, 32(5)315--329,
32(7)433--453, 32(11)849--867, 32(12)971--987, 33(1)33--53,
33(3)145--156, 33(5)316--329, 33(5)347--365, 33(7)454--477,
34(2)212--225, 34(4)516--530, 34(6)723--737, 34(6)765--782,
34(6)800--812, 34(6)813--825, 34(6)826--843, 35(1)83--93,
35(3)407--429, 35(4)534--550, 35(4)551--565, 35(5)593--606
-
Studying, 31(10)884--896
-
Stuermer, I., 33(9)622--634
-
Stuermer:2007:STM, 33(9)622--634
-
Stukel, David J., Sundaram-, 26(11)1027--1048
-
style, 30(8)521--534
-
style-aware, 31(3)256--272
-
Su, J., 31(12)1042--1055
-
Su, J., see Fu, X.
-
SubCM, 30(10)675--693
-
Subject, 27(12)1147--1151, 28(11)1196--1200, 28(12)1196--1200,
29(12)1137--1142
-
Subramanian, G. H., 31(7)615--624
-
Subramanian, G. H., see Pendharkar, P. C.
-
Subramanyam, R., 29(4)297--310
-
Subramanyam:2003:EAC, 29(4)297--310
-
subscribe, 29(12)1059--1071
-
success, 28(4)340--357, 28(9)863--875, 29(5)474--477, 29(5)478--z,
31(5)410--424
-
Succi, G., 27(5)473--479, 30(4)246--256
-
Succi, G., see Paulson, J. W.
-
Succi:2001:AES, 27(5)473--479
-
Suhaib, S., 30(9)613--629
-
Suhaib, S., see Li, P.
-
Suite, 33(2)108--123, 33(6)402--419, 34(1)99--115, 34(4)452--470,
34(5)633--650
-
suite, Test-, 29(3)195--209
-
Sullivan, K., 31(4)328--339
-
Sullivan, K., see Coppit, D.
-
Sullivan, K. J., 27(4)364--380
-
Sullivan, K. J., see Murphy, G. C.
-
Sun, J., 32(6)349--364, 34(6)844--859
-
Sun, J., see Dong, J. S.
-
Sun:2006:DSI, 32(6)349--364
-
Sundaram, S. K., 32(1)4--19
-
Sundaram, S. K., see Hayes, J. H.
-
Sundaram-Stukel, David J., 26(11)1027--1048
-
Sundaram-Stukel, David J., see Adve, Vikram S.
-
Supertotal, 26(7)662--672
-
support, 27(2)99--123, 28(8)797--813, 29(2)167--180, 29(6)555--566,
29(12)1059--1071, 30(7)437--447, 31(3)187--202, 32(5)299--314,
33(5)287--304, 33(12)818--836, 34(4)531--545, 35(4)470--483
-
supported, 30(7)473--487
-
Supported, Tool-, 32(9)698--717
-
supporting, 28(3)256--285, 28(9)822--831, 29(2)133--150, 29(7)577--593,
31(1)75--90
-
survey, 26(2)98--112, 28(5)449--462, 28(7)638--653, 30(2)126--139,
30(5)295--310, 31(9)733--753, 34(2)271--286, 35(5)684--702
-
Sutcliffe, A., 31(5)392--409
-
Sutcliffe, A., see Gregoriades, A.
-
Sutcu, C., 27(3)279--286
-
Sutcu, C., see Yadav, S. B.
-
symbolic, 27(2)170--190, 31(1)38--51
-
symmetry, 30(6)403--417
-
Symposium, 27(11)961--962, 28(2)113--114, 31(4)273--274, 34(5)577--578
-
symptoms, 26(2)113--127
-
Synchronizability, 31(12)1042--1055
-
synchronization, 28(3)256--285
-
synchronous, 26(11)1086--1100, 33(8)497--509
-
syntax, 31(1)21--37, 31(10)911--911
-
Syntax-Aware, 34(1)65--81
-
synthesis, 26(8)729--741, 29(2)99--115, 32(6)349--364, 33(4)252--269,
35(3)384--406
-
Synthetic, 32(11)868--882
-
Systematic, 25(5)651--660, 30(4)218--230, 32(2)111--135, 32(5)347--348,
33(1)33--53, 33(2)87--107, 33(5)316--329, 33(9)622--634,
34(6)826--843, 35(5)684--702
-
Systemic, 34(5)685--699
-
SysTems, 32(8)529--530