Index file section S for tosem.bib
Last update: Fri May 3 02:04:43 MDT 2024
Return to index directory
S
-
S, 17(2)8--8
-
s, 30(4)42--42
-
Saake, Gunter, 21(3)14--14
-
Saake, Gunter, see Kästner, Christian
-
Sabetzadeh, Mehrdad, 23(1)9--9, 28(1)4--4, 29(2)11--11, 33(4)93--93
-
Sabetzadeh, Mehrdad, see Arora, Chetan,
see Briand, Lionel,
see Jodat, Baharin A.,
see Soltana, Ghanem
-
sacrifice, 25(1)7--7
-
sacrificing, 3(1)3--28, 7(2)192--214, 27(4)15--15, 31(1)3--3
-
Sadeghi, Alireza, 26(1)2--2
-
Sadeghi:2017:ECA, 26(1)2--2
-
SAEO, 30(2)17--17
-
Safdar, Safdar Aqeel, 29(2)10--10, 30(4)53--53
-
Safdar, Safdar Aqeel, see Ali, Shaukat
-
Safdar:2021:RFC, 30(4)53--53
-
safe, 6(2)173--210, 10(2)149--183, 22(4)33--33, 23(1)7--7, 23(4)29--29,
26(1)2--2, 32(2)37--37, 33(2)32--32, 33(3)74--74
-
SafeDrop, 32(4)82--82
-
SafeInt, 25(1)2--2
-
safely, 22(4)30--30
-
SAFER, 28(4)22--22
-
safer, 32(2)28--28, 33(4)94--94
-
safety, 3(1)3--28, 8(1)49--78, 9(1)3--50, 9(2)133--166, 9(4)379--409,
10(2)209--254, 15(4)410--457, 21(3)14--14, 22(3)18--18, 23(1)6--6,
23(1)8--8, 23(1)9--9, 23(3)22--22, 24(4)24--24, 25(3)21--21,
32(2)42--42, 32(3)67--67, 32(3)79--79, 32(4)104--104, 32(4)105--105,
33(2)33--33, 33(3)64--64, 33(4)89--89, 33(4)94--94, 33(4)99--99
-
Safety, Memory-, 31(1)3--3
-
safety, memory-, 31(1)3--3, 32(4)82--82
-
safety-critical, 21(4)22--22, 23(1)9--9, 28(2)6--6, 30(1)4--4,
32(2)49--49, 32(3)67--67, 32(3)79--79, 32(4)104--104, 33(2)35--35,
33(3)64--64, 33(4)94--94
-
safety/security-critical, 33(2)42--42
-
SAFKASI, 9(4)341--378
-
Sagardui, Goiuria, 32(1)17--17
-
Sagardui, Goiuria, see Arrieta, Aitor
-
Sahin, Dilan, 24(1)6--6
-
Sahin:2014:CSD, 24(1)6--6
-
Sahraoui, Houari, 25(3)20--20, 25(3)23--23, 33(4)91--91
-
Sahraoui, Houari, see Baki, Islem,
see Oakes, Bentley James, \see{Ouni, Ali
-
Saleem, Tania, 32(3)57--57
-
Saleem, Tania, see Ayub, Maha
-
Salehnamadi, Navid, 32(3)71--71, 32(4)84--84
-
Salehnamadi, Navid, see Ghorbani, Negar,
see Lin, Jun-Wei
-
sales, 17(4)17--17
-
Sales, Afonso, 25(3)26--26
-
Sales, Afonso, see Czekster, Ricardo M.
-
salient, 17(2)11--11
-
Saltzer, 32(3)60--60
-
Salvo, Ivano, 23(1)6--6
-
Salvo, Ivano, see Mari, Federico
-
same, 2(3)270--285, 2(4)379--411, 4(1)3--35, 6(3)329--331, 9(1)3--50,
9(4)341--378, 10(1)5--55, 16(3)11--11, 18(1)1--1, 18(4)13--13,
19(1)2--2, 21(2)9--9, 22(1)5--5, 22(2)11--11, 22(4)29--29,
22(4)32--32, 23(4)34--34, 24(2)8--8, 25(1)4--4, 25(2)13--13,
25(2)19--19, 25(3)27--27, 25(4)29--29, 27(1)1--1, 27(3)10--10,
28(3)18--18, 29(4)28--28, 31(2)21--21, 31(2)35e_35e, 32(3)75--75,
32(4)83--83, 33(1)8--8, 33(2)47--47
-
Samhi, Jordan, 32(2)50--50
-
Samhi, Jordan, see Sun, Xiaoyu
-
sample, 2(3)286--303, 3(4)308--339, 8(3)215--262, 8(4)425--472,
19(2)4--4, 21(1)5--5, 22(4)28--28, 24(2)8--8, 27(2)7--7, 27(3)11--11,
28(3)13--13, 30(3)40--40, 32(6)152--152
-
sample-based, 27(4)18--18
-
sampled, 32(1)13--13
-
sampling, 2(3)286--303, 8(3)263--283, 21(1)5--5, 24(3)20--20, 27(2)7--7,
27(4)18--18, 28(1)3--3
-
sampling-based, 21(3)18--18
-
SAN, 25(3)26--26
-
San Pietro, Pierluigi, 3(1)56--98, 22(3)20--20
-
San Pietro, Pierluigi, see Morzenti, Angelo,
see Pradella, Matteo
-
Sánchez-Artigas, Marc, 31(3)39--39,
see Barcelona-Pons, Daniel
-
sanitizers, 22(4)33--33
-
Sanity, 29(4)24--24
-
Santana De Almeida, Eduardo, 33(4)101--101
-
Santana De Almeida, Eduardo,
see Loiola De Santana, Taijara
-
Santana, Taijara, Loiola De, 33(4)101--101
-
Santelices, Raul, 25(2)18--18
-
Santelices, Raul, see Cai, Haipeng
-
Santhiar, Anirudh, 24(1)4--4
-
Santhiar:2014:MUT, 24(1)4--4
-
Santone, Antonella, 23(3)24--24
-
Santone, Antonella, see Francesco, Nicoletta de
-
Santos, Alan R., 25(3)26--26
-
Santos, Alan R., see Czekster, Ricardo M.
-
Sarker, Jaydeb, 32(5)118--118
-
Sarker:2023:AIT, 32(5)118--118
-
Sarma, Anita, 31(4)81--81
-
Sarma, Anita, see Trinkenreich, Bianca
-
Sarro, Federica, 27(3)12--12, 30(4)44--44, 32(4)106--106
-
Sarro, Federica, see Chen, Zhenpeng,
see Menéndez, Héctor D.
-
Sarro:2018:LPB, 27(3)12--12
-
SA/RT, 7(1)80--107
-
SAS, 27(2)5--5
-
SAT, 22(3)20--20, 23(2)20--20, 25(2)17--17, 26(4)14--14, 28(3)16--16,
28(3)18--18
-
SATash, 28(3)18--18
-
SATD, 28(3)15--15, 30(4)45--45
-
SATD, non-, 28(3)15--15
-
satisfaction, 23(3)25--25
-
satisfactory, 2(2)176--201, 4(1)3--35, 22(4)31--31
-
satisfiability, 2(4)346--378, 21(4)22--22, 22(3)20--20, 22(3)24--24,
22(4)34--34, 23(4)34--34, 24(2)11--11, 24(3)15--15, 25(2)15--15,
26(4)14--14, 30(4)41--41
-
satisfied, 6(1)31--79, 7(4)368--410, 9(3)273--305, 18(3)11--11,
26(3)9--9, 28(2)7--7
-
satisfy, 2(3)270--285, 3(4)308--339, 4(1)65--106, 5(1)63--86, 8(1)1--48,
9(3)273--305, 16(2)9--9, 17(2)7--7, 17(3)14--14, 18(3)11--11,
19(4)12--12, 21(2)13--13, 21(4)25--25, 22(4)33--33, 24(3)16--16,
24(3)17--17, 24(4)22--22, 25(1)8--8, 26(4)13--13, 28(4)21--21,
29(2)11--11, 31(4)68--68, 33(1)7--7
-
satisfying, 20(4)14--14, 21(3)18--18, 25(3)25--25, 26(4)13--13
-
Sator, 19(3)10--10
-
SAT/SMT, 28(3)18--18
-
Sattler, Florian, 32(5)121--121
-
Sattler:2023:SIP, 32(5)121--121
-
saturate, 25(3)22--22
-
saturation, 28(3)17--17
-
SATVaEA, 26(4)14--14
-
Savasana, 26(1)2--2
-
save, 3(1)3--28, 24(3)13--13, 26(1)3--3, 30(4)42--42
-
saved, 23(1)5--5, 26(1)3--3
-
savings, 3(1)3--28, 22(4)38--38
-
say, 28(2)8--8, 33(3)80--80
-
Sayagh, Mohammed, 30(4)54--54, 32(1)19--19, 32(6)146--146, 33(1)5--5
-
Sayagh, Mohammed, see Batoun, Mohamed Amine,
see Bessghaier, Narjes, \see{Lin, Jiahuei,
see Lyu, Yingzhe
-
Sayar, Imen, 32(1)25--25
-
Sayar:2023:DSJ, 32(1)25--25
-
SBFL, 22(4)31--31, 27(3)13--13, 28(4)23--23
-
SBFL-based, 27(3)13--13
-
SBSE, 26(1)4--4, 29(2)10--10, 32(1)5--5
-
SBST, 31(1)1--1, 32(6)139--139, 33(2)40--40
-
SC, 31(2)30--30
-
Scaffidi, Chris, 22(2)14--14
-
Scaffidi, Chris, see Fleming, Scott D.
-
Scala, 25(1)9--9
-
scalability, 5(3)231--261, 7(2)109--157, 9(3)273--305, 21(4)22--22,
22(1)6--6, 22(1)8--8, 22(2)13--13, 22(3)18--18, 22(4)34--34,
23(2)19--19, 23(3)23--23, 24(1)3--3, 24(2)9--9, 24(3)15--15,
24(4)24--24, 25(1)7--7, 25(2)19--19, 26(1)1--1, 26(3)11--11,
26(4)12--12, 27(4)15--15, 28(3)16--16, 31(3)54--54, 32(5)117--117
-
scalability-prohibiting, 26(4)12--12
-
scalable, 9(3)273--305, 14(2)124--167, 22(1)6--6, 22(3)18--18,
23(2)19--19, 23(3)23--23, 24(1)4--4, 24(2)9--9, 24(2)11--11,
24(3)15--15, 28(3)16--16, 28(3)18--18, 30(1)10--10, 31(3)54--54,
31(4)73--73
-
Scalabrino, Simone, 29(4)29--29, 30(3)36--36, 31(2)25--25,
32(6)142--142
-
Scalabrino, Simone, see Pantiuchina, Jevgenija,
see Rosa, Giovanni, \see{Traini, Luca
-
Scalabrino:2021:ASB, 30(3)36--36
-
scale, 6(2)141--172, 17(2)9--9, 22(2)11--11, 22(3)18--18, 23(2)19--19,
24(1)3--3, 24(1)4--4, 24(2)8--8, 24(4)24--24, 25(1)3--3, 25(1)4--4,
25(1)7--7, 25(2)15--15, 25(2)18--18, 26(1)1--1, 27(1)3--3,
27(4)15--15, 27(4)18--18, 30(3)40--40, 31(3)39--39, 31(3)46--46,
32(5)111--111, 33(2)49--49
-
scale, industrial-, 22(1)6--6
-
Scale, Large-, 23(3)25--25, 24(2)8--8, 31(3)52--52, 33(1)28--28,
33(1)29--29, 33(2)33--33, 33(3)71--71
-
scale, Large-, 30(4)52--52, 31(2)22--22, 31(3)44--44
-
scale, large-, 1(4)355--398, 10(3)308--337, 17(1)2--2,
17(2)11--11, 17(3)13--13, 23(3)23--23, 26(3)10--10, 26(4)12--12,
30(4)54--54, 31(1)12--12, 32(1)8--8, 32(4)106--106, 32(5)122--122,
33(1)2--2, 33(1)13--13, 33(1)28--28, 33(2)33--33
-
Scale, Ultra-Large-, 25(1)7--7, 29(2)13--13
-
scale, ultra-large-, 25(1)7--7
-
scale-free, 18(1)2--2
-
scaled, 17(2)7--7, 23(3)24--24, 26(4)12--12
-
scaling, 22(1)8--8, 23(4)34--34, 24(1)3--3, 32(2)41--41, 33(3)66--66
-
Scandariato, Riccardo, 32(1)16--16
-
Scandariato, Riccardo, see Zdun, Uwe
-
Scanner++, 32(1)7--7
-
scanner, 5(3)262--292, 32(1)7--7
-
Scanniello, Giuseppe, 23(2)13--13, 24(1)1--1, 24(3)14--14, 26(2)6--6
-
Scanniello, Giuseppe, see Ricca, Filippo
-
Scanniello:2014:IUA, 23(2)13--13
-
Scanniello:2015:DDP, 24(3)14--14
-
Scanniello:2017:FFC, 26(2)6--6
-
scanning, 5(3)262--292
-
scarce, 2(2)109--127, 32(2)43--43, 33(3)58--58
-
scarcely, 24(2)12--12
-
scattered, 16(1)3--3
-
scenario, 2(2)128--175, 13(1)37--85, 18(4)15--15, 19(2)6--6, 19(3)8--8,
20(4)18--18, 21(1)2--2, 24(2)12--12, 25(1)4--4, 25(1)5--5, 25(1)6--6,
25(2)18--18, 25(3)26--26, 26(1)4--4, 27(2)5--5, 27(4)17--17,
29(3)14--14, 30(2)18--18, 30(3)31--31, 31(3)34--34, 32(2)28--28,
32(3)58--58, 33(2)35--35, 33(2)39--39, 33(3)61--61, 33(4)94--94,
33(4)99--99
-
scenario-based, 13(1)37--85, 20(4)18--18, 21(2)12--12
-
Schäfer, W., 1(2)135--167, see Engels, G.
-
Schallhart, Christian, 20(4)14--14, 22(2)15--15
-
Schallhart, Christian, see Bauer, Andreas,
see Chaki, Sagar
-
Schaub, Florian, 25(3)22--22
-
Schaub, Florian, see Bhatia, Jaspreet
-
Schaumont, Patrick, 24(2)11--11
-
Schaumont, Patrick, see Eldib, Hassan
-
schedulability, 33(2)32--32
-
schedule, 4(3)287--317, 25(2)14--14, 28(2)10--10
-
scheduled, 28(2)10--10
-
scheduler, 26(3)9--9
-
scheduling, 4(3)221--286, 4(3)287--317, 28(2)10--10
-
Schekelmann, André, 28(2)9--9, see Wagner, Stefan
-
schema, 8(3)215--262, 8(4)425--472, 20(4)15--15, 21(2)13--13,
23(2)12--12, 25(1)8--8
-
scheme, 2(3)228--269, 4(2)109--145, 6(3)213--249, 7(2)109--157,
8(1)49--78, 16(3)12--12, 31(1)3--3
-
schemes, 22(1)4--4, 25(1)10--10, 32(5)130--130, 33(1)17--17
-
Schett, Maria A., 31(4)70--70
-
Schett, Maria A., see Albert, Elvira
-
Schmid, Angelika, 31(2)19--19, 32(4)86--86
-
Schmid, Angelika, see Bock, Thomas,
see Joblin, Mitchell
-
Schmidt, Volker, 33(1)10--10
-
Schmidt, Volker, see Clark, Andrew G.
-
Schneider, G. Michael, 1(2)188--204
-
Schneider, Haim, 2(2)128--175
-
Schneider, Haim, see Feldman, Yishai A.
-
Schneider:1992:ESF, 1(2)188--204
-
Scholar, 33(4)98--98
-
scholarly, 17(4)19--19
-
Schonberg, Edith, 23(3)23--23
-
Schonberg, Edith, see Xu, Guoqing
-
Schrefl, Michael, 11(1)92--148
-
Schrefl:2002:BCS, 11(1)92--148
-
Schroeder, 32(3)60--60
-
Schubert, Philipp Dominik, 32(5)121--121
-
Schubert, Philipp Dominik, see Sattler, Florian
-
Schürr, A., 1(2)135--167, see Engels, G.
-
Schwartz, Ed, 32(2)39--39
-
Schwartz, Ed, see Dramko, Luke
-
Schwarz, Mathias, 23(4)29--29
-
Schwarz, Mathias, see M{\o}ller, Anders
-
science, 16(4)15--15, 17(4)19--19, 18(3)10--10, 21(1)6--6, 27(3)11--11,
28(2)8--8, 30(3)30--30, 32(4)88--88, 33(1)25--25
-
scientific, 14(2)168--198, 20(3)9--9, 21(4)24--24, 23(1)5--5, 24(1)4--4,
24(2)8--8, 27(2)7--7, 33(1)10--10
-
scientists, 22(4)29--29, 25(1)7--7, 28(2)8--8, 33(4)101--101
-
SCM, 6(4)398--441, 8(3)284--295
-
scope, 6(1)80--110, 18(2)5--5, 24(1)3--3, 25(1)7--7, 29(3)18--18,
32(2)51--51
-
Scoping, 32(6)140--140
-
score, 25(1)8--8, 25(3)23--23, 27(2)6--6, 28(4)22--22, 28(4)23--23
-
SCR, 5(3)231--261
-
scratch, 24(1)4--4
-
screen, 23(3)21--21, 24(1)1--1
-
screencasts, 29(3)21--21
-
screens, Diode-OLED-, 27(3)14--14
-
script, 27(2)6--6, 30(1)3--3, 32(1)8--8, 32(2)55--55, 32(3)75--75,
33(3)82--82
-
scripting, 29(4)28--28, 32(1)8--8
-
Scrum, 32(3)74--74
-
SCs, 31(2)30--30
-
SDCs, 32(2)28--28
-
SDEE, 31(2)33--33
-
SDF, 2(2)176--201
-
SE, 26(1)3--3, 27(3)11--11, 30(2)18--18, 31(1)7--7, 31(1)15--15,
31(2)32--32, 31(3)38--38, 31(3)48--48, 31(3)50--50, 32(2)48--48,
32(3)69--69, 32(5)108--108, 33(3)62--62, 33(3)81--81, 33(4)109--109,
33(4)111--111
-
SEADS, 30(1)10--10
-
SEAL, 32(5)121--121
-
seamlessly, 29(1)4--4
-
search--based, 26(4)14--14
-
Search-Based, 20(3)12--12, 25(3)23--23, 26(1)4--4, 29(2)10--10,
30(3)36--36, 31(1)2--2, 32(1)5--5, 32(4)85--85, 33(2)40--40
-
search-based, 18(3)11--11, 20(3)12--12, 24(3)17--17, 25(2)17--17,
25(3)23--23, 26(4)13--13, 27(1)3--3, 27(2)5--5, 29(2)10--10,
29(3)20--20, 30(2)12--12, 30(3)36--36, 31(1)1--1, 32(1)5--5,
32(1)17--17, 33(2)40--40, 33(4)103--103
-
searcher, 2(3)286--303
-
searcher-supplied, 2(3)286--303
-
searching, 6(2)111--140, 9(4)341--378, 22(4)37--37, 30(2)23--23,
31(1)12--12, 32(3)80--80, 32(6)134--134, 32(6)140--140
-
second, 9(1)3--50, 17(1)2--2, 18(1)1--1, 18(2)6--6, 18(3)11--11,
20(4)14--14, 21(3)18--18, 22(1)5--5, 22(3)23--23, 22(3)24--24,
22(4)37--37, 23(1)4--4, 24(3)19--19, 25(4)29--29, 27(4)17--17,
28(3)14--14, 28(4)19--19, 28(4)24--24, 30(4)42--42
-
second-order, 22(4)33--33
-
secondary, 22(4)36--36, 32(4)107--107
-
Secondly, 9(2)133--166
-
secrecy, 30(3)26--26
-
secret, 24(2)11--11, 28(3)16--16, 29(3)14--14, 33(3)79--79
-
section, 17(2)6--6
-
sectors, 23(1)9--9
-
secure, 9(4)443--487, 20(4)16--16, 22(2)15--15, 23(1)3--3, 24(2)11--11,
28(4)24--24, 29(4)27--27, 30(3)26--26, 31(1)9--9, 31(2)36e_36e,
31(3)55--55, 32(1)3--3, 32(1)16--16, 32(3)58--58, 32(3)60--60,
32(3)64--64
-
securely, 30(3)35--35
-
Securing, 32(5)130--130
-
security, 9(4)341--378, 9(4)410--442, 9(4)443--487, 9(4)488--528,
15(1)39--91, 18(3)9--9, 20(4)16--16, 22(2)15--15, 22(4)33--33,
23(1)3--3, 23(4)29--29, 24(2)11--11, 26(3)11--11, 27(2)7--7,
27(4)15--15, 28(2)7--7, 28(4)24--24, 30(1)3--3, 31(1)3--3, 31(1)9--9,
31(1)13--13, 31(2)36e_36e, 31(3)49--49, 31(4)64--64, 32(1)3--3,
32(1)16--16, 32(1)24--24, 32(2)38--38, 32(2)50--50, 32(3)60--60,
32(3)64--64, 32(4)83--83, 32(4)90--90, 32(4)99--99, 32(5)112--112,
32(5)113--113, 32(6)158--158, 32(6)160--160, 33(2)34--34,
33(2)43--43, 33(2)45--45, 33(2)52--52, 33(3)62--62, 33(3)78--78,
33(3)79--79
-
security-critical, 32(3)64--64
-
security-passing, 9(4)341--378
-
security-relevant, 18(3)9--9
-
security-sensitive, 22(4)33--33
-
SEE, 22(4)35--35, 24(3)20--20, 28(1)5--5
-
see, 2(4)311--345, 3(1)3--28, 3(3)201--220, 4(2)214--216, 4(2)217--219,
6(3)213--249, 6(3)329--331, 7(2)192--214, 7(3)333--334,
7(4)449--449, 16(1)5--5, 21(2)13--13, 28(4)21--21, 31(2)31--31
-
seed, 25(2)17--17, 28(4)24--24, 32(1)17--17, 33(1)23--23
-
seeding, 32(1)17--17
-
Seeing, 32(3)65--65
-
seek, 22(2)15--15, 22(3)19--19, 24(3)19--19, 25(1)6--6, 28(4)23--23,
29(4)26--26, 30(1)11--11, 30(2)14--14, 32(3)80--80, 32(5)109--109,
33(1)20--20
-
seeking, 22(2)14--14
-
seem, 6(1)1--30, 17(4)20--20, 18(1)2--2, 18(3)12--12, 23(4)31--31,
28(2)11--11, 29(4)28--28, 30(1)9--9
-
seen, 17(1)3--3, 21(2)13--13, 23(2)16--16, 23(4)35--35, 24(1)3--3,
27(1)1--1, 28(1)2--2, 30(1)9--9, 32(2)48--48, 33(1)28--28
-
segment, 17(4)19--19, 22(3)18--18, 28(2)8--8
-
segmented, 2(1)47--92
-
Segura, Sergio, 25(2)17--17, 27(3)13--13, 29(1)2--2
-
Segura, Sergio, see Hierons, Robert M.,
see Troya, Javier
-
seldom, 31(1)6--6
-
select, 2(3)270--285, 6(2)173--210, 7(3)250--295, 10(1)56--109,
17(4)18--18, 17(4)19--19, 19(1)1--1, 20(2)4--4, 20(3)9--9, 21(1)5--5,
21(4)23--23, 22(1)6--6, 23(3)26--26
-
selected, 1(3)205--228, 1(4)422--451, 5(1)63--86, 20(3)9--9, 21(4)20--20,
24(2)8--8, 26(3)11--11, 31(4)74--74
-
selecting, 7(3)250--295, 10(2)149--183, 10(2)184--208, 22(3)23--23,
26(2)8--8, 27(4)18--18, 28(2)8--8, 28(2)9--9, 32(3)63--63
-
selection, 1(2)168--187, 1(3)205--228, 2(3)270--285, 4(2)171--213,
5(2)87--98, 6(2)173--210, 6(4)333--369, 10(2)149--183,
10(2)184--208, 16(4)14--14, 20(3)9--9, 22(1)6--6, 23(1)5--5,
24(1)6--6, 24(2)8--8, 25(2)17--17, 26(4)14--14, 28(3)13--13,
30(2)13--13, 31(4)78--78, 32(1)17--17, 32(4)93--93, 33(1)23--23,
33(1)25--25, 33(3)63--63, 33(3)76--76
-
selection, test-, 10(2)149--183
-
selective, 3(1)3--28, 4(2)214--216, 6(2)173--210, 10(2)184--208
-
selectively, 7(3)296--332, 25(2)14--14
-
self, 32(3)79--79
-
self-adaptation, 18(4)15--15, 32(1)12--12
-
Self-Adaptive, 27(2)5--5
-
Self-adaptive, 32(1)12--12
-
Self-Admitted, 28(3)15--15
-
Self-admitted, 28(3)15--15, 30(4)45--45
-
self-assessment, 19(4)12--12, 31(3)42--42
-
self-contained, 26(3)10--10
-
Self-debugging, 33(4)107--107
-
Self-Destruct, 31(2)30--30
-
self-destructed, 31(2)30--30
-
self-driving, 32(2)28--28, 32(4)105--105, 33(3)74--74
-
self-enforcing, 29(4)27--27
-
self-healing, 24(3)16--16
-
self-organization, 18(4)15--15
-
self-organized, 32(6)138--138
-
self-recovery, 23(1)5--5
-
Selfdestruct, 31(2)30--30
-
sem2vec, 32(4)90--90
-
Semantic-aware, 33(2)45--45
-
Semantic-Based, 31(2)34e_34e
-
semantic-based, 23(2)15--15
-
Semantic-Enriched, 32(6)147--147
-
semantic-preserving, 19(4)11--11
-
semantic-relatedness, 25(1)10--10
-
semantically, 10(1)5--55, 21(2)13--13, 24(3)16--16, 28(3)13--13,
29(4)28--28
-
semantics, programming-language-, 21(3)15--15
-
semantics-aware, 23(3)23--23, 32(4)90--90
-
semantics-based, 4(1)3--35, 10(1)5--55, 31(3)37--37
-
semantics-preserving, 1(3)310--354
-
SemDiff, 20(4)19--19
-
semi-automated, 7(2)109--157
-
semi-automatic, 16(4)13--13, 23(2)20--20, 28(4)20--20
-
semi-formal, 21(2)10--10
-
semi-supervised, 32(2)43--43
-
semiautomated, 25(3)22--22
-
semiautomatic, 7(3)250--295, 17(1)3--3, 19(1)1--1
-
semiautomatically, 6(2)111--140, 8(3)215--262, 8(4)425--472,
21(4)20--20
-
semiautonomous, 9(3)273--305
-
SemMT, 31(2)34e_34e
-
SEMu, 30(2)19--19
-
Sen, Sagar, 28(2)9--9, 31(3)45--45
-
Sen, Sagar, see Marijan, Dusica,
see Wagner, Stefan
-
send, 16(4)14--14
-
sending, 3(2)101--130
-
Sengupta, Bikram, 21(2)12--12
-
Sengupta, Bikram, see Roychoudhury, Abhik
-
senior, 16(4)14--14, 20(1)2--2, 32(4)83--83
-
sense, 7(2)158--191, 21(4)20--20, 24(1)6--6, 29(1)2--2, 32(4)83--83
-
sensing, 24(1)2--2, 32(5)124--124
-
sensitive, 1(1)5--20, 4(3)287--317, 22(4)33--33, 23(2)19--19,
23(4)29--29, 24(2)11--11, 29(3)14--14, 31(4)71--71, 32(2)50--50,
32(4)89--89, 32(6)155--155
-
sensitive, context-, 17(2)9--9, 18(1)3--3, 18(2)6--6
-
sensitive, flow-, 3(1)29--55, 17(2)9--9
-
sensitive, index-, 22(4)33--33
-
Sensitive, Object-, 30(4)46--46, 32(4)101--101
-
sensitive, Object-, 32(4)101--101
-
sensitive, object-, 18(1)3--3, 32(4)101--101
-
Sensitive, Path-, 24(3)15--15
-
sensitive, path-, 22(3)18--18, 23(4)34--34, 24(3)15--15
-
sensitive, process-, 8(4)343--410
-
sensitive, security-, 22(4)33--33
-
sensitive, time-, 2(1)1--46, 4(3)287--317
-
sensitive, Variability-, 26(3)10--10
-
sensitive, variability-, 26(3)10--10
-
sensitively, context-, 18(1)3--3, 30(4)46--46
-
sensitivity, 14(1)1--41, 18(1)3--3, 23(2)19--19, 30(4)46--46
-
sensor, 19(4)12--12, 24(3)19--19, 33(1)18--18
-
sent, 21(3)19--19
-
sentences, 24(3)13--13
-
sentiment, 30(2)18--18, 31(3)38--38, 31(3)48--48
-
sentiment/emotion, 30(2)18--18
-
separate, 1(3)229--268, 1(3)310--354, 3(1)3--28, 4(1)3--35, 19(1)1--1,
20(1)1--1, 21(1)1--1, 21(2)10--10, 28(2)10--10, 32(4)101--101
-
separately, 3(1)29--55, 25(2)15--15, 25(3)27--27, 28(4)23--23
-
separating, 2(3)228--269, 4(4)365--389, 23(1)2--2
-
separation, 16(1)3--3, 17(4)18--18, 18(3)12--12, 19(1)1--1, 21(4)25--25
-
Sequeira, Sheldon, 25(2)12--12
-
Sequeira, Sheldon, see Alimadadi, Saba
-
sequence, 1(3)269--309, 3(2)101--130, 4(3)287--317, 5(1)63--86,
7(2)192--214, 7(3)250--295, 10(1)56--109, 16(1)4--4, 16(3)11--11,
18(2)7--7, 18(4)13--13, 20(4)18--18, 21(1)5--5, 21(2)12--12,
22(1)5--5, 22(2)13--13, 22(3)25--25, 23(2)15--15, 24(3)13--13,
25(3)23--23, 25(3)27--27, 26(1)5--5, 26(2)7--7, 26(4)13--13,
28(1)1--1, 28(1)3--3, 29(4)22--22, 32(3)71--71, 33(4)95--95
-
sequence, sequence-to-, 32(1)23--23
-
sequence-based, 18(2)4--4
-
sequence-to-sequence, 32(1)23--23
-
sequencing, 1(1)21--52, 7(1)41--79
-
sequent, 23(2)20--20
-
sequential, 1(1)21--52, 2(1)1--46, 17(2)10--10, 22(2)13--13, 24(1)4--4,
31(1)12--12, 31(3)37--37, 32(3)56--56, 32(6)151--151
-
Serebrenik, Alexander, 31(3)38--38
-
Serebrenik, Alexander, see Lin, Bin
-
Sergey, Ilya, 32(2)41--41
-
Sergey, Ilya, see Costea, Andreea
-
serial, 9(2)133--166
-
serializability, 4(3)221--286
-
Serializable, Non-, 30(1)7--7
-
serialized, 32(1)25--25
-
series, 3(4)271--307, 20(2)4--4, 21(4)20--20, 23(4)35--35, 24(1)2--2,
24(2)11--11, 25(2)18--18
-
serious, 9(3)273--305, 16(2)9--9, 28(3)16--16, 29(4)30--30,
32(5)118--118, 33(1)15--15, 33(3)79--79
-
Servant, Francisco, 32(4)93--93
-
Servant, Francisco, see Jin, Xianhao
-
serve, 4(3)221--286, 17(1)2--2, 17(2)10--10, 21(1)6--6, 22(2)14--14,
22(3)24--24, 24(2)8--8, 25(1)9--9
-
server, 16(4)14--14, 19(1)1--1, 21(3)19--19, 22(1)8--8, 22(2)15--15,
23(4)29--29, 25(2)13--13, 28(1)3--3, 30(1)3--3, 32(5)119--119
-
server, client-, 6(1)80--110, 32(5)122--122, 33(1)29--29
-
server-side, 24(4)25--25
-
serverless, 31(3)39--39, 32(5)119--119, 32(5)131--131
-
service, 5(3)191--230, 6(3)250--282, 6(3)283--328, 8(3)215--262,
8(4)425--472, 16(1)5--5, 17(4)19--19, 19(1)2--2, 19(2)6--6,
19(3)10--10, 19(4)11--11, 19(4)12--12, 21(2)11--11, 21(3)16--16,
22(2)12--12, 22(4)28--28, 23(1)2--2, 27(2)5--5, 28(1)3--3,
29(2)13--13, 29(4)22--22, 31(1)2--2, 31(1)16--16, 31(3)41--41,
32(1)2--2, 32(3)56--56, 32(5)122--122, 32(6)144--144, 32(6)160--160,
32(6)161--161, 33(1)27--27, 33(2)32--32, 33(4)90--90
-
Service, Function-as-a-, 31(3)39--39, 32(5)119--119
-
service-oriented, 16(1)5--5, 21(3)16--16, 22(2)12--12, 22(4)28--28,
27(2)5--5
-
ServiceMosaic, 19(4)11--11
-
servlet, 16(4)14--14, 23(4)29--29
-
sessions, 7(1)41--79, 28(3)17--17
-
set, generalization-, 22(3)24--24
-
set-based, 19(4)13--13, 25(2)15--15
-
set-based, lock-, 22(2)10--10
-
setting, 10(1)56--109, 19(2)6--6, 19(4)12--12, 21(1)2--2, 22(2)11--11,
22(3)20--20, 23(3)21--21, 24(2)12--12, 26(3)11--11, 31(2)27--27,
32(1)4--4, 32(4)84--84
-
setup, 23(4)32--32
-
seven, 24(1)6--6, 24(2)8--8, 24(3)13--13, 24(4)24--24, 25(3)20--20,
26(4)12--12, 27(4)18--18, 32(4)83--83
-
seventeen, 16(4)13--13
-
seventh, 32(3)70--70
-
several, 1(3)269--309, 1(4)422--451, 2(2)128--175, 3(2)131--165,
4(1)36--64, 4(1)65--106, 4(2)171--213, 4(4)365--389, 6(2)141--172,
6(3)283--328, 7(2)192--214, 7(4)368--410, 8(1)79--113, 9(1)51--93,
9(4)488--528, 10(1)56--109, 10(2)184--208, 16(1)3--3, 16(2)7--7,
16(2)9--9, 16(4)14--14, 17(1)3--3, 17(2)9--9, 17(2)10--10,
17(2)11--11, 17(3)16--16, 18(1)3--3, 18(2)5--5, 19(1)2--2,
19(4)12--12, 20(1)1--1, 20(3)12--12, 21(2)8--8, 21(2)12--12,
21(2)13--13, 21(3)15--15, 21(3)18--18, 21(3)19--19, 21(4)21--21,
21(4)23--23, 21(4)25--25, 22(2)13--13, 22(4)29--29, 22(4)30--30,
23(1)2--2, 23(3)26--26, 24(1)4--4, 24(2)7--7, 24(3)16--16,
24(4)23--23, 24(4)25--25, 25(1)5--5, 25(1)10--10, 25(2)19--19,
25(3)20--20, 25(4)31--31, 26(2)7--7, 26(2)8--8, 26(3)9--9,
26(3)10--10, 27(1)2--2, 27(1)4--4, 27(3)11--11, 27(4)17--17,
28(3)15--15, 30(1)9--9, 30(3)31--31, 31(1)3--3, 31(1)11--11,
31(2)36e_36e, 31(3)48--48, 32(2)47--47, 32(2)49--49, 32(3)71--71,
32(3)73--73, 32(3)75--75, 32(6)139--139, 32(6)157--157
-
severe, 22(2)10--10, 33(1)22--22, 33(2)43--43
-
severely, 20(3)9--9, 33(2)45--45
-
severity, 8(2)147--176, 24(2)7--7, 33(2)49--49
-
Sevitsky, Gary, 23(3)23--23
-
Sevitsky, Gary, see Xu, Guoqing
-
SGR1, 22(1)9--9
-
shadow, 27(3)10--10, 31(2)35e_35e
-
shadowing, 27(3)10--10
-
shaken, 31(2)27--27
-
shall, 28(2)8--8
-
Shamim, Shazibul Islam, 32(4)99--99
-
Shamim, Shazibul Islam, see Rahman, Akond
-
Shang, Weiyi, 31(3)53--53, 32(2)48--48, 33(2)38--38
-
Shang, Weiyi, see Ding, Zishuo,
see Liao, Lizhi
-
Shao, Changjie, 33(4)92--92
-
Shao:2024:ESR, 33(4)92--92
-
Shaout, Adnan, 24(3)17--17
-
Shaout, Adnan, see Mkaouer, Wiem
-
shape, 7(4)368--410, 9(1)51--93, 17(3)16--16, 23(4)30--30, 26(2)6--6
-
shaped, 25(2)13--13
-
sharable, 1(1)95--127
-
Sharafi, Zohreh, 30(3)30--30
-
Sharafi:2021:TOM, 30(3)30--30
-
share, 21(2)8--8, 22(2)11--11, 22(4)30--30, 23(4)31--31, 24(3)15--15,
27(4)16--16, 30(3)34--34, 30(4)42--42, 32(4)88--88, 33(2)33--33,
33(4)109--109, 33(4)110--110
-
shared, 2(3)203--227, 3(2)166--199, 6(3)250--282, 8(2)115--146,
9(1)51--93, 17(3)13--13, 22(2)10--10, 23(4)29--29, 23(4)31--31,
25(2)13--13, 30(3)35--35, 31(2)36e_36e, 32(6)136--136
-
shared-variable, 28(3)14--14
-
Shariffdeen, Ridwan Salihin, 30(1)6--6
-
Shariffdeen:2021:APT, 30(1)6--6
-
sharing, 3(2)166--199, 8(4)297--342, 9(4)410--442, 22(4)37--37,
23(4)31--31, 32(6)158--158, 33(1)8--8
-
Sharma, Abhishek, 27(4)16--16
-
Sharma, Rohan, 24(4)22--22
-
Sharma, Rohan, see Gligoric, Milos
-
Sharma, Subodh, 31(4)58--58
-
Sharma, Subodh, see Jain, Ridhi
-
Sharma, Vibhu Saujanya, 17(4)17--17
-
Sharma, Vibhu Saujanya, see Jalote, Pankaj
-
Sharma:2018:RWF, 27(4)16--16
-
Sharp, Helen, 18(3)10--10, 31(1)9--9, 32(3)64--64
-
Sharp, Helen, see Hall, Tracy,
see Lopez, Tamara, \see{Rauf, Irum
-
Shatz, S. M., 3(4)340--380
-
Shatz, S. M., see Duri, S.
-
shed, 20(1)2--2
-
sheer, 33(2)49--49
-
shelf, off-the-, 18(3)12--12, 21(4)25--25, 23(2)20--20,
23(3)21--21, 24(2)11--11, 30(2)18--18, 31(3)48--48
-
shell, 9(3)306--337, 32(1)8--8
-
Shen, Bowen, 32(2)40--40
-
Shen, Chao, 33(1)23--23
-
Shen, Chao, see Zhi, Yuhan
-
Shen, Juanjuan, 31(4)60--60
-
Shen, Juanjuan, see Zhou, Yu
-
Shen, Qingchao, 32(6)135--135
-
Shen, Qingchao, see Chen, Junjie
-
Shen, Sijie, 29(4)31--31
-
Shen, Sijie, see Wang, Wenhan
-
Shen, Yuheng, 33(1)11--11
-
Shen, Yuheng, see Liu, Jianzhong
-
Shen:2023:CSM, 32(2)40--40
-
Sheng, Feng, 28(3)14--14
-
Sheng, Qin, 33(1)16--16
-
Sheng, Qin, see Zhu, Hengcheng
-
Sheng:2019:TPA, 28(3)14--14
-
Sheretov, Andrei, 10(1)110--147
-
Sheretov, Andrei, see Rothermel, Gregg
-
Sherman, Elena, 24(3)15--15
-
Sherman:2015:DTB, 24(3)15--15
-
Shi, Chaoxuan, 33(3)67--67
-
Shi, Chaoxuan, see Zhu, Tingwei
-
Shi, Lin, 33(2)51--51
-
Shi, Lin, see Shin, Jiho
-
Shi, Ling, 22(1)3--3
-
Shi, Ling, see Sun, Jun
-
Shi, Qingkai, 32(3)66--66
-
Shi, Qingkai, see Wang, Chengpeng
-
Shi, Weishi, 33(2)39--39
-
Shi, Zhiqiang, 32(6)158--158, 33(1)1--1
-
Shi, Zhiqiang, see Yang, Shouguo
-
Shi:2024:ASE, 33(2)39--39
-
shift, 30(4)42--42, 31(2)27--27, 31(4)78--78, 33(3)57--57, 33(3)81--81
-
shifted, 32(3)68--68
-
Shihab, Emad, 32(1)15--15, 32(4)91--91, 32(6)149--149, 33(2)36--36
-
Shihab, Emad, see Alfadel, Mahmoud,
see Jafari, Abbas Javan,
see Khatoonabadi, Sayedhassan
-
Shin, Donghwan, 33(4)95--95
-
Shin, Donghwan, see Clun, Donato
-
Shin, Jiho, 33(2)51--51
-
Shin, Seung Yeob, 32(2)37--37, 33(2)32--32, 33(2)35--35
-
Shin, Seung Yeob, see Lee, Jaekwon,
see Mandrioli, Claudio
-
Shin:2024:GBM, 33(2)51--51
-
shines, 6(1)1--30
-
ship, 32(6)142--142
-
shipped, 32(2)53--53
-
shipping, 31(2)28--28
-
Shonle, Macneil, 20(2)5--5, 21(3)15--15
-
Shonle, Macneil, see Sullivan, Kevin
-
Shonle:2012:FCR, 21(3)15--15
-
short, 33(3)67--67
-
short-term, 28(3)15--15
-
shortcomings, 1(4)399--421, 5(4)378--421, 19(2)6--6, 21(1)3--3,
22(3)27--27, 30(3)31--31
-
shorter, 26(1)5--5
-
shotgun, 25(3)23--23
-
should, 1(4)399--421, 2(3)270--285, 2(4)379--411, 3(2)101--130,
4(2)109--145, 5(4)293--333, 6(1)1--30, 7(3)250--295, 9(3)273--305,
10(2)184--208, 17(1)2--2, 17(2)7--7, 19(4)11--11, 20(1)2--2,
20(4)15--15, 21(2)9--9, 21(2)13--13, 21(4)20--20, 21(4)24--24,
22(1)6--6, 22(3)21--21, 22(4)31--31, 23(1)2--2, 23(1)5--5,
23(1)10--10, 23(2)14--14, 24(3)20--20, 25(1)8--8, 26(1)2--2,
27(1)1--1, 27(4)17--17, 28(1)3--3, 28(1)4--4, 30(3)37--37,
31(1)16--16, 31(3)40--40, 32(1)22--22, 32(2)43--43, 32(4)104--104,
32(6)152--152, 33(4)86--86
-
showed, 7(1)41--79, 20(2)4--4, 23(2)16--16, 24(3)13--13, 27(1)2--2
-
showing, 1(4)399--421, 5(1)42--62, 17(1)2--2, 20(2)7--7, 21(2)8--8,
21(4)21--21, 23(1)7--7, 25(2)15--15, 25(3)26--26, 30(1)9--9
-
shown, 1(2)135--167, 3(2)131--165, 3(2)166--199, 5(1)63--86,
5(4)334--377, 8(4)411--424, 9(4)488--528, 16(3)11--11, 16(4)13--13,
17(4)18--18, 18(2)7--7, 21(4)23--23, 22(3)18--18, 22(3)25--25,
22(4)35--35, 23(1)3--3, 25(4)29--29, 27(1)1--1, 28(3)13--13,
29(3)14--14, 29(4)31--31, 30(3)38--38, 31(1)1--1, 31(3)48--48,
31(4)58--58, 31(4)60--60, 31(4)67--67, 32(1)18--18, 32(3)73--73,
32(6)137--137
-
Shreeve, Benjamin, 32(4)83--83
-
Shreeve:2023:MSU, 32(4)83--83
-
Shu, Junhuai, 32(5)126--126
-
Shu, Junhuai, see Huang, Yuan
-
shutdown, 8(1)1--48
-
shuttle, 7(3)296--332
-
Shvartsman, Alex, 11(1)63--91
-
Shvartsman, Alex, see Keidar, Idit
-
Sibahi, Ahmad Salim, Al-, 30(1)5--5
-
side, 7(3)250--295, 27(4)17--17, 29(3)14--14, 31(1)3--3, 32(4)82--82,
33(1)14--14
-
side, client-, 24(4)25--25
-
side, server-, 24(4)25--25
-
Side-Channel, 24(2)11--11, 33(3)79--79
-
side-channel, 24(2)11--11, 28(3)16--16, 30(3)26--26, 33(3)79--79
-
side-effects, 23(3)21--21
-
Siebert, Julien, 31(2)37e_37e
-
Siebert, Julien,
see Martínez-Fernández, Silverio
-
Siegel, Stephen F., 17(2)10--10
-
Siegel:2008:CSE, 17(2)10--10
-
Siegmund, Janet, 30(1)2--2, 32(4)86--86
-
Siegmund, Janet, see Joblin, Mitchell
-
Siegmund, Norbert, 30(1)2--2, 32(5)121--121
-
Siegmund, Norbert, see Sattler, Florian,
see Siegmund, Janet
-
Siegmund:2021:MVH, 30(1)2--2
-
Siemens, 20(3)11--11
-
sieve, 2(2)128--175
-
Sifakis, Joseph, 26(3)9--9
-
Sifakis, Joseph, see Attie, Paul C.
-
signal, 10(4)397--451, 16(2)9--9, 28(2)6--6, 32(6)145--145
-
signature, 4(2)146--170, 22(4)32--32, 33(3)60--60
-
significance, 22(4)37--37, 27(2)5--5, 29(2)12--12, 32(2)30--30
-
significant, 3(4)271--307, 5(1)63--86, 6(3)283--328, 7(1)41--79,
8(2)147--176, 10(1)5--55, 17(1)3--3, 17(3)14--14, 18(1)3--3,
19(4)12--12, 20(1)2--2, 20(2)6--6, 21(1)5--5, 21(2)12--12, 22(1)5--5,
22(1)6--6, 22(3)21--21, 22(3)22--22, 22(4)38--38, 23(1)3--3,
23(1)9--9, 23(4)33--33, 24(1)1--1, 24(3)15--15, 24(4)24--24,
25(1)7--7, 25(2)15--15, 25(3)27--27, 28(1)4--4, 28(2)7--7,
28(2)11--11, 28(4)23--23, 28(4)24--24, 29(3)16--16, 30(2)12--12,
30(4)41--41, 31(1)15--15, 31(3)36--36, 31(4)65--65, 32(3)56--56,
32(5)115--115, 32(5)125--125, 32(6)145--145, 33(1)9--9, 33(2)47--47,
33(2)49--49, 33(2)52--52, 33(3)57--57
-
significantly, 3(1)3--28, 4(1)65--106, 5(1)63--86, 6(2)173--210,
7(1)41--79, 7(2)192--214, 8(3)263--283, 9(3)239--272, 10(1)110--147,
16(1)4--4, 17(3)13--13, 18(3)10--10, 20(2)7--7, 21(4)20--20,
22(1)4--4, 22(1)8--8, 22(3)19--19, 22(3)21--21, 22(3)22--22,
23(1)5--5, 23(1)10--10, 23(4)33--33, 23(4)34--34, 24(2)7--7,
24(3)13--13, 24(3)15--15, 25(2)18--18, 25(3)25--25, 25(3)27--27,
26(3)11--11, 26(4)12--12, 26(4)14--14, 27(1)3--3, 27(4)18--18,
28(1)5--5, 28(3)16--16, 28(4)23--23, 28(4)24--24, 30(3)32--32,
32(5)128--128, 33(3)69--69
-
signs, 20(1)1--1
-
silent, 19(4)11--11
-
Silveira Neto, Paulo, Anselmo Da Mota, 33(4)101--101
-
Sim, Susan Elliott, 21(1)4--4
-
Sim:2011:HWD, 21(1)4--4
-
Simhandl, Georg, 30(4)47--47, 32(1)16--16
-
Simhandl, Georg, see Paulweber, Philipp,
see Zdun, Uwe
-
similar, 4(2)171--213, 5(4)334--377, 7(2)109--157, 10(1)56--109,
17(1)2--2, 19(4)13--13, 20(4)17--17, 21(1)6--6, 21(2)12--12,
21(3)19--19, 22(1)5--5, 22(1)7--7, 22(2)12--12, 23(1)5--5, 24(1)4--4,
24(4)26--26, 25(3)23--23, 25(4)29--29, 26(1)4--4, 28(1)5--5,
28(3)13--13, 28(4)21--21, 28(4)22--22, 31(2)31--31, 31(2)33--33,
31(4)72--72, 31(4)78--78, 33(1)7--7, 33(1)22--22, 33(3)67--67
-
similarity, 1(3)205--228, 1(4)355--398, 8(3)215--262, 8(4)425--472,
20(4)18--18, 22(2)13--13, 22(3)19--19, 25(1)10--10, 27(4)18--18,
31(2)30--30, 31(2)33--33, 31(4)77--77, 32(2)43--43, 32(4)87--87,
32(4)90--90, 32(5)123--123, 32(6)158--158, 33(1)1--1, 33(4)96--96
-
similarity-based, 1(3)205--228, 22(1)6--6, 22(3)19--19, 32(3)75--75
-
similarity-propagation, 28(3)13--13
-
similarly, 8(2)147--176, 22(4)32--32, 22(4)35--35, 24(3)13--13
-
simple, 1(1)5--20, 1(3)229--268, 1(4)422--451, 3(4)340--380,
4(2)109--145, 4(2)171--213, 8(2)177--212, 17(1)2--2, 17(4)17--17,
18(4)15--15, 20(3)11--11, 20(4)14--14, 20(4)19--19, 21(1)5--5,
22(1)4--4, 23(3)23--23, 24(3)13--13, 24(3)20--20, 25(1)8--8,
25(3)25--25, 27(1)1--1, 29(4)28--28, 33(3)64--64
-
simpler, 8(1)1--48, 22(4)34--34, 24(2)12--12, 25(3)25--25, 27(4)17--17,
32(5)116--116
-
simplest, 25(1)8--8
-
simplicity, 3(4)271--307
-
simplified, 3(3)254--270, 26(3)10--10, 26(4)14--14
-
simplify, 8(3)284--295, 9(4)379--409, 20(2)4--4, 31(3)39--39
-
simply, 4(2)146--170, 18(3)9--9, 30(3)26--26
-
SiMPOSE, 28(3)13--13
-
simulate, 1(3)269--309, 2(2)128--175, 10(1)56--109, 22(4)29--29
-
simulated, 2(2)128--175, 27(1)2--2, 32(3)58--58, 33(3)74--74,
33(4)94--94
-
simulating, 1(3)269--309, 2(2)128--175, 32(3)70--70, 33(1)10--10
-
simulation, 1(3)269--309, 1(4)355--398, 2(1)93--106, 2(2)128--175,
2(3)203--227, 3(1)56--98, 6(3)283--328, 8(1)1--48, 11(1)63--91,
18(4)13--13, 21(2)12--12, 23(1)5--5, 25(2)16--16, 28(2)6--6,
28(3)14--14, 29(1)1--1, 32(2)28--28, 32(2)29--29
-
simulation-based, 21(3)18--18, 32(2)28--28, 32(3)58--58
-
simulator, 1(3)269--309, 18(4)13--13, 33(3)74--74
-
Simulator-based, 32(4)104--104
-
simultaneous, 20(4)18--18, 22(4)35--35, 26(4)14--14
-
simultaneously, 6(4)398--441, 21(1)1--1, 22(1)4--4, 25(2)19--19,
33(4)110--110
-
since, 3(1)29--55, 4(2)171--213, 6(4)333--369, 6(4)370--397,
9(4)443--487, 10(1)56--109, 10(2)184--208, 16(1)4--4, 16(4)15--15,
17(3)15--15, 18(2)6--6, 21(2)12--12, 22(3)17--17, 22(3)26--26,
23(1)5--5, 23(2)20--20, 25(1)2--2, 25(1)5--5, 25(3)21--21, 26(1)3--3,
27(2)6--6, 27(4)15--15, 28(1)1--1, 28(1)4--4, 28(4)24--24, 29(1)3--3,
29(3)15--15, 31(4)76--76, 32(1)21--21, 32(1)25--25, 32(2)29--29,
32(2)33--33, 33(2)53--53, 33(4)96--96, 33(4)106--106
-
singe, 2(1)47--92
-
Singer, 27(4)16--16
-
Singh, Munindar P., 19(2)6--6, 24(3)19--19, 29(1)7--7
-
Singh, Munindar P., see Desai, Nirmit,
see Kafali, Özgür,
see Murukannaiah, Pradeep K.
-
Singh, Param Vir, 20(2)6--6
-
Singh, Tajinder, 33(3)64--64
-
Singh, Tajinder, see Kochanthara, Sangeeth
-
Singh:2010:SWE, 20(2)6--6
-
single, 1(3)269--309, 1(4)422--451, 2(1)47--92, 3(1)3--28, 9(1)3--50,
9(1)51--93, 9(2)133--166, 9(3)273--305, 16(1)3--3, 18(1)2--2,
18(4)14--14, 19(1)1--1, 20(4)18--18, 21(1)5--5, 21(3)14--14,
23(1)3--3, 24(1)5--5, 25(3)22--22, 25(3)27--27, 26(1)4--4, 27(2)8--8,
28(3)13--13, 30(3)34--34, 32(2)28--28, 32(2)53--53, 32(3)63--63,
32(3)68--68, 32(4)103--103
-
single-assignment, static-, 1(3)310--354
-
single-bug, 20(3)11--11
-
single-clocked, 16(2)9--9
-
single-function, 26(3)10--10
-
single-level, 24(1)6--6
-
singular, 6(3)250--282
-
Sinha, Avik, 15(3)242--278
-
Sinha, Saurabh, 10(2)209--254, 13(2)199--239
-
Sinha, Saurabh, see Orso, Alessandro
-
Sinha:2001:ICD, 10(2)209--254
-
Sinha:2006:HMB, 15(3)242--278
-
Sinnig, Daniel, 22(3)27--27
-
Sinnig:2013:UCT, 22(3)27--27
-
Sintaha, Mifta, 32(4)100--100
-
Sintaha:2023:KDS, 32(4)100--100
-
Siow, Jing Kai, 31(1)13--13
-
Siow, Jing Kai, see Zhou, Yaqin
-
SIP, 2(2)128--175, 25(2)17--17
-
SIR, 28(4)23--23
-
Sistla, A. Prasad, 9(2)133--166
-
Sistla:2000:SSB, 9(2)133--166
-
Sisto, Riccardo, 12(2)222--284
-
Sisto, Riccardo, see Durante, Luca
-
site, 17(1)3--3, 18(1)3--3, 20(1)1--1, 21(1)4--4, 21(1)5--5, 23(2)14--14,
24(2)8--8, 30(1)11--11, 30(3)31--31, 33(1)20--20
-
sited, multi-, 32(3)64--64
-
situation, 7(2)192--214, 7(3)250--295, 8(4)343--410, 9(3)306--337,
22(1)5--5, 22(2)13--13, 22(2)14--14, 24(1)6--6, 24(2)12--12,
25(1)2--2, 25(4)28--28, 27(3)13--13, 28(4)21--21, 31(2)30--30,
32(5)111--111, 33(1)3--3, 33(1)5--5
-
six, 16(1)4--4, 17(2)11--11, 18(2)5--5, 21(4)23--23, 23(4)35--35,
24(3)13--13, 24(4)24--24, 25(2)17--17, 25(3)23--23, 26(2)6--6,
26(4)13--13, 27(1)3--3, 27(3)11--11, 32(1)1--1, 32(2)55--55,
33(3)57--57, 33(4)91--91
-
six, Thirty-, 28(3)17--17
-
six-step, 8(4)343--410
-
Sixty-nine, 28(1)2--2
-
Siy, Harvey, 7(1)41--79
-
Siy, Harvey, see Porter, Adam
-
Siy, Harvey P., 10(3)308--337
-
Siy, Harvey P., see Perry, Dewayne E.
-
sizable, 17(4)19--19, 32(5)128--128
-
size, 2(3)270--285, 2(4)346--378, 6(2)141--172, 7(1)41--79, 9(1)51--93,
16(2)8--8, 16(4)15--15, 17(2)7--7, 17(3)15--15, 17(3)16--16,
19(2)4--4, 20(4)14--14, 21(1)4--4, 22(1)6--6, 22(3)26--26,
22(4)31--31, 22(4)34--34, 23(1)10--10, 23(2)20--20, 23(3)24--24,
23(4)31--31, 23(4)33--33, 23(4)35--35, 25(1)3--3, 25(2)15--15,
25(3)20--20, 25(3)27--27, 26(1)1--1, 27(1)1--1, 27(1)3--3, 27(2)5--5,
27(3)13--13, 30(1)9--9, 32(1)8--8, 32(1)16--16, 32(5)114--114,
32(5)128--128
-
size, industrial-, 25(1)4--4
-
size-based, 17(1)2--2
-
sized, medium-, 3(1)3--28, 20(2)5--5
-
sizing, 19(2)4--4
-
sketch, 1(1)21--52, 7(2)158--191, 8(4)343--410, 24(1)1--1
-
skill, 22(4)36--36, 29(3)21--21, 31(4)81--81
-
skip, 33(4)107--107
-
skipping, 25(4)28--28
-
Slack, 30(4)48--48
-
slave, Master-, 6(1)80--110
-
Slavin, Rocky, 32(4)89--89
-
Slavin, Rocky, see Zhang, Xueling
-
slice, 6(4)370--397, 10(1)5--55, 16(2)8--8, 23(1)9--9
-
slice-based, 17(1)2--2
-
slicer, 16(2)8--8
-
slicing, 4(1)3--35, 6(4)370--397, 10(1)5--55, 10(2)209--254,
11(3)347--383, 16(2)8--8, 17(1)2--2, 19(2)5--5, 20(2)4--4, 23(1)9--9,
23(3)23--23, 26(1)1--1, 32(4)100--100
-
slicing-based, 10(1)5--55
-
slightly, 28(2)11--11
-
slip, 22(2)10--10
-
slow, 32(2)35--35
-
slowdowns, 25(3)27--27
-
slowing, 30(3)33--33
-
SLR, 32(3)60--60
-
small, 2(3)286--303, 4(4)365--389, 5(3)262--292, 7(1)41--79,
9(2)199--237, 9(4)488--528, 16(1)4--4, 18(2)6--6, 20(2)6--6,
20(4)15--15, 23(4)33--33, 23(4)35--35, 24(1)4--4, 25(2)14--14,
26(3)9--9, 27(4)18--18, 29(3)16--16, 30(1)9--9, 31(3)44--44,
32(3)77--77, 32(5)116--116, 33(3)58--58, 33(4)100--100
-
small-world, 20(2)6--6
-
smaller, 2(3)270--285, 8(1)1--48, 17(2)7--7, 18(3)9--9, 22(4)34--34,
25(3)27--27, 27(1)1--1
-
Smalltalk, 3(3)221--253
-
Smaragdakis, Yannis, 11(2)215--255, 17(2)8--8, 18(2)6--6, 19(1)1--1,
24(2)7--7
-
Smaragdakis, Yannis, see Csallner, Christoph,
see Huang, Shan Shan, \see{Li, Kaituo,
see Tilevich, Eli
-
Smaragdakis:2002:MLO, 11(2)215--255
-
smart, 3(1)3--28, 22(4)32--32, 28(1)3--3, 29(4)27--27, 30(3)28--28,
31(2)30--30, 31(4)70--70, 32(1)26--26, 32(3)57--57, 32(3)61--61,
32(5)130--130, 32(6)147--147, 33(2)47--47, 33(4)89--89,
33(4)106--106
-
smartest, 3(1)3--28
-
smartphones, 33(1)26--26, 33(2)47--47
-
SMC, 9(2)133--166
-
SMDS, 8(3)284--295
-
Smedley, Trevor J., 18(1)1--1
-
Smedley, Trevor J., see Karam, Marcel R.
-
smell, 22(1)7--7, 23(4)33--33, 24(1)6--6, 27(1)2--2, 30(1)3--3,
30(3)29--29, 32(1)8--8, 32(4)88--88, 33(3)59--59
-
Smell, Code-, 24(1)6--6
-
smell, code-, 24(1)6--6
-
Smidts, Carol, 15(3)242--278
-
Smidts, Carol, see Sinha, Avik
-
Smith, Ben, 21(4)24--24
-
Smith, Ben, see Meneely, Andrew
-
Smith, Gillian, 31(2)28--28
-
Smith, Gillian, see Williams, Ryan
-
Smith, P. M., Melliar-, 3(2)131--165, 6(1)31--79
-
Smithson, Matthew, 25(2)19--19
-
Smithson, Matthew, see Anand, Kapil
-
Smolka, Scott A., 16(3)12--12
-
Smolka, Scott A., see Basu, Samik
-
smooth, 1(3)269--309
-
smoothly, 1(1)95--127
-
SMSC, 21(2)12--12
-
SMSC-based, 21(2)12--12
-
SMSCs, 21(2)12--12
-
SMT, 23(3)26--26, 24(2)11--11, 24(3)15--15, 28(3)16--16, 28(3)18--18,
30(4)41--41
-
SMT-solver-based, 24(2)11--11
-
SNAS, 23(2)17--17
-
Snelting, Gregor, 5(2)146--189, 6(4)398--441, 15(4)410--457
-
Snelting, Gregor, see Zeller, Andreas
-
Snelting:1996:RCB, 5(2)146--189
-
Snelting:2006:EPC, 15(4)410--457
-
SNIAFL, 15(2)195--226
-
snippet, 21(2)12--12, 29(4)26--26, 31(1)12--12, 32(2)34--34, 32(3)80--80,
33(1)24--24, 33(3)67--67, 33(3)75--75
-
Snook, Colin, 15(1)92--122
-
Snook:2006:UBF, 15(1)92--122
-
SNOW-optimal, 31(3)43--43
-
Snyder, Cathrine E., 1(1)81--94
-
Snyder, Cathrine E., see Trammell, Carmen J.
-
so-called, 6(3)329--331, 31(1)1--1
-
SOA, 22(2)12--12
-
SOAP, 29(4)22--22
-
SOAR, 32(1)24--24
-
Sobhy, Dalia, 30(4)51--51, 31(3)46--46
-
Sobhy:2021:ESA, 30(4)51--51
-
Sobhy:2022:CPS, 31(3)46--46
-
SOC, 32(1)24--24
-
social, 7(1)1--40, 18(3)10--10, 20(2)6--6, 24(2)9--9, 24(3)19--19,
27(3)11--11, 27(4)16--16, 31(4)67--67, 33(1)26--26, 33(4)90--90
-
societal, 32(3)56--56
-
society, 30(1)10--10, 31(2)37e_37e, 31(3)45--45, 31(4)61--61
-
Socio-Technical, 31(4)67--67
-
socio-technical, 20(4)16--16, 31(4)67--67
-
sociotechnical, 29(1)7--7
-
Sockets, 28(4)24--24, 32(1)3--3
-
SocL, 21(3)16--16
-
Sodhi, Balwinder, 29(2)12--12, 31(2)33--33
-
Sodhi, Balwinder, see Kapur, Ritu
-
Soffa, Mary Lou, 2(3)270--285, 6(4)370--397, 12(1)1--2, 14(4)431--477,
22(3)18--18, 32(3)81--81
-
Soffa, Mary Lou, see Dola, Swaroopa,
see Ghezzi, Carlo, \see{Gupta, Rajiv,
see Harrold, M. Jean, \see{Le, Wei,
see Ryder, Barbara G.
-
soften, 31(2)21--21
-
softphone, 22(1)4--4
-
Softw, 7(4)449--449
-
softwAre, 27(2)5--5
-
software**, 1(1)53--80, 1(3)205--228, 1(3)269--309, 1(4)355--398,
2(3)286--303, 4(2)146--170
-
Software Engineering, ACM Transactions on, 12(1)105--105,
14(2)246--246
-
Software-2.0, 30(4)55--55
-
software-analysis, 28(3)13--13
-
software-based, 23(1)6--6, 32(4)83--83
-
software-centric, 25(1)7--7
-
software-development, 25(3)20--20
-
software-engineering, 16(4)14--14, 29(3)20--20
-
software-intensive, 33(3)64--64
-
software-load-testing, 5(2)87--98
-
software-related, 30(4)48--48
-
software-testing, 7(3)250--295, 21(3)17--17
-
Software/Program, 1(1)5--20, 1(1)21--52, 1(1)81--94, 2(1)1--46,
3(4)271--307, 3(4)308--339, 4(2)109--145, 5(3)231--261,
6(3)250--282, 7(4)335--367, 8(1)1--48, 8(1)49--78, 8(1)79--113,
8(4)411--424, 9(1)3--50, 9(1)51--93, 9(1)94--131, 9(2)133--166,
9(2)167--198, 9(3)239--272, 9(4)379--409, 9(4)443--487,
9(4)488--528
-
Sohn, Jeongju, 32(4)85--85
-
Sohn:2023:ASB, 32(4)85--85
-
SOLAR, 28(2)7--7
-
sold, 17(4)19--19, 27(3)14--14
-
Soler, Sara, Pérez-, 33(4)90--90
-
solid, 8(3)284--295
-
Soltana, Ghanem, 29(2)11--11
-
Soltana:2020:PCS, 29(2)11--11
-
Solti, Andreas, 29(3)17--17
-
Solti, Andreas, see Polyvyanyy, Artem
-
solution, 4(1)3--35, 4(2)171--213, 5(3)191--230, 6(1)1--30, 7(1)80--107,
16(3)10--10, 21(2)9--9, 21(3)14--14, 21(4)22--22, 22(1)8--8,
22(3)22--22, 22(4)31--31, 22(4)35--35, 22(4)36--36, 23(1)2--2,
23(1)3--3, 23(3)21--21, 23(4)34--34, 24(1)6--6, 24(2)12--12,
24(3)17--17, 25(1)4--4, 25(3)24--24, 25(3)26--26, 25(4)29--29,
26(1)3--3, 26(1)4--4, 27(1)2--2, 27(1)3--3, 27(2)5--5, 27(3)14--14,
29(2)10--10, 29(2)13--13, 29(3)20--20, 30(4)54--54, 31(2)25--25,
32(1)5--5, 32(1)26--26, 32(2)34--34, 32(3)75--75, 33(3)69--69
-
solve, 2(2)109--127, 3(1)29--55, 30(1)11--11, 31(1)14--14, 31(1)15--15,
32(3)69--69, 33(3)68--68, 33(4)91--91
-
solved, 9(4)488--528, 17(4)20--20, 24(1)5--5, 24(1)6--6, 25(3)26--26,
31(1)3--3
-
solver, 21(4)25--25, 23(2)20--20, 23(3)21--21, 23(3)26--26, 24(2)11--11,
24(3)15--15, 25(2)15--15, 25(2)17--17, 26(4)14--14, 28(3)16--16,
30(4)41--41
-
solver-based, 22(3)20--20
-
solver-based, SMT-, 24(2)11--11
-
solving, 2(2)176--201, 6(3)329--331, 23(3)21--21, 23(3)26--26,
23(4)30--30, 24(3)15--15, 25(2)14--14, 25(3)20--20, 26(1)1--1,
28(3)18--18, 29(2)11--11, 29(3)20--20, 30(4)41--41, 33(1)12--12,
33(2)51--51
-
solving, constraint-, 21(4)25--25
-
some/all, 21(2)12--12
-
Somerville, Jessie Elise, 32(3)76--76
-
Somerville, Jessie Elise, see Brun, Yuriy
-
something, 8(2)147--176
-
sometimes, 18(3)11--11, 22(4)35--35, 23(3)21--21, 24(1)5--5, 25(2)13--13,
27(3)11--11, 31(2)34e_34e, 31(3)38--38, 32(2)30--30
-
somewhere, 24(3)16--16
-
Sommerville, Ian, 14(1)85--117
-
Sommerville:2005:ESI, 14(1)85--117
-
Song, Fu, 28(3)16--16, 30(3)26--26, 32(3)62--62, 33(3)68--68,
33(3)79--79
-
Song, Fu, see Gao, Pengfei, \see{Zhang, Yedi,
see Zhao, Zhe
-
Song, Lihong, 33(1)16--16
-
Song, Lihong, see Zhu, Hengcheng
-
Song, Liyan, 28(1)5--5
-
Song, Qunying, 33(4)99--99
-
Song, Shuwei, 32(1)26--26
-
Song, Shuwei, see He, Zheyuan
-
Song, Wenjia, 33(3)56--56
-
Song, Wenjia, see Xiao, Ya
-
Song, Yuanyuan, 20(2)5--5
-
Song, Yuanyuan, see Sullivan, Kevin
-
Song:2019:SEI, 28(1)5--5
-
Song:2024:IPC, 33(4)99--99
-
soon, 23(3)24--24
-
sophisticated, 3(4)271--307, 8(3)284--295, 16(3)12--12, 22(1)4--4,
25(3)22--22, 32(5)128--128
-
Sorbo, Andrea, Di, 32(3)67--67
-
Soremekun, Ezekiel, 32(1)14--14
-
Soremekun, Ezekiel, see Ojdanic, Milos
-
Soriano, Javier, 22(4)36--36
-
Soriano, Javier, see Lizcano, David
-
sorted-list, 3(2)101--130
-
SOTA, 33(3)72--72
-
Soto-Valero, César, 32(2)38--38
-
Soto-Valero:2023:CBD, 32(2)38--38
-
sought, 25(1)8--8
-
sound, 6(1)1--30, 16(2)7--7, 16(4)14--14, 17(1)4--4, 17(2)9--9, 21(1)1--1,
21(1)6--6, 21(4)24--24, 22(2)15--15, 23(4)34--34, 25(3)21--21,
28(3)13--13, 29(3)20--20, 30(1)7--7, 30(3)26--26, 31(1)7--7
-
soundly, 28(2)7--7
-
soundness, 16(4)14--14, 22(1)8--8, 28(2)7--7, 28(3)14--14, 31(1)3--3
-
source, information-, 5(3)262--292
-
Source, Open-, 23(4)35--35, 31(2)19--19, 31(2)23--23,
32(1)15--15, 33(2)36--36, 33(3)63--63
-
source, Open-, 25(2)13--13, 32(1)22--22, 32(4)86--86,
33(4)104--104
-
source, open-, 18(2)4--4, 18(2)7--7, 19(2)4--4, 20(2)6--6,
21(4)23--23, 22(2)10--10, 23(1)7--7, 23(1)10--10, 23(3)21--21,
23(4)29--29, 23(4)31--31, 23(4)33--33, 23(4)35--35, 24(1)6--6,
24(2)7--7, 24(2)8--8, 24(3)14--14, 24(3)17--17, 25(2)13--13,
25(3)23--23, 25(3)24--24, 27(1)2--2, 27(2)8--8, 27(3)12--12,
28(1)3--3, 28(2)7--7, 28(3)15--15, 31(2)19--19, 31(4)75--75,
32(1)15--15, 32(4)86--86, 32(6)138--138, 32(6)139--139
-
Source-Code, 24(3)14--14, 25(1)7--7
-
source-code, 23(1)4--4, 23(2)13--13, 23(2)14--14, 23(2)17--17, 25(1)7--7
-
source-level, 2(3)228--269, 20(2)7--7, 25(2)19--19
-
SourceForge, 21(1)4--4, 24(2)8--8, 25(1)7--7
-
Sourceforge, 20(2)6--6
-
SourcererJBF, 33(3)71--71
-
SPA, 9(4)488--528
-
space, 1(4)422--451, 2(3)203--227, 3(4)340--380, 4(4)365--389,
5(4)334--377, 7(2)158--191, 7(3)296--332, 8(2)115--146,
9(2)167--198, 10(1)110--147, 18(1)1--1, 18(2)7--7, 18(4)15--15,
20(3)11--11, 21(1)1--1, 21(3)18--18, 21(4)21--21, 22(2)10--10,
23(2)17--17, 23(3)24--24, 23(4)32--32, 23(4)34--34, 24(3)19--19,
25(1)4--4, 25(2)16--16, 25(2)18--18, 25(3)20--20, 26(4)14--14,
27(4)15--15, 27(4)16--16, 31(4)65--65, 32(2)49--49, 32(5)123--123,
33(1)7--7, 33(1)8--8
-
space, state-, 9(1)51--93, 9(3)239--272, 23(3)24--24, 26(3)9--9
-
spaceflight, 23(3)22--22
-
spaghetti, 25(3)23--23
-
Spain, 23(2)13--13
-
span, 31(2)30--30, 32(3)63--63
-
spanning, 33(3)57--57
-
sparsely, 23(2)16--16
-
sparsity, 25(1)10--10
-
spatial, 24(3)19--19
-
spatially, 18(4)15--15
-
SPEC, 25(1)2--2
-
special, 1(4)399--421, 8(1)49--78, 8(2)177--212, 17(2)6--6, 23(2)15--15,
23(4)28--28, 24(3)19--19, 24(4)21--21, 28(2)10--10, 28(4)21--21,
30(4)45--45
-
Special-Purpose, 3(4)308--339, 6(1)31--79
-
special-purpose, 9(4)443--487, 16(4)15--15
-
specialization, 3(2)166--199, 6(4)333--369, 11(1)92--148, 18(2)5--5,
21(2)11--11, 24(4)24--24
-
specialized, 19(1)3--3, 21(1)2--2, 21(4)22--22, 24(4)24--24, 27(4)16--16
-
specializes, 18(1)3--3
-
specializing, 18(1)3--3, 24(4)24--24
-
specially, 22(4)29--29
-
species, 27(2)7--7, 28(2)8--8
-
specific, 1(1)5--20, 1(1)53--80, 1(2)188--204, 2(2)109--127,
4(4)319--364, 6(4)370--397, 7(1)80--107, 8(3)284--295, 8(4)297--342,
9(3)306--337, 16(1)4--4, 16(1)5--5, 18(3)10--10, 20(2)6--6,
21(1)2--2, 22(2)10--10, 22(2)14--14, 22(3)21--21, 22(3)26--26,
22(4)29--29, 23(4)32--32, 24(3)19--19, 25(2)18--18, 25(3)26--26,
27(1)2--2, 27(4)17--17, 28(1)2--2, 28(2)7--7, 28(4)23--23,
29(3)16--16, 30(4)44--44, 31(1)3--3, 32(2)43--43, 32(3)58--58,
32(3)61--61, 32(3)69--69, 32(5)109--109, 32(5)114--114, 33(2)53--53,
33(4)92--92
-
specific, application-, 4(2)171--213, 18(4)15--15, 21(2)11--11
-
Specific, Client-, 32(4)98--98
-
Specific, Domain-, 24(2)12--12, 33(4)91--91
-
specific, Domain-, 18(2)6--6
-
specific, domain-, 11(2)191--214, 15(3)242--278, 18(2)6--6,
21(2)11--11, 25(1)7--7, 25(1)10--10, 30(2)20--20, 32(1)9--9,
33(4)91--91
-
specific, executable-, 25(2)19--19
-
specific, time-, 20(2)6--6
-
specific, type-, 9(1)3--50
-
specific, user-, 24(3)19--19
-
specifically, 7(3)215--249, 16(1)5--5, 20(2)6--6, 20(4)17--17,
20(4)18--18, 21(3)14--14, 21(3)16--16, 23(1)3--3, 23(1)4--4,
23(3)25--25, 25(1)4--4, 25(1)7--7, 25(3)24--24, 26(3)11--11,
27(2)8--8, 29(3)14--14, 31(1)2--2, 31(4)63--63, 32(5)116--116
-
specification, policy-, 18(3)9--9
-
specification-based, 3(2)166--199, 8(4)411--424, 11(1)58--62,
14(3)247--276
-
specified, 5(4)334--377, 6(3)213--249, 8(2)115--146, 16(3)12--12,
18(3)9--9, 18(4)14--14, 20(4)16--16, 20(4)18--18, 23(2)15--15,
24(3)18--18, 24(4)25--25, 25(1)8--8, 28(4)22--22, 32(5)114--114,
33(1)4--4, 33(4)97--97
-
specified, User-, 5(4)334--377
-
specified, user-, 4(1)65--106
-
specifier, 2(4)379--411
-
specify, 1(2)135--167, 2(4)346--378, 3(2)131--165, 3(2)166--199,
5(3)191--230, 5(4)378--421, 6(3)250--282, 6(3)283--328,
9(2)167--198, 16(1)4--4, 18(3)9--9, 21(3)16--16, 21(4)25--25,
22(1)4--4, 22(1)8--8, 22(3)27--27, 23(3)26--26, 24(4)25--25,
25(2)17--17, 33(1)16--16, 33(3)77--77, 33(4)88--88
-
specifying, 1(2)135--167, 1(3)229--268, 3(2)131--165, 3(3)221--253,
3(4)308--339, 4(1)36--64, 4(2)109--145, 4(2)171--213, 4(4)319--364,
4(4)365--389, 5(3)231--261, 5(4)334--377, 5(4)378--421, 6(1)31--79,
6(3)213--249, 6(3)250--282, 6(4)333--369, 7(3)296--332,
7(3)333--334, 8(2)115--146, 8(3)215--262, 8(4)425--472, 9(1)3--50,
9(2)133--166, 9(3)239--272, 10(1)5--55, 19(2)6--6, 21(2)12--12,
22(1)3--3, 24(2)10--10, 30(4)47--47
-
SPECint, 25(3)27--27
-
SPECjbb, 22(3)17--17
-
spectra-based, 20(3)11--11
-
spectral, 20(3)11--11
-
Spectre, 29(3)14--14
-
Spectre-style, 29(3)14--14
-
spectrum, 7(2)158--191, 9(3)273--305, 21(4)24--24, 24(2)10--10,
28(4)23--23, 33(2)37--37
-
Spectrum-Based, 22(4)31--31, 26(1)4--4, 27(3)13--13
-
spectrum-based, 22(4)31--31
-
speculating, 20(2)4--4
-
speculation, 20(2)4--4
-
speculative, 23(4)33--33, 29(3)14--14
-
speculatively, 29(3)14--14
-
speech, 31(4)60--60, 33(3)68--68
-
speech-recognition, 31(2)37e_37e
-
speed, 3(1)3--28, 4(3)287--317, 9(2)133--166, 25(1)3--3, 25(4)28--28,
28(1)3--3, 30(2)20--20, 31(3)44--44, 33(1)17--17
-
speed, high-, 9(2)133--166
-
Speeding, 30(4)49--49
-
speedup, 25(2)15--15, 25(4)30--30, 33(3)66--66
-
speedy, 20(2)6--6
-
spend, 22(2)14--14
-
spent, 31(2)33--33, 31(3)41--41, 32(6)144--144
-
SPI, 31(1)13--13
-
spi, 12(2)222--284
-
Spiegler, Simone V., 33(3)80--80
-
Spiegler, Simone V., see Pant, Aastha
-
spikes, 20(3)12--12
-
SPIN, 26(4)13--13
-
Spin, 17(2)10--10
-
Spinellis, Diomidis, 18(1)2--2
-
Spinellis, Diomidis, see Louridas, Panagiotis
-
Spínola, Rodrigo, 28(2)9--9, see Wagner, Stefan
-
spite, 17(4)20--20, 31(4)59--59
-
SPL, 29(1)2--2, 33(1)7--7, 33(2)46--46
-
SPLASH2, 25(3)27--27
-
split, 24(3)17--17, 24(4)23--23, 27(3)12--12, 28(4)19--19
-
Splitting, 30(4)54--54
-
SPLs, 33(2)46--46
-
Spoletini, Paola, 33(4)87--87
-
Spoletini, Paola, see Ferrari, Alessio
-
sponsoring, 25(2)13--13
-
spontaneous, 24(1)2--2
-
spread, 17(1)2--2, 23(3)23--23, 33(3)59--59
-
spreading, 6(2)111--140
-
spreadsheet, 10(1)110--147, 15(2)150--194
-
spreadsheets/databases, 20(4)16--16
-
spurious, 30(3)26--26, 33(4)93--93
-
SQA, 2(1)93--106, 7(4)411--448, 8(1)49--78
-
SQL, 16(4)14--14, 21(4)25--25, 23(3)26--26, 25(1)8--8, 28(1)3--3,
29(4)22--22, 33(1)9--9
-
SQLite, 25(1)2--2, 25(1)8--8, 27(4)18--18
-
squashed, 29(3)14--14
-
SSL, 32(1)3--3
-
SSLash, 28(4)24--24, 32(1)3--3
-
SSL/TLS, 28(4)24--24, 32(1)3--3
-
Staats, Matt, 24(4)23--23, 25(3)25--25
-
Staats, Matt, see Fraser, Gordon,
see Gay, Gregory
-
stability, 28(3)15--15, 30(4)42--42, 32(3)56--56
-
stabilization, 17(4)17--17
-
stable, 17(4)17--17, 21(3)19--19, 28(3)13--13
-
stack, 9(4)341--378, 25(2)19--19, 25(4)29--29, 25(4)30--30, 29(4)26--26,
30(2)22--22, 30(3)31--31, 30(4)48--48, 31(2)35e_35e, 31(3)44--44,
32(3)80--80, 32(5)109--109, 33(1)6--6, 33(1)20--20, 33(3)69--69
-
stack-memory, 25(2)19--19
-
STADS, 27(2)7--7
-
staff, Methodology, 12(1)105--105, 14(2)246--246
-
staff, Methodology,
see ACM Transactions on Software Engineering
-
Staff:2003:R, 12(1)105--105
-
Staff:2005:AR, 14(2)246--246
-
Stafford, Thomas F., 29(4)25--25
-
Stafford, Thomas F., see Zhang, Xihui
-
stage, 2(2)128--175, 8(1)49--78, 17(2)9--9, 19(2)4--4, 21(1)2--2,
22(3)20--20, 23(3)22--22, 30(2)15--15, 30(4)51--51, 32(2)37--37,
33(2)32--32
-
stage, two-, 27(4)16--16
-
staged, 17(2)9--9
-
stages., 17(2)9--9
-
stakeholder, 16(1)3--3, 18(2)5--5, 25(3)22--22, 29(1)7--7, 30(4)42--42,
32(1)5--5, 32(5)108--108, 33(4)109--109
-
Stale, 33(2)36--36
-
staleness, 22(3)17--17
-
stance, 9(2)199--237
-
Stanciulescu, Stefan, 26(3)10--10
-
Stanciulescu, Stefan, see Abal, Iago
-
Stand-alone, 31(3)48--48
-
standalone, 21(4)23--23
-
standard, 3(2)131--165, 4(2)146--170, 6(1)1--30, 7(3)296--332,
9(2)133--166, 9(3)239--272, 17(2)9--9, 17(3)15--15, 18(4)13--13,
19(1)2--2, 20(2)7--7, 21(2)12--12, 21(4)20--20, 22(1)5--5, 22(1)6--6,
22(3)19--19, 22(3)27--27, 22(4)28--28, 22(4)37--37, 23(4)31--31,
24(2)12--12, 25(4)30--30, 25(4)31--31, 28(1)2--2, 28(4)20--20,
28(4)24--24, 29(2)9--9, 31(4)59--59, 32(5)114--114, 32(6)150--150,
33(2)33--33
-
standardise, 28(1)2--2
-
standardising, 28(1)2--2
-
standardization, 17(3)13--13, 31(1)5--5
-
standardized, 1(2)188--204, 28(3)14--14
-
standards-based, 19(1)2--2
-
standing, long-, 8(1)79--113, 28(4)20--20, 31(3)51--51
-
standpoint, 21(2)8--8
-
stands, 16(2)9--9
-
star, 7(2)109--157
-
start, 6(3)250--282, 19(1)2--2, 25(3)26--26, 31(1)3--3, 32(1)10--10,
32(6)141--141, 33(4)84--84
-
start, Cold-, 32(5)119--119
-
started, 16(4)15--15, 28(2)9--9
-
starting, 22(1)7--7, 23(2)14--14, 28(2)9--9, 33(3)64--64
-
State, Client-, 23(4)29--29
-
state, client-, 23(4)29--29
-
state, explicit-, 25(2)15--15
-
State, Finite-, 27(1)4--4
-
state, Finite-, 9(1)51--93, 17(2)7--7, 17(2)10--10
-
state, finite-, 1(3)269--309, 4(2)171--213, 5(3)231--261,
9(1)3--50, 9(1)51--93, 22(1)3--3, 26(1)5--5, 27(1)4--4, 30(2)16--16
-
state, infinite-, 9(1)3--50
-
State-Aware, 32(6)160--160, 32(6)161--161
-
State-Based, 22(2)13--13
-
state-based, 18(4)14--14, 20(4)18--18, 30(4)47--47
-
state-explosion, 17(2)7--7
-
state-of-art, 24(1)6--6
-
state-of-the-art, 22(4)29--29, 23(1)2--2, 23(2)12--12, 23(3)21--21,
24(3)15--15, 25(1)4--4, 25(1)6--6, 26(3)11--11, 26(4)14--14,
27(1)4--4, 27(2)7--7, 27(3)13--13, 27(4)18--18, 28(2)7--7,
28(3)15--15, 28(3)16--16, 28(4)23--23, 29(3)15--15, 30(3)26--26,
30(3)32--32, 30(3)40--40, 31(4)61--61, 32(2)41--41, 33(3)62--62,
33(3)65--65, 33(3)72--72
-
state-space, 9(1)51--93, 9(3)239--272, 23(3)24--24, 26(3)9--9
-
statechart, 1(4)399--421, 2(2)128--175, 5(4)293--333, 10(4)397--451
-
stated, 1(3)205--228
-
stateful, 22(1)3--3, 31(3)39--39
-
stateless, 32(5)119--119
-
statelessness, 23(4)29--29
-
STATEMATE, 5(4)293--333
-
statement, 1(4)422--451, 4(3)221--286, 5(1)63--86, 6(4)370--397,
7(2)109--157, 20(3)11--11, 22(4)31--31, 22(4)37--37, 23(1)8--8,
23(3)26--26, 23(4)33--33, 24(4)22--22, 25(1)8--8, 25(2)18--18,
27(3)13--13, 28(4)23--23, 29(4)28--28, 32(1)6--6, 32(3)78--78,
33(2)38--38, 33(2)41--41
-
Statement-Based, 32(1)6--6
-
statement-level, 16(2)8--8
-
StateTime, 8(1)1--48
-
static-analysis, 27(4)18--18
-
static-new, 31(2)20--20
-
static-single-assignment, 1(3)310--354
-
statically, 16(2)7--7, 17(2)8--8, 22(3)25--25, 22(4)33--33, 24(2)7--7,
26(4)12--12, 26(4)13--13, 28(2)7--7, 30(1)9--9, 30(3)38--38,
32(2)50--50, 32(3)56--56
-
station, 8(1)49--78
-
statistical, 1(1)81--94, 2(1)93--106, 4(1)36--64, 7(1)41--79,
7(3)215--249, 8(3)263--283, 17(1)2--2, 18(1)2--2, 21(2)8--8,
22(4)36--36, 22(4)37--37, 23(1)10--10, 23(4)35--35, 24(1)6--6,
24(2)11--11, 24(3)13--13, 25(2)16--16, 27(2)5--5, 27(2)7--7,
28(1)1--1, 28(3)16--16, 30(3)26--26, 31(3)40--40, 32(2)36--36,
33(1)7--7, 33(1)13--13
-
statistically, 20(2)6--6, 22(3)19--19, 24(1)1--1, 27(2)7--7
-
statistics, 2(1)93--106, 23(4)35--35, 28(2)11--11
-
Status, 28(2)9--9, 33(4)89--89
-
steadily, 22(2)15--15
-
steady, 17(4)17--17, 22(4)38--38
-
steal, 33(3)79--79
-
Stefano, Luca, Di, 31(3)37--37
-
Steimann, Friedrich, 20(1)1--1
-
Steimann:2010:TMI, 20(1)1--1
-
Steinmacher, Igor, 31(4)81--81
-
Steinmacher, Igor, see Trinkenreich, Bianca
-
stem, 25(2)12--12, 31(2)32--32
-
step, 2(2)128--175, 5(4)293--333, 6(3)213--249, 7(4)368--410, 16(1)5--5,
16(4)15--15, 17(1)3--3, 17(1)4--4, 17(2)8--8, 21(1)1--1, 21(3)18--18,
21(4)20--20, 22(1)3--3, 22(3)19--19, 22(3)24--24, 24(1)2--2,
24(3)13--13, 28(1)2--2, 28(2)9--9, 30(3)32--32
-
Step, Multi-, 25(3)20--20
-
step, multi-, 25(3)20--20
-
step, six-, 8(4)343--410
-
step, step-by-, 22(4)36--36
-
step, three-, 17(2)8--8
-
step, two-, 17(2)8--8
-
step-by-step, 22(4)36--36
-
step-wise, 28(3)13--13
-
stepwise, 20(4)16--16, 21(1)1--1, 22(3)20--20
-
stereotypes, 9(3)306--337, 26(2)7--7
-
Stifter, Thomas, 32(4)104--104
-
Stifter, Thomas, see Fahmy, Hazem
-
still, 3(1)56--98, 5(3)191--230, 5(4)334--377, 6(3)283--328, 7(1)80--107,
7(4)335--367, 7(4)411--448, 9(4)341--378, 9(4)379--409, 16(4)13--13,
17(3)15--15, 22(1)6--6, 24(2)9--9, 25(1)10--10, 25(2)12--12,
25(3)24--24, 25(3)25--25, 25(3)27--27, 25(4)28--28, 26(3)10--10,
27(3)12--12, 28(2)8--8, 30(4)42--42, 30(4)47--47, 31(3)47--47,
31(3)51--51, 32(2)43--43, 32(3)74--74, 32(5)117--117, 33(2)32--32,
33(3)63--63
-
stochastic, 2(1)93--106, 25(3)26--26, 26(4)14--14, 27(1)4--4, 28(1)1--1,
28(2)6--6
-
Stol, Klaas-Jan, 23(2)18--18, 27(3)11--11, 33(2)33--33
-
Stol, Klaas-Jan, see Rolland, Knut H.
-
Stol:2014:KFA, 23(2)18--18
-
Stol:2018:ASE, 27(3)11--11
-
Stolee, Kathryn T., 23(3)26--26, 32(6)134--134
-
Stolee, Kathryn T., see Majumder, Suvodeep
-
Stolee:2014:SSS, 23(3)26--26
-
St{\o}len, 16(1)5--5
-
stop, 28(3)17--17
-
stopped, 28(3)17--17
-
Stops, Michael, 32(5)111--111
-
Stops, Michael, see Müller, Katharina
-
storage, 1(3)205--228, 2(3)286--303, 6(1)80--110, 6(2)111--140,
6(4)333--369, 8(3)215--262, 8(4)425--472, 31(2)35e_35e, 32(1)2--2,
32(3)57--57
-
store, 23(4)29--29, 31(2)20--20, 31(4)71--71
-
stored, 6(1)31--79, 6(4)398--441, 24(4)25--25, 31(2)36e_36e,
32(3)57--57
-
Storey, Margaret-Anne, 23(4)35--35, 31(2)27--27
-
Storey, Margaret-Anne, see Ford, Denae,
see Rigby, Peter C.
-
storing, 7(2)192--214
-
straightforward, 4(1)3--35, 4(2)171--213, 22(2)15--15, 23(2)18--18
-
strategic, 21(1)6--6
-
strategy, 1(1)5--20, 3(3)254--270, 3(4)271--307, 4(1)36--64,
4(2)171--213, 7(3)250--295, 7(3)296--332, 9(1)3--50, 10(1)110--147,
17(3)16--16, 17(4)20--20, 18(2)5--5, 18(4)13--13, 20(2)5--5,
20(2)7--7, 20(3)9--9, 22(3)21--21, 22(3)22--22, 22(4)28--28,
23(1)3--3, 23(1)5--5, 23(3)26--26, 23(4)31--31, 24(2)10--10,
24(2)11--11, 25(1)4--4, 25(3)20--20, 27(1)2--2, 27(3)11--11,
28(3)13--13, 28(3)14--14, 31(4)65--65, 31(4)69--69, 32(1)7--7,
32(1)17--17, 32(6)149--149, 33(4)93--93
-
stratified, 8(3)263--283, 32(6)151--151
-
stratify, 8(3)263--283
-
stream, 25(3)27--27, 30(1)1--1, 32(1)25--25
-
StreamGen, 30(1)1--1
-
streaming, 30(1)1--1
-
streamlining, 20(3)10--10
-
Strecker, Jaymie, 21(3)17--17
-
Strecker:2012:ADC, 21(3)17--17
-
strength, 6(1)80--110, 9(1)3--50, 16(4)13--13, 19(2)5--5, 25(2)18--18,
27(3)11--11, 27(4)18--18, 28(3)16--16, 32(3)65--65, 32(6)150--150
-
strength, industrial-, 20(2)7--7, 21(2)10--10
-
strengthen, 30(2)22--22
-
strengthened, 22(3)24--24
-
stress, 25(1)4--4, 33(2)35--35
-
stress-test, 25(1)4--4
-
stressed, 22(4)29--29
-
strict, 27(2)6--6, 32(3)56--56
-
strictly, 9(4)341--378, 19(4)11--11
-
STRIDE, 31(2)36e_36e
-
string, 16(4)14--14, 18(1)3--3, 21(4)25--25, 22(4)33--33, 23(3)26--26
-
string-manipulating, 21(4)25--25
-
strives, 27(3)11--11
-
strong, 7(2)192--214, 9(4)379--409, 16(4)14--14, 20(1)1--1, 22(4)34--34,
22(4)37--37, 23(1)8--8, 23(3)24--24, 23(4)34--34, 28(1)5--5,
28(2)9--9, 28(2)10--10, 31(3)43--43, 31(3)44--44, 32(1)10--10,
32(1)17--17, 33(1)4--4
-
stronger, 9(4)410--442, 19(2)5--5, 24(4)22--22, 25(2)18--18
-
stronger, co-, 20(3)13--13
-
strongly, 1(2)135--167, 10(1)5--55, 22(4)34--34, 31(1)1--1
-
Strooper, Paul, 12(4)409--439
-
Strooper, Paul, see Miller, Tim
-
structs, 32(2)43--43
-
structural, 1(2)168--187, 2(3)228--269, 7(1)41--79, 16(1)5--5,
17(4)18--18, 18(1)1--1, 18(4)13--13, 19(1)2--2, 20(1)3--3, 23(1)4--4,
24(1)4--4, 24(3)18--18, 24(4)23--23, 25(1)10--10, 26(2)8--8,
26(4)13--13, 27(1)2--2, 28(4)23--23, 29(4)31--31, 30(4)47--47,
32(3)70--70
-
structurally, 1(2)168--187, 19(1)2--2, 25(3)25--25
-
structure, 1(1)81--94, 1(1)95--127, 1(2)135--167, 1(3)205--228,
2(1)93--106, 2(3)228--269, 2(4)311--345, 4(1)65--106, 4(2)146--170,
4(2)171--213, 4(3)287--317, 5(1)42--62, 5(4)334--377, 6(1)80--110,
6(2)111--140, 6(3)250--282, 7(1)41--79, 7(2)109--157, 7(2)158--191,
8(1)1--48, 8(3)215--262, 8(4)425--472, 9(1)3--50, 10(2)209--254,
12(2)191--221, 16(2)8--8, 18(2)4--4, 18(3)12--12, 19(2)6--6,
20(4)18--18, 21(1)5--5, 21(1)6--6, 21(4)21--21, 22(1)5--5,
22(2)13--13, 22(3)22--22, 22(3)24--24, 22(4)28--28, 22(4)34--34,
23(2)15--15, 23(3)23--23, 24(3)17--17, 24(4)24--24, 25(2)13--13,
25(3)23--23, 25(3)25--25, 26(2)8--8, 28(1)2--2, 28(1)3--3,
28(3)15--15, 31(1)14--14, 32(3)66--66, 32(4)86--86
-
structure, block-, 19(1)2--2
-
structure--or, 6(3)213--249
-
Structure-Guided, 32(1)23--23
-
structured, 1(1)21--52, 1(1)53--80, 1(1)81--94, 1(2)168--187,
1(2)188--204, 1(3)229--268, 2(1)93--106, 2(4)379--411, 3(1)56--98,
3(2)166--199, 3(4)271--307, 4(4)319--364, 4(4)365--389,
5(3)262--292, 6(1)1--30, 6(1)31--79, 7(1)80--107, 7(3)296--332,
7(4)368--410, 8(1)1--48, 8(1)49--78, 8(1)79--113, 8(3)215--262,
8(4)425--472, 16(1)5--5, 18(2)6--6, 21(2)12--12, 21(3)15--15,
21(4)22--22, 22(1)5--5, 24(3)13--13, 25(1)8--8, 26(1)1--1, 28(1)3--3,
32(4)103--103, 33(1)11--11, 33(2)53--53
-
structured, block-, 19(1)2--2
-
structuring, 4(4)365--389
-
struggle, 23(3)23--23, 31(4)77--77
-
struggling, 23(2)18--18
-
Struts, 23(4)29--29
-
STS, 29(1)7--7
-
stub, 33(1)16--16
-
stubborn, 30(2)19--19
-
StubCoder, 33(1)16--16
-
student, 16(4)13--13, 16(4)15--15, 17(4)19--19, 17(4)20--20, 22(3)21--21,
23(2)13--13, 24(3)13--13, 24(3)14--14, 24(3)18--18, 27(4)15--15,
31(4)74--74, 33(2)39--39
-
student-team, 16(4)14--14
-
studied, 2(1)1--46, 8(4)343--410, 10(2)149--183, 20(3)12--12,
23(2)15--15, 23(4)35--35, 24(2)10--10, 25(1)7--7, 28(1)2--2,
28(4)23--23, 32(1)27--27, 32(3)72--72, 32(5)130--130
-
studied, least-, 23(4)33--33
-
studied, well-, 18(4)13--13
-
Studio, 33(4)110--110
-
study, case-, 21(2)11--11, 21(2)12--12
-
study., 17(1)2--2
-
studying, 9(2)167--198, 16(4)15--15, 25(1)7--7, 28(2)8--8, 32(1)14--14
-
Stumptner, Markus, 11(1)92--148
-
Stumptner, Markus, see Schrefl, Michael
-
stunningly, 32(3)66--66
-
style, 2(4)379--411, 4(4)319--364, 6(3)250--282, 9(4)341--378,
18(4)13--13, 32(5)117--117
-
style, Spectre-, 29(3)14--14
-
style, UNITY-, 3(4)271--307
-
styles, 1(1)95--127, 4(4)319--364, 30(4)50--50
-
Su, Ting, 31(3)36--36, 32(3)78--78
-
Su, Ting, see Zhang, Zhuo, \see{Zhao, Yu
-
Su, Wen, 24(1)2--2
-
Su, Wen, see Banach, Richard
-
Su, Xiaohong, 32(5)123--123
-
Su, Xiaohong, see Wei, Hongwei
-
Su, Zhendong, 16(4)14--14, 32(1)3--3
-
Su, Zhendong, see Nie, Pengbo,
see Wassermann, Gary
-
subactivities, 6(2)141--172
-
subdomain, 18(3)12--12
-
subgraph, 23(3)24--24, 25(3)27--27
-
subject, 8(1)49--78, 9(3)273--305, 20(1)3--3, 22(1)3--3, 22(3)21--21,
22(4)38--38, 24(2)8--8, 24(4)23--23, 25(1)4--4, 25(1)5--5, 26(1)1--1,
26(3)10--10, 27(4)18--18, 28(1)2--2, 28(2)11--11, 31(1)4--4
-
subjective, 28(2)11--11
-
subjectively, 25(3)24--24
-
subjectivity, 28(1)4--4
-
sublanguage, 8(2)177--212
-
submits, 32(2)32--32
-
submitted, 26(1)3--3
-
suboptimal, 23(1)4--4, 25(1)10--10, 26(2)8--8, 32(2)45--45
-
subpolicy, 18(3)9--9
-
subprogram, 32(4)103--103
-
subsea, 23(3)25--25
-
subsequent, 9(1)94--131, 19(1)2--2, 23(1)5--5, 30(4)45--45
-
subsequently, 21(2)9--9
-
subset, 7(3)250--295, 10(1)5--55, 10(2)149--183, 10(2)184--208,
21(4)22--22, 21(4)23--23, 22(1)6--6, 22(1)9--9, 22(4)31--31,
23(3)26--26, 26(2)7--7, 28(3)13--13
-
subspace, 18(2)7--7
-
substantial, 3(2)101--130, 9(3)239--272, 10(1)110--147, 18(1)1--1,
22(4)36--36, 27(3)14--14, 28(2)9--9, 30(4)55--55, 31(1)4--4,
31(4)62--62, 31(4)75--75, 32(3)77--77, 32(4)88--88, 32(6)150--150,
33(3)60--60
-
substantially, 2(2)109--127, 21(2)12--12, 25(1)7--7, 32(6)150--150,
32(6)156--156
-
substantiate, 22(2)15--15
-
substitutability, 6(4)333--369
-
substitute, 19(1)1--1, 21(3)15--15
-
substituted, 6(4)333--369
-
substring, 21(4)25--25
-
subsumes, 22(2)11--11, 26(3)9--9
-
subsumption, 1(3)205--228, 25(1)8--8
-
subsystem, 1(3)269--309, 1(4)355--398, 4(1)65--106, 5(4)334--377,
7(3)296--332, 8(1)49--78, 9(3)273--305, 17(2)7--7, 21(1)4--4,
26(3)9--9
-
subtle, 3(2)101--130, 9(1)3--50, 9(1)51--93, 19(2)6--6, 19(4)13--13,
32(6)137--137
-
subtlety, 1(4)399--421, 2(4)311--345, 16(2)7--7
-
subtree, 2(1)47--92
-
subtype, 3(3)221--253, 6(4)333--369
-
subtyping, 3(2)166--199
-
succeed, 25(3)23--23
-
success, 2(2)176--201, 2(4)379--411, 9(1)3--50, 17(4)18--18, 20(2)6--6,
23(1)2--2, 26(1)3--3, 29(4)31--31, 30(3)33--33, 30(4)52--52,
31(2)31--31, 31(3)35--35, 32(5)129--129, 33(1)21--21, 33(3)69--69,
33(3)70--70, 33(3)72--72
-
successful, 1(4)355--398, 3(4)271--307, 4(1)65--106, 9(1)3--50,
9(3)239--272, 17(4)19--19, 18(3)10--10, 20(2)4--4, 22(2)14--14,
22(2)15--15, 23(4)35--35, 25(1)8--8, 31(4)67--67, 32(4)86--86,
32(6)154--154
-
successfully, 6(1)1--30, 20(3)12--12, 21(3)18--18, 21(4)20--20,
22(1)6--6, 23(3)23--23, 24(4)26--26, 25(2)19--19, 27(4)17--17,
30(3)36--36, 31(1)2--2, 31(3)51--51, 31(4)64--64, 32(3)69--69,
32(4)85--85, 32(5)120--120
-
successive, 3(4)271--307, 7(2)192--214, 17(3)13--13
-
Successively, 26(4)13--13
-
successor, 31(2)30--30
-
suffer, 6(4)398--441, 10(2)209--254, 22(1)3--3, 23(3)21--21, 23(3)23--23,
27(1)4--4, 27(3)12--12, 28(1)5--5, 29(4)30--30, 31(1)8--8,
31(2)21--21, 31(3)54--54, 31(4)81--81, 32(1)13--13, 32(4)98--98,
32(6)158--158, 33(2)44--44, 33(3)66--66
-
sufficient, 4(1)65--106, 5(2)99--118, 5(4)334--377, 16(3)10--10,
17(4)20--20, 21(2)10--10, 22(1)9--9, 25(3)22--22, 31(2)33--33,
32(6)134--134, 32(6)137--137
-
sufficiently, 3(2)101--130, 21(4)21--21, 21(4)25--25, 22(4)31--31,
23(2)19--19, 31(1)9--9
-
suggest, 2(3)286--303, 3(2)166--199, 4(2)171--213, 7(1)41--79,
8(1)79--113, 8(3)263--283, 10(2)149--183, 20(2)6--6, 20(4)19--19,
21(1)2--2, 21(2)8--8, 23(4)33--33, 24(3)15--15, 24(3)18--18,
24(3)20--20, 25(2)16--16, 25(2)18--18, 25(3)21--21, 25(3)23--23,
27(3)12--12, 28(1)2--2, 30(3)34--34, 32(2)32--32
-
suggested, 2(2)109--127, 5(4)334--377, 10(2)149--183, 26(2)6--6,
33(4)103--103
-
Suggestion, 30(2)20--20, 32(6)148--148
-
suggestions, 31(2)30--30
-
Sui, Yulei, 30(3)38--38, 33(4)89--89
-
Sui, Yulei, see Chen, Zhe, \see{Cheng, Xiao
-
suitability, 27(3)14--14, 27(4)17--17
-
suitable, 1(2)135--167, 8(1)49--78, 8(4)343--410, 18(4)15--15,
19(4)12--12, 20(4)19--19, 21(3)18--18, 22(2)10--10, 22(3)26--26,
23(1)4--4, 23(2)18--18, 24(1)4--4, 24(1)6--6, 24(3)20--20, 28(2)9--9,
32(3)70--70
-
suitably, 24(4)26--26
-
suite, 2(3)270--285, 3(3)201--220, 4(1)65--106, 5(2)87--98, 6(2)173--210,
6(3)329--331, 8(4)297--342, 10(1)110--147, 10(2)149--183,
10(2)184--208, 13(3)277--331, 18(2)4--4, 18(2)7--7, 20(3)11--11,
20(4)15--15, 21(4)20--20, 22(1)6--6, 23(1)8--8, 24(2)7--7,
24(4)22--22, 25(1)6--6, 25(3)25--25, 26(4)12--12, 27(3)10--10,
27(4)15--15, 28(1)1--1, 28(1)3--3, 29(1)2--2, 30(2)14--14,
30(4)44--44, 31(1)17--17, 31(4)69--69, 31(4)73--73, 31(4)77--77,
32(1)21--21, 32(3)56--56, 32(4)92--92, 33(2)46--46, 33(4)86--86,
33(4)94--94
-
suite, Test-, 29(3)20--20
-
suite, test-, 21(3)17--17, 22(4)32--32, 29(3)20--20
-
suited, 3(1)56--98
-
Sulistya, Agus, 27(4)16--16
-
Sulistya, Agus, see Sharma, Abhishek
-
Sullivan, Kevin, 20(2)5--5, 21(4)21--21
-
Sullivan, Kevin, see Cai, Yuanfang
-
Sullivan, Kevin J., 1(3)229--268, 19(1)3--3
-
Sullivan, Kevin J., see Rajan, Hridesh
-
Sullivan:1992:REI, 1(3)229--268
-
Sullivan:2010:MAO, 20(2)5--5
-
summaries/comments, 33(3)75--75
-
summarise, 17(4)19--19
-
summarised, 24(1)2--2
-
summarization, 25(4)30--30, 30(2)25--25, 31(3)52--52, 32(1)23--23,
33(3)67--67, 33(3)75--75
-
summarize, 3(4)308--339, 8(1)79--113, 25(4)30--30, 31(1)3--3,
31(2)30--30
-
summarized, 16(3)11--11
-
summarized, human-, 28(3)15--15
-
summary, 3(1)29--55, 4(1)3--35, 21(4)24--24, 25(4)30--30, 32(1)23--23,
32(2)41--41, 33(3)67--67, 33(3)75--75
-
Sun, 20(2)7--7, 22(3)17--17
-
Sun, Baicai, 30(2)17--17
-
Sun, Baicai, see Gong, Dunwei
-
Sun, Bing, 32(6)137--137
-
Sun, Bing, see Zhang, Mengdi
-
Sun, Chang-Ai, 32(1)20--20, 33(1)8--8, 33(4)86--86
-
Sun, Chang-Ai, see Zhang, Peng
-
Sun, Chengnian, 32(1)8--8, 32(2)36--36, 32(5)128--128, 33(1)17--17,
33(4)108--108
-
Sun, Chengnian, see Dong, Yiwen,
see Liu, Puzhuo, \see{Tian, Yongqiang,
see Zuo, Zhiqiang
-
Sun, Chong, 22(2)10--10
-
Sun, Chong, see Zhang, Wei
-
Sun, Hailong, 33(3)70--70
-
Sun, Hailong, see Qi, Binhang
-
Sun, Hao, 33(1)11--11, 33(2)52--52
-
Sun, Hao, see Li, Siyuan, \see{Liu, Jianzhong
-
Sun, Jiaguang, 32(3)61--61
-
Sun, Jiaguang, see Ma, Fuchen
-
Sun, Jiamou, 31(3)49--49, 33(2)49--49
-
Sun, Jiamou, see Guo, Hao
-
Sun, Jiasu, 15(2)195--226
-
Sun, Jiasu, see Zhao, Wei
-
Sun, Jing, 30(4)50--50
-
Sun, Jing, see Chondamrongkul, Nacha
-
Sun, Jun, 19(4)13--13, 22(1)3--3, 31(4)64--64, 32(5)125--125,
32(6)137--137, 33(1)23--23, 33(3)68--68
-
Sun, Jun, see André, Étienne,
see Chen, Chunqing, \see{Chen, Jialuo,
see Zhang, Mengdi, \see{Zhao, Zhe,
see Zhi, Yuhan
-
Sun, Limin, 32(6)158--158, 33(1)1--1, 33(2)52--52, 33(4)108--108
-
Sun, Limin, see Li, Siyuan, \see{Liu, Puzhuo,
see Yang, Shouguo
-
Sun, Mingshen, 31(1)3--3
-
Sun, Mingshen, see Xu, Hui
-
Sun, Weifeng, 32(6)152--152
-
Sun, Weisong, 33(2)55--55, 33(3)75--75
-
Sun, Weisong, see Zhang, Quanjun
-
Sun, Xiaobing, 33(2)43--43
-
Sun, Xiaobing, see Cao, Sicong
-
Sun, Xiaoyu, 30(3)32--32, 32(2)50--50
-
Sun, Yanbang, 33(1)6--6
-
Sun, Yanbang, see Huang, Qing
-
Sun, Yi, 23(4)33--33
-
Sun, Yi, see Hall, Tracy
-
Sun, Yizhe, 31(3)50--50
-
Sun, Yizhe, see Zhang, Huangzhao
-
Sun, Youcheng, 32(5)125--125
-
Sun, Youcheng, see Chen, Jialuo
-
Sun:2013:MVH, 22(1)3--3
-
Sun:2021:TRE, 30(3)32--32
-
Sun:2023:DHS, 32(2)50--50
-
Sun:2023:FDM, 32(1)20--20
-
Sun:2023:RIC, 32(6)152--152
-
Sun:2024:ALI, 33(2)49--49
-
Sun:2024:EAF, 33(3)75--75
-
Sun:2024:IGM, 33(1)8--8
-
Sundelin, Anders, 31(1)6--6
-
Sundelin:2022:TAS, 31(1)6--6
-
Suneja, Sahil, 32(6)145--145
-
Suneja:2023:ISA, 32(6)145--145
-
Sunshine, Joshua, 32(5)120--120
-
Sunshine, Joshua, see Davis, Matthew C.
-
Suo, Chenyao, 31(4)72--72
-
Suo, Chenyao, see Chen, Junjie
-
Super-optimization, 31(4)70--70
-
superb, 33(2)48--48
-
supercomputer, 32(3)56--56
-
superfluous, 28(1)4--4
-
superfluousness, 28(1)4--4
-
superimposing, 28(3)13--13
-
superimposition, 28(3)13--13
-
superior, 10(2)149--183, 27(1)1--1, 28(3)15--15, 28(4)22--22,
32(3)79--79
-
superiority, 26(3)11--11, 27(2)5--5, 27(3)13--13
-
superposition, 6(3)250--282
-
supervised, 24(3)19--19, 33(4)84--84
-
supervised, semi-, 32(2)43--43
-
supervision, 8(1)79--113
-
Supervisors, 33(1)28--28, 33(1)29--29
-
supplement, 7(3)250--295
-
supplied, 25(3)20--20
-
supplied, searcher-, 2(3)286--303
-
supplied, user-, 3(2)101--130
-
supplier, 22(2)15--15
-
supply, 7(4)449--449, 23(1)2--2, 33(4)97--97
-
supported, 5(1)42--62, 7(1)80--107, 7(3)296--332, 8(3)215--262,
8(4)425--472, 17(1)3--3, 17(2)10--10, 18(3)12--12, 19(2)6--6,
19(4)11--11, 21(4)20--20, 22(1)6--6, 23(2)17--17, 23(2)20--20,
24(1)4--4, 25(2)13--13, 28(4)21--21, 29(1)3--3, 31(2)19--19
-
supported, theory-, 28(2)9--9
-
supported, tool-, 7(2)109--157, 23(4)29--29
-
supporting, 3(2)131--165, 5(3)191--230, 6(3)283--328, 7(2)109--157,
7(4)411--448, 9(2)199--237, 15(3)279--328, 18(3)12--12, 18(4)15--15,
20(1)3--3, 20(2)7--7, 21(1)6--6, 23(1)2--2, 23(3)24--24, 24(2)8--8,
25(1)5--5, 28(4)24--24, 29(3)16--16, 30(3)30--30, 33(1)10--10,
33(2)39--39
-
supportive, 28(2)11--11, 29(3)16--16
-
supposed, 1(4)422--451, 24(2)9--9, 30(1)10--10
-
sure, 9(4)443--487
-
surface, 9(2)199--237
-
surfing, 22(4)37--37
-
surge, 9(1)3--50
-
surgery, 25(3)23--23
-
surpassing, 27(3)14--14
-
Surprise, 32(2)42--42
-
surprisingly, 17(3)16--16, 22(4)38--38, 24(2)8--8, 30(4)42--42
-
surrender, 30(1)9--9
-
Surrogate, 33(3)73--73
-
surrounds, 17(2)11--11
-
survey, 1(1)95--127, 6(2)141--172, 23(4)31--31, 24(3)18--18, 24(4)26--26,
25(3)24--24, 27(1)2--2, 27(4)16--16, 28(2)9--9, 30(4)42--42,
31(1)17--17, 31(2)30--30, 31(2)37e_37e, 31(4)81--81, 32(4)107--107,
32(5)124--124, 33(1)27--27, 33(2)54--54, 33(2)55--55, 33(4)111--111
-
surveying, 29(4)29--29, 31(1)3--3
-
survival, 25(2)13--13
-
Suryadevara, Jagadish, 33(3)81--81
-
Suryadevara, Jagadish, see Cederbladh, Johan
-
Susi, Angelo, 21(4)22--22
-
Susi, Angelo, see Cimatti, Alessandro
-
suspicious, 28(4)23--23, 32(2)50--50, 32(3)78--78
-
suspiciousness, 28(4)23--23
-
sustain, 25(2)13--13, 31(4)59--59
-
Sustainability, 29(2)8--8
-
SUT, 24(1)5--5
-
Sutra, Pierre, 31(3)39--39
-
Sutra, Pierre, see Barcelona-Pons, Daniel
-
Sutton, Stanley M., 4(3)221--286
-
Sutton:1995:ALS, 4(3)221--286
-
Sventek, Joe, 17(4)19--19
-
Sventek, Joe, see Emmerich, Wolfgang
-
SVN, 33(4)110--110
-
Swift, Stephen, 15(2)123--149
-
Swift, Stephen, see Counsell, Steve
-
swiftly, 32(5)111--111
-
switch, 1(3)269--309, 22(3)19--19, 23(4)33--33, 32(5)111--111
-
sword, 31(2)30--30
-
Sworna, Zarrin Tasnim, 32(1)24--24
-
Sworna:2023:AFA, 32(1)24--24
-
Symbiosis, 25(2)14--14
-
symbolic, 2(2)128--175, 3(1)29--55, 3(2)101--130, 4(2)109--145,
9(1)3--50, 10(2)209--254, 12(4)371--408, 15(1)1--38, 17(2)10--10,
21(2)12--12, 21(3)19--19, 22(4)32--32, 23(2)12--12, 23(3)21--21,
23(3)26--26, 23(4)34--34, 24(1)3--3, 24(2)9--9, 25(2)14--14,
25(2)15--15, 25(2)19--19, 27(3)10--10, 28(4)24--24, 29(3)14--14,
30(1)9--9, 30(2)19--19
-
symbolically, 23(2)12--12
-
symbols, 2(2)109--127, 3(1)3--28, 9(3)306--337
-
symmetry, 9(2)133--166
-
symmetry-based, 9(2)133--166
-
symposium, 17(2)6--6
-
symptom, 17(1)3--3, 24(1)6--6
-
SynB-RVM, 28(1)5--5
-
sync, 32(2)30--30
-
synchronisation, 28(3)18--18
-
synchronisation-analysis, 28(3)18--18
-
synchronised, 24(1)5--5
-
synchronization, 6(1)80--110, 6(3)250--282, 8(2)115--146, 8(4)343--410,
19(1)1--1, 22(2)10--10, 32(1)7--7, 32(2)30--30
-
synchronized, 16(3)12--12
-
synchronous, 16(2)9--9
-
SynDB, 23(2)12--12
-
synergistically, 22(3)22--22
-
synergizes, 27(2)5--5
-
synonyms, 18(2)5--5
-
syntactic, 5(3)262--292, 9(3)306--337, 18(2)6--6, 20(1)3--3, 21(2)12--12,
33(2)38--38
-
syntactically, 18(2)6--6, 28(3)13--13
-
syntax, 1(4)399--421, 2(2)176--201, 5(1)42--62, 18(2)6--6, 23(2)20--20,
23(3)24--24, 28(2)8--8, 28(4)19--19, 30(1)5--5, 32(1)8--8
-
syntax-directed, 6(1)31--79
-
syntax-recognizing, 1(1)95--127
-
synthesis, 9(2)199--237, 18(2)6--6, 18(3)12--12, 20(4)18--18, 22(1)9--9,
23(1)6--6, 28(2)8--8, 31(2)18--18, 32(1)27--27, 33(1)21--21
-
synthesize, 2(1)93--106, 18(3)12--12, 21(3)19--19, 23(1)6--6,
23(2)12--12, 24(1)4--4, 24(4)26--26, 33(1)4--4
-
synthesized, 21(3)19--19, 22(2)13--13, 23(2)12--12, 24(4)26--26
-
synthesizing, 19(3)8--8, 22(1)4--4, 22(1)9--9, 31(3)34--34
-
synthetic, 28(1)5--5
-
SysML, 23(1)9--9
-
system, application-, 18(3)12--12
-
system, distributed-, 2(4)346--378
-
system, expert-, 9(3)306--337
-
system-decentralized, 32(5)130--130
-
system-is, 31(2)24--24
-
system-level, 23(1)6--6, 26(1)1--1, 31(1)2--2
-
system-of-systems, 23(3)22--22
-
system., 18(3)12--12
-
systematic, 1(4)422--451, 3(1)56--98, 6(3)283--328, 7(4)411--448,
12(4)409--439, 18(2)5--5, 18(3)10--10, 20(4)17--17, 21(4)24--24,
21(4)25--25, 22(1)6--6, 22(3)21--21, 23(2)17--17, 23(4)32--32,
25(1)7--7, 25(2)16--16, 26(2)8--8, 28(1)2--2, 30(4)51--51, 31(1)5--5,
31(1)7--7, 31(2)32--32, 31(2)36e_36e, 31(3)38--38, 32(1)27--27,
32(2)51--51, 32(5)131--131, 32(6)159--159, 33(3)81--81
-
systematic, analysis-, 4(2)171--213
-
systematically, 1(2)135--167, 17(2)11--11, 18(2)5--5, 18(2)7--7,
20(4)16--16, 21(1)5--5, 25(1)10--10, 28(2)9--9, 31(2)36e_36e,
32(3)65--65
-
systematize, 30(4)42--42
-
Systematizing, 21(4)20--20
-
SystemC, 29(1)4--4
-
systemic, 32(3)74--74
-
SyStems, 1(2)135--167
-
systems?, 23(1)5--5
-
systems, system-of-, 23(3)22--22
-
Syzkaller, 33(1)11--11
-
SZZ, 33(4)105--105