Index file section C for tosem.bib
Last update: Sat Jun 8 02:05:18 MDT 2024
Return to index directory
C
-
C, 1(3)205--228, 5(1)42--62, 5(3)262--292, 6(4)398--441, 7(2)109--157,
7(2)158--191, 21(4)25--25, 24(2)10--10, 24(4)22--22, 25(1)2--2,
26(2)6--6, 27(3)11--11, 28(3)13--13, 31(4)71--71, 33(4)89--89
-
C++, 1(3)229--268, 5(1)42--62, 5(3)262--292, 25(1)2--2, 29(1)3--3,
30(1)9--9, 31(4)71--71
-
c, 23(1)10--10, 25(1)7--7
-
C'-adequate, 24(4)22--22
-
C-adequate, 24(4)22--22
-
C-Invoke, 19(4)11--11
-
C-UML, 26(2)7--7
-
C., Shrikanth N., 32(5)116--116
-
C.2.0, 9(4)488--528
-
C.2.1, 8(2)115--146
-
C.2.2, 1(4)355--398, 2(1)1--46, 3(3)201--220, 6(3)329--331, 8(2)115--146,
9(4)488--528
-
C.2.4, 9(3)273--305
-
C.3, 3(4)308--339, 6(1)31--79
-
C.4, 3(3)201--220
-
C:2023:AEB, 32(5)116--116
-
Cabot, Jordi, 32(2)31--31
-
Cabot, Jordi, see Burgueño, Lola
-
cache, 29(3)14--14
-
caching, 20(2)7--7, 33(1)17--17
-
CAD, 18(3)12--12
-
Cadar, Cristian, 27(3)10--10
-
Cadar, Cristian, see Kuchta, Tomasz
-
CafeInMaude, 27(2)6--6
-
CafeOBJ, 27(2)6--6
-
Cai, Haipeng, 25(2)18--18, 29(2)8--8, 30(1)10--10, 30(3)40--40,
32(2)50--50, 33(1)15--15, 33(3)63--63
-
Cai, Haipeng, see Fu, Xiaoqin, \see{Li, Wen,
see Liu, Pei, \see{Sun, Xiaoyu,
see Zhao, Yanjie
-
Cai, Yan, 33(1)8--8
-
Cai, Yan, see Sun, Chang-Ai
-
Cai, Yuanfang, 20(2)5--5, 21(4)21--21
-
Cai, Yuanfang, see Sullivan, Kevin
-
Cai:2012:FMA, 21(4)21--21
-
Cai:2016:DUD, 25(2)18--18
-
Cai:2020:AIM, 29(2)8--8
-
calculate, 28(3)18--18
-
calculation, 17(1)3--3, 18(3)12--12
-
calculi, 28(2)8--8
-
calculus, 9(4)341--378, 12(2)222--284, 19(4)13--13, 21(1)6--6,
21(3)14--14, 23(2)20--20, 28(2)10--10
-
Caldiera, Gianluigi, 1(1)53--80
-
Caldiera, Gianluigi, see Basili, Victor R.
-
Calefato, Fabio, 31(3)42--42
-
Calefato:2022:UPD, 31(3)42--42
-
calibration, 24(1)6--6
-
call, 3(1)29--55, 4(1)3--35, 5(3)262--292, 6(4)370--397, 7(2)158--191,
8(2)147--176, 9(3)273--305, 9(4)341--378, 10(1)56--109, 17(1)3--3,
17(1)4--4, 17(4)19--19, 18(1)3--3, 18(4)15--15, 19(1)1--1, 20(1)1--1,
20(2)4--4, 20(2)5--5, 20(2)7--7, 20(4)18--18, 22(1)7--7, 22(2)10--10,
22(3)25--25, 22(4)30--30, 22(4)34--34, 23(4)31--31, 24(4)23--23,
25(1)3--3, 25(1)9--9, 25(4)29--29, 25(4)30--30, 29(4)22--22,
30(2)12--12, 31(2)35e_35e, 31(3)34--34, 32(2)42--42, 32(5)122--122,
32(6)137--137
-
called, 1(1)21--52, 1(2)135--167, 1(2)168--187, 1(3)205--228,
1(3)229--268, 2(2)109--127, 2(2)128--175, 2(3)286--303, 4(1)3--35,
4(1)36--64, 5(1)42--62, 5(3)231--261, 6(3)283--328, 6(4)398--441,
7(1)1--40, 7(4)335--367, 9(1)94--131, 9(2)133--166, 9(3)273--305,
9(4)341--378, 9(4)488--528, 16(1)3--3, 17(1)3--3, 18(2)5--5,
18(3)9--9, 19(4)11--11, 20(1)1--1, 20(2)5--5, 21(1)1--1, 21(1)2--2,
21(2)12--12, 21(3)19--19, 21(4)20--20, 22(1)3--3, 22(1)5--5,
22(2)11--11, 22(2)15--15, 22(3)25--25, 22(4)28--28, 22(4)37--37,
23(1)7--7, 23(2)12--12, 23(4)34--34, 24(1)1--1, 24(1)4--4,
24(2)12--12, 24(3)13--13, 24(3)19--19, 24(4)22--22, 25(1)7--7,
25(2)12--12, 25(4)30--30, 26(2)7--7, 26(4)12--12, 27(1)2--2,
27(4)15--15, 28(1)3--3, 28(1)5--5, 28(2)7--7, 28(3)13--13,
28(4)23--23, 30(1)7--7, 31(2)30--30, 32(1)19--19, 32(1)22--22,
32(4)85--85, 32(6)151--151, 33(1)7--7
-
called, so-, 6(3)329--331, 31(1)1--1
-
caller, 9(4)341--378, 23(4)34--34
-
calling, 1(3)269--309, 4(1)3--35, 16(2)8--8, 23(3)23--23, 32(4)101--101
-
calling-context, 16(2)8--8
-
Callison, H. Rebecca, 4(3)287--317
-
Callison:1995:TSO, 4(3)287--317
-
call/return, 6(4)370--397
-
calls, negatives-, 7(2)158--191
-
Cambridge, 17(4)19--19
-
Cameron, Robert D., 9(4)379--409
-
Cameron, Robert D., see Fong, Philip W. L.
-
Camilli, Matteo, 32(5)117--117
-
Camilli:2023:ADD, 32(5)117--117
-
cancer, 24(2)9--9
-
Candela, Ivan, 25(3)24--24
-
Candela:2016:UCC, 25(3)24--24
-
candidate, 1(3)205--228, 2(3)286--303, 8(3)215--262, 8(4)425--472,
24(1)6--6, 26(1)3--3, 26(4)13--13, 27(4)15--15, 28(4)19--19,
32(3)56--56
-
Canfora, Gerardo, 32(3)73--73
-
Canfora, Gerardo, see Zampetti, Fiorella
-
Cañizares, Pablo C., 33(4)90--90
-
Canizares:2024:MCH, 33(4)90--90
-
cannot, 3(4)271--307, 5(3)262--292, 6(2)173--210, 7(2)109--157,
7(3)250--295, 8(1)1--48, 21(3)15--15, 22(3)17--17, 22(4)30--30,
22(4)34--34, 23(3)21--21, 23(3)24--24, 24(1)6--6, 24(2)9--9,
25(1)8--8, 26(1)2--2, 27(4)18--18, 28(3)18--18, 28(4)24--24,
30(2)18--18, 32(1)26--26, 32(2)31--31
-
canonical, 22(3)23--23
-
Cantone, Giovanni, 1(1)53--80, 22(3)21--21
-
Cantone, Giovanni, see Basili, Victor R.,
see Falessi, Davide
-
Cao, Jialun, 31(2)34e_34e, 32(5)127--127
-
Cao, Jialun, see Li, Meiziniu
-
Cao, Mingming, 15(2)150--194
-
Cao, Mingming, see Fisher II, Marc
-
Cao, Shangtong, 33(2)37--37
-
Cao, Shangtong, see Zhang, Yixuan
-
Cao, Sicong, 33(2)43--43
-
Cao, Yanbin, 30(2)18--18
-
Cao, Yanbin, see Chen, Zhenpeng
-
Cao:2022:SSB, 31(2)34e_34e
-
Cao:2024:LDM, 33(2)43--43
-
capability, 2(2)128--175, 4(3)221--286, 4(3)287--317, 5(4)378--421,
6(3)329--331, 8(4)297--342, 8(4)411--424, 11(1)58--62, 16(2)9--9,
18(3)9--9, 19(1)1--1, 19(1)3--3, 25(1)5--5, 25(1)8--8, 28(1)1--1,
28(4)20--20, 31(3)51--51
-
capable, 2(2)128--175, 8(4)297--342, 9(3)306--337, 20(1)3--3, 22(1)3--3,
24(3)16--16, 24(4)23--23, 25(2)12--12, 27(2)8--8, 28(3)16--16,
28(4)19--19, 30(2)19--19, 30(3)26--26, 31(3)44--44
-
capacity, 4(1)65--106, 19(4)13--13
-
Capilla, Rafael, 22(3)21--21
-
Capilla, Rafael, see Falessi, Davide
-
capture, 1(2)168--187, 6(2)141--172, 6(4)333--369, 16(3)12--12,
17(2)8--8, 18(4)13--13, 19(2)6--6, 21(2)8--8, 21(2)12--12,
21(4)20--20, 22(2)13--13, 22(3)22--22, 22(3)27--27, 23(2)15--15,
23(3)26--26, 24(1)1--1, 25(1)10--10, 25(2)13--13, 26(2)8--8,
28(3)18--18, 32(1)9--9
-
captured, 7(3)215--249, 8(3)263--283, 18(4)13--13, 24(1)5--5, 26(2)7--7,
32(3)59--59
-
capturing, 6(2)141--172, 19(1)2--2, 21(2)12--12, 21(4)20--20, 24(2)9--9,
24(3)18--18, 25(1)10--10, 25(2)12--12, 28(4)21--21, 33(2)54--54,
33(4)87--87, 33(4)95--95
-
Cárdenas, Carlos, Bernal-, 27(3)14--14
-
cardiac, 24(1)2--2
-
Cardinality, 33(4)95--95
-
Cardoso, Rafael C., 30(4)43--43
-
Cardoso, Rafael C., see Ferrando, Angelo
-
care, 7(3)250--295, 18(2)6--6, 18(4)15--15, 21(4)22--22
-
care, health-, 18(2)5--5, 24(2)9--9
-
career, 31(4)81--81
-
careful, 7(4)368--410, 16(4)14--14
-
carefully, 22(1)9--9, 25(2)16--16
-
carelessly, 32(1)8--8
-
Carli, Lorenzo, De, 31(2)28--28
-
Carlon, Juan, Cruz-, 32(3)56--56
-
Carlsson, Max Nyberg, 33(1)18--18
-
Carlsson, Max Nyberg, see Mandrioli, Claudio
-
Carmona, Josep, 29(3)15--15
-
Carmona, Josep, see Taymouri, Farbod
-
carried, 5(3)191--230, 16(4)15--15, 20(1)2--2, 22(3)26--26, 23(2)13--13,
24(1)3--3, 26(2)6--6, 30(3)40--40
-
carry, 6(3)283--328, 17(4)18--18, 19(4)13--13, 23(1)7--7, 26(2)7--7,
27(3)12--12, 28(3)18--18, 30(3)28--28, 30(3)30--30
-
carrying, 7(1)1--40, 17(1)3--3
-
cars, 32(2)28--28, 32(3)79--79, 32(4)105--105, 33(1)18--18, 33(3)74--74
-
Carzaniga, Antonio, 24(3)16--16
-
Carzaniga:2015:AWE, 24(3)16--16
-
Casati, Fabio, 19(4)11--11
-
Casati, Fabio, see Ponge, Julien
-
cascading, 16(2)7--7, 20(4)16--16
-
CASE, 1(1)21--52, 2(1)47--92, 2(3)228--269, 3(4)340--380, 6(1)31--79,
6(2)173--210, 6(3)283--328, 7(1)80--107, 7(4)335--367, 7(4)368--410,
7(4)411--448, 8(4)343--410
-
case, Test-, 28(1)3--3
-
Case, Worst-, 23(1)6--6
-
case, worst-, 25(1)4--4, 32(2)37--37
-
case-study, 21(2)11--11, 21(2)12--12
-
Cash, 25(1)2--2, 30(1)9--9
-
Caso, Guido, De, 22(3)25--25
-
Cassee, Nathan, 31(3)38--38
-
Cassee, Nathan, see Lin, Bin
-
cast, 24(4)23--23
-
casting, 24(3)15--15
-
Castro, Thiago, 30(3)34--34
-
Castro:2021:FFS, 30(3)34--34
-
Catak, Ferhat Ozgur, 31(4)79--79
-
Catak:2022:UAP, 31(4)79--79
-
Catalog, 30(3)35--35
-
catalogue, 27(4)17--17, 28(4)21--21
-
catastrophic, 31(2)34e_34e
-
categorical, 24(3)20--20, 32(2)47--47
-
categorization, 21(4)24--24
-
categorized, 21(4)22--22, 23(4)29--29, 26(3)11--11
-
category, 19(4)11--11, 21(4)22--22, 22(3)21--21, 25(4)29--29,
30(2)25--25, 31(1)3--3, 31(2)20--20, 31(2)36e_36e, 32(2)30--30
-
category-theoretic, 4(2)171--213
-
Cats, 4(1)65--106
-
Cattaneo, Fabiano, 10(4)452--483
-
Cattaneo, Fabiano, see Bonifati, Angela
-
causal, 20(4)16--16, 25(2)12--12, 33(1)13--13
-
Causality, 33(1)10--10
-
Causality-driven, 33(3)74--74
-
cause, 1(3)310--354, 2(2)128--175, 3(1)29--55, 7(2)109--157, 16(2)8--8,
17(4)17--17, 18(3)11--11, 20(2)4--4, 21(2)8--8, 21(3)19--19,
22(2)10--10, 22(3)24--24, 23(3)23--23, 23(4)29--29, 24(3)18--18,
25(1)6--6, 25(2)14--14, 28(2)8--8, 28(4)23--23, 32(3)67--67,
32(3)76--76, 33(2)41--41, 33(4)108--108
-
caused, 3(1)3--28, 10(1)5--55, 22(2)10--10, 22(4)30--30, 25(3)24--24,
32(1)12--12, 32(4)98--98, 33(1)15--15
-
causing, 25(4)30--30
-
Causing, Failure-, 20(4)15--15
-
causing, Failure-, 20(4)15--15
-
causing, failure-, 17(3)16--16
-
caution, 27(1)1--1
-
cawk, 7(2)158--191
-
Cazzola, Walter, 32(1)6--6
-
Cazzola, Walter, see Bertolotti, Francesco
-
CBFL, 23(1)8--8
-
CBSD, 18(3)12--12
-
CC, 23(1)8--8
-
C/C++, 22(4)37--37, 26(3)10--10, 30(1)9--9
-
CCM, 9(3)273--305
-
CCS, 23(3)24--24
-
CCS-like, 9(4)488--528
-
CCT, 23(1)3--3
-
Ceccato, Mariano, 25(1)5--5, 31(4)65--65, 33(4)107--107
-
Ceccato, Mariano, see Pizzolotto, Davide,
see Romdhana, Andrea
-
Ceccato:2015:DAG, 25(1)5--5
-
Cederbladh, Johan, 33(3)81--81
-
Cederbladh:2024:EVV, 33(3)81--81
-
Centaur, 2(2)176--201
-
center, 6(3)250--282, 21(4)24--24, 32(1)24--24
-
centered, 4(2)171--213
-
centered, human-, 5(3)191--230
-
centered, Process-, 6(3)283--328
-
centered, process-, 5(3)191--230, 6(3)283--328, 8(4)343--410
-
CenterNUSC, 1(1)81--94
-
central, 2(2)176--201, 6(3)213--249, 18(3)9--9, 22(3)24--24, 30(3)27--27,
31(2)36e_36e, 31(4)68--68, 32(4)86--86, 33(2)34--34
-
centralised, 24(1)5--5
-
centralities, 20(2)6--6
-
Centrality, 27(2)8--8
-
centralized, 2(1)47--92, 9(3)273--305, 19(1)1--1, 29(1)1--1,
33(5)113--113
-
centralizes, 27(1)2--2
-
centred, web-, 22(4)36--36
-
centric, Architecture-, 23(1)2--2, 27(2)8--8
-
centric, business-, 22(2)12--12
-
centric, control-, 22(3)18--18
-
centric, network-, 23(3)22--22
-
centric, software-, 25(1)7--7
-
Cerezo, Alejandro, Hernández-, 31(4)70--70
-
Ceri, Stefano, 10(4)452--483, 15(4)360--409
-
Ceri, Stefano, see Bonifati, Angela,
see Brambilla, Marco
-
certain, 6(1)1--30, 6(2)173--210, 6(3)250--282, 7(1)41--79, 9(2)133--166,
16(1)4--4, 17(1)4--4, 18(2)4--4, 18(2)7--7, 18(4)14--14, 21(1)2--2,
22(1)5--5, 22(1)7--7, 22(2)14--14, 23(4)31--31, 26(3)11--11,
28(2)6--6, 30(3)28--28, 32(3)80--80
-
certainty, 23(1)9--9
-
certificate, 28(4)24--24, 32(1)3--3
-
certification, 1(1)81--94, 2(1)93--106, 20(4)16--16, 29(1)6--6,
32(6)154--154
-
certified, 1(1)81--94, 9(4)410--442, 22(4)34--34
-
certify, 26(3)9--9
-
Certifying, 23(1)9--9
-
Cesar, 1(1)21--52
-
Cetina, Carlos, 31(1)10--10, 32(3)63--63
-
Cetina, Carlos, see Arcega, Lorena,
see Pérez, Francisca
-
CFA, 28(3)13--13
-
CFGAnalyzer, 21(4)25--25
-
CFL-Reachability-Based, 30(4)46--46
-
cflow, 7(2)158--191
-
chain, 2(1)93--106, 19(2)5--5, 20(4)16--16, 22(2)15--15, 23(1)2--2,
23(4)33--33, 33(4)97--97, 33(5)124--124
-
chaining, 5(1)63--86
-
Chaki, Sagar, 22(2)15--15
-
Chaki:2013:VAI, 22(2)15--15
-
Chakraborty, Joymallya, 32(6)134--134
-
Chakraborty, Joymallya, see Majumder, Suvodeep
-
Chakravarty, Somik, 32(1)16--16
-
Chakravarty, Somik, see Zdun, Uwe
-
Chalin, Patrice, 22(3)27--27
-
Chalin, Patrice, see Sinnig, Daniel
-
challenge, 3(4)340--380, 6(3)250--282, 9(3)239--272, 10(1)56--109,
16(1)4--4, 17(2)9--9, 17(3)15--15, 22(1)8--8, 22(3)18--18,
22(3)22--22, 22(4)34--34, 22(4)36--36, 23(1)2--2, 23(2)12--12,
23(4)32--32, 24(1)2--2, 24(2)8--8, 24(2)9--9, 24(3)13--13,
24(3)19--19, 25(1)7--7, 25(2)12--12, 25(2)15--15, 25(2)19--19,
25(4)30--30, 26(3)11--11, 27(2)7--7, 27(2)8--8, 27(4)15--15,
28(1)1--1, 28(1)3--3, 28(2)6--6, 28(2)7--7, 28(3)15--15, 29(2)9--9,
30(4)48--48, 30(4)51--51, 30(4)55--55, 31(1)3--3, 31(1)15--15,
31(2)29--29, 31(3)56--56, 31(4)65--65, 31(4)66--66, 32(2)43--43,
32(2)48--48, 32(3)56--56, 32(3)75--75, 32(5)111--111, 32(6)139--139,
32(6)147--147, 33(1)8--8, 33(1)12--12, 33(1)14--14, 33(1)20--20,
33(2)51--51, 33(3)80--80, 33(4)91--91, 33(4)92--92, 33(4)99--99,
33(4)101--101, 33(5)123--123, 33(5)132--132
-
challenged, 30(3)32--32, 31(3)51--51, 32(1)7--7
-
challenges--its, 3(4)271--307
-
challenging, 19(1)2--2, 20(4)19--19, 21(1)2--2, 22(1)3--3, 22(4)29--29,
23(4)29--29, 23(4)30--30, 24(1)3--3, 24(1)6--6, 24(3)13--13,
24(3)17--17, 24(4)26--26, 25(2)12--12, 27(3)13--13, 27(4)16--16,
28(1)1--1, 28(4)21--21, 29(1)4--4, 30(2)13--13, 31(4)77--77,
32(1)16--16, 32(2)41--41, 32(3)56--56, 32(3)60--60, 32(4)88--88,
32(5)113--113, 32(5)117--117, 32(5)123--123, 32(6)157--157,
33(1)27--27, 33(2)53--53, 33(4)96--96, 33(4)99--99
-
challenging-race, 22(1)4--4
-
Chan, F. T., 7(3)250--295
-
Chan, F. T., see Chen, Huo Yan
-
Chan, W. K., 19(3)9--9, 25(3)27--27
-
Chan, W. K., see Xu, Chang, \see{Yang, Chunbai
-
Chan, Wing-Kwong, 30(1)7--7, 32(6)150--150
-
Chan, Wing-Kwong, see Ma, Xiaoxue,
see Wei, Zhengyuan
-
chance, 5(1)63--86, 18(3)12--12, 27(2)5--5, 31(2)36e_36e
-
Chandar, Abhishek, 33(4)93--93
-
Chandar, Abhishek, see Jodat, Baharin A.
-
Chandy, 32(6)151--151
-
Chang, Hervé, 22(4)30--30
-
Chang, Rui, 33(2)34--34
-
Chang, Rui, see Zheng, Xiaoye
-
Chang:2013:EHH, 22(4)30--30
-
change-level, 31(4)76--76
-
change-oriented, 6(4)398--441
-
changed, 2(3)270--285, 4(1)3--35, 6(2)173--210, 19(2)6--6, 20(2)5--5,
24(3)18--18, 28(2)9--9, 30(4)50--50, 32(2)30--30
-
changing, 1(3)310--354, 6(2)111--140, 21(4)21--21, 23(2)15--15,
25(3)23--23, 27(2)5--5, 28(2)7--7, 32(1)12--12
-
changing, co-, 25(4)29--29
-
channel, 22(2)15--15, 29(3)14--14, 30(1)8--8, 31(4)73--73, 33(4)90--90
-
Channel, Side-, 24(2)11--11, 33(3)79--79
-
channel, Side-, 28(3)16--16, 30(3)26--26
-
channel, side-, 24(2)11--11, 28(3)16--16, 30(3)26--26,
33(3)79--79
-
characterises, 25(2)16--16
-
characterising, 33(4)109--109
-
characteristic, 1(1)21--52, 1(1)95--127, 4(3)221--286, 6(3)283--328,
8(3)215--262, 8(4)425--472, 19(1)1--1, 20(1)2--2, 20(4)17--17,
21(3)17--17, 22(4)36--36, 26(2)8--8, 27(3)11--11, 28(3)15--15,
31(3)42--42, 32(1)8--8, 32(4)102--102, 32(5)112--112, 32(6)149--149,
33(4)88--88
-
Characterization, 32(2)40--40, 32(3)67--67
-
characterize, 4(1)36--64, 5(3)191--230, 6(3)213--249, 6(3)250--282,
9(2)199--237, 21(3)17--17, 22(1)5--5, 22(1)9--9, 23(2)16--16,
24(1)3--3, 25(1)4--4, 27(4)16--16
-
characterized, 3(4)271--307, 5(3)191--230, 9(1)94--131, 20(2)6--6,
21(4)21--21, 25(4)29--29, 31(3)46--46
-
characterizing, 23(2)14--14, 24(1)3--3, 26(4)13--13, 31(3)47--47,
33(2)37--37, 33(3)59--59, 33(3)63--63, 33(4)97--97, 33(5)116--116
-
charts, 18(4)13--13, 20(4)18--18, 21(2)12--12
-
chat, 30(4)48--48, 33(5)131--131
-
Chatbot, 33(4)90--90
-
chatbots, 33(4)90--90
-
ChatGPT, 33(5)116--116
-
ChatGPT-Generated, 33(5)116--116
-
chatrooms, 30(1)8--8, 33(5)131--131
-
Chatterjee, Preetha, 30(4)48--48
-
Chatterjee:2021:AIQ, 30(4)48--48
-
Chattopadhyay, Sudipta, 29(3)14--14
-
Chattopadhyay, Sudipta, see Wang, Guanhua
-
Chauhan, Anki, 30(3)39--39
-
Chauhan, Anki, see Zou, Deqing
-
cheat, 25(3)25--25
-
cheated, 25(3)25--25
-
cheating, 25(3)25--25
-
Chechik, Marsha, 12(4)371--408, 21(2)9--9
-
Chechik, Marsha, see Fischbein, Dario
-
Chechik:2003:MVS, 12(4)371--408
-
CHECK, 25(1)8--8
-
check, 3(4)308--339, 4(1)65--106, 4(2)109--145, 4(2)171--213, 6(1)31--79,
8(1)49--78, 9(2)133--166, 9(3)239--272, 16(1)4--4, 16(3)10--10,
16(3)11--11, 16(4)14--14, 19(4)13--13, 21(2)13--13, 21(3)14--14,
21(3)15--15, 22(1)4--4, 22(2)10--10, 22(4)33--33, 23(4)29--29,
24(2)7--7, 24(2)11--11, 25(4)28--28, 26(3)9--9, 28(3)18--18,
28(4)24--24, 29(3)14--14, 31(4)68--68, 32(5)116--116, 33(4)107--107
-
check-in, 31(4)76--76
-
checked, 4(2)109--145, 6(3)213--249, 8(3)263--283, 9(1)3--50,
22(4)34--34, 26(3)9--9
-
checked, type-, 10(1)5--55
-
checker, 1(3)269--309, 4(2)109--145, 9(2)133--166, 9(3)239--272,
9(4)443--487, 16(3)12--12, 22(1)3--3, 24(2)9--9, 24(3)18--18,
26(4)13--13, 28(3)18--18, 29(4)24--24, 30(1)7--7, 32(4)96--96
-
checker, model-, 9(1)3--50
-
checking, 1(1)95--127, 1(3)269--309, 2(2)128--175, 3(2)101--130,
3(4)308--339, 4(2)109--145, 5(3)231--261, 8(1)1--48, 8(1)49--78,
9(1)3--50, 9(1)51--93, 9(2)133--166, 9(2)167--198, 9(3)239--272,
9(4)410--442, 9(4)443--487, 9(4)488--528, 12(1)28--63,
14(2)124--167, 15(1)1--38, 16(2)7--7, 16(3)11--11, 16(3)12--12,
16(4)14--14, 17(2)8--8, 17(2)9--9, 17(2)10--10, 19(3)9--9,
20(4)14--14, 21(3)14--14, 21(3)15--15, 21(3)16--16, 21(3)18--18,
21(4)22--22, 22(1)3--3, 22(3)20--20, 23(1)9--9, 23(3)24--24,
24(2)9--9, 24(2)11--11, 24(4)23--23, 25(1)2--2, 25(2)15--15,
25(2)16--16, 26(3)9--9, 26(4)13--13, 27(4)18--18, 28(1)1--1,
28(3)18--18, 29(3)15--15, 30(1)9--9, 30(2)20--20, 30(3)34--34,
31(3)37--37, 31(4)64--64, 32(4)98--98, 32(6)151--151
-
checking, equivalence-, 3(2)101--130
-
checking, history-, 3(4)308--339
-
checking, model-, 4(2)171--213, 6(3)213--249, 7(3)333--334,
8(1)1--48, 9(1)3--50, 9(2)167--198, 9(4)443--487, 12(4)371--408,
12(4)440--473, 16(2)7--7, 21(3)18--18, 26(3)9--9, 28(3)13--13
-
checking, proof-, 3(2)131--165
-
checking, type-, 6(3)213--249, 10(1)5--55, 23(1)7--7
-
checkpoint, 20(3)9--9
-
Chef, 30(1)3--3
-
Chekam, Thierry Titcheu, 30(2)19--19
-
Chekam:2021:KSM, 30(2)19--19
-
chemical, 9(3)239--272, 28(2)6--6
-
Chen, Boyuan, 31(1)16--16
-
Chen, Boyuan, see Lyu, Yingzhe
-
Chen, Chengjun, 32(4)82--82
-
Chen, Chengjun, see Cui, Mohan
-
Chen, Chu, 28(4)24--24
-
Chen, Chu, see Tian, Cong
-
Chen, Chunqing, 19(4)13--13
-
Chen, Chunyang, 29(3)19--19, 30(3)37--37, 33(1)3--3, 33(1)26--26,
33(2)47--47, 33(4)104--104
-
Chen, Chunyang, see Chen, Jieshan,
see Chen, Qiuyuan, \see{Hu, Han,
see Ma, Suyu, \see{Wang, Han
-
Chen, Guangke, 32(3)62--62, 33(3)68--68
-
Chen, Guangke, see Zhang, Yedi, \see{Zhao, Zhe
-
Chen, Haiming, 31(2)34e_34e
-
Chen, Haiming, see Cao, Jialun
-
Chen, Haowen, 32(5)109--109
-
Chen, Haowen, see Wu, Di
-
Chen, Huo Yan, 7(3)250--295, 10(1)56--109
-
Chen, Jiachi, 31(2)30--30
-
Chen, Jiali, 33(1)2--2
-
Chen, Jiali, see Liu, Xuanzhe
-
Chen, Jialuo, 32(5)125--125
-
Chen, Jianhui, 30(4)41--41
-
Chen, Jianlang, 32(5)129--129
-
Chen, Jianlang, see Qi, Hua
-
Chen, Jieshan, 29(3)19--19, 33(5)124--124
-
Chen, Jieshan, see Cheng, Yu
-
Chen, Jinjun, 20(3)9--9, 23(1)5--5
-
Chen, Jinjun, see Liu, Xiao
-
Chen, Junjie, 29(4)30--30, 31(1)8--8, 31(4)72--72, 32(3)72--72,
32(6)135--135, 33(2)41--41, 33(3)61--61, 33(4)100--100,
33(4)102--102, 33(5)115--115
-
Chen, Junjie, see Chen, Zhichao,
see Huang, Zhenfei, \see{Jiang, Jiajun,
see Yang, Lin, \see{Zhou, Jianyi,
see Zhu, Mingxuan
-
Chen, Junkai, 32(5)119--119
-
Chen, Junkai, see Liu, Xuanzhe
-
Chen, Junyang, 32(1)13--13
-
Chen, Junyang, see Li, Xueliang
-
Chen, Lin, 23(1)10--10, 27(1)1--1, 29(1)3--3, 30(4)45--45, 31(4)69--69,
32(4)102--102, 33(4)86--86, 33(5)123--123
-
Chen, Lin, see Guo, Yimeng,
see Guo, Zhaoqiang, \see{Zhang, Peng,
see Zhou, Yuming
-
Chen, Pinan, 29(2)13--13
-
Chen, Pinan, see Li, Yangguang
-
Chen, Qiuyuan, 30(2)25--25, 30(3)37--37, 31(4)63--63, 33(1)26--26
-
Chen, Qiuyuan, see Hu, Han, \see{Hu, Xing
-
Chen, Rong, 33(4)105--105, 33(5)131--131
-
Chen, Rong, see Guo, Shikai,
see Shang, Xiuwei
-
Chen, Sen, 30(2)21--21, 31(3)49--49
-
Chen, Sen, see Guo, Hao, \see{Wu, Bozhi
-
Chen, Shizhan, 33(5)128--128
-
Chen, Shizhan, see Fan, Guodong
-
Chen, T. Y., 7(3)250--295, 10(1)56--109
-
Chen, T. Y., see Chen, Huo Yan
-
Chen, Tao, 27(2)5--5, 32(1)5--5, 32(3)68--68
-
Chen, Taolue, 30(3)26--26, 31(4)60--60, 32(3)62--62, 33(2)30--30,
33(3)60--60, 33(3)79--79
-
Chen, Taolue, see Gao, Pengfei,
see Yang, Guang, \see{Zhang, Yedi,
see Zhou, Yu
-
Chen, Ting, 32(1)26--26, 32(3)61--61
-
Chen, Ting, see He, Zheyuan, \see{Ma, Fuchen
-
Chen, Tse-Hsun (Peter), 30(2)22--22, 32(2)48--48,
see Ding, Zishuo, \see{Zhang, Haoxiang
-
Chen, Tsong Yueh, 17(3)16--16, 20(3)13--13, 22(4)31--31, 26(1)4--4,
32(1)20--20, 33(1)8--8
-
Chen, Tsong Yueh, see Chen, Zhenyu,
see Sun, Chang-Ai, \see{Xie, Xiaoyuan,
see Yoo, Shin
-
Chen, Weili, 32(5)130--130
-
Chen, Weili, see Zheng, Zibin
-
Chen, Xiang, 32(3)72--72, 33(3)60--60
-
Chen, Xiang, see Chen, Zhichao,
see Yang, Guang
-
Chen, Xiangping, 32(5)126--126, 33(1)24--24, 33(4)106--106
-
Chen, Xiangping, see Guo, Hanyang,
see Huang, Yuan
-
Chen, Xiao, 32(2)50--50
-
Chen, Xiao, see Sun, Xiaoyu
-
Chen, Yingye, 33(4)106--106
-
Chen, Yingye, see Guo, Hanyang
-
Chen, Yuanliang, 32(3)61--61, 33(2)45--45
-
Chen, Yuanliang, see Ma, Fuchen,
see Zhou, Yuanhang
-
Chen, Yuchen, 33(3)75--75
-
Chen, Yuchen, see Sun, Weisong
-
Chen, Yuting, 32(1)3--3
-
Chen, Yuting, see Nie, Pengbo
-
Chen, Zhe, 33(4)89--89
-
Chen, Zhenpeng, 30(2)18--18, 32(4)106--106, 32(5)119--119,
32(5)131--131, 32(6)156--156, 33(1)2--2, 33(2)37--37, 33(5)137--137
-
Chen, Zhenpeng, see Liu, Xuanzhe,
see Wen, Jinfeng, \see{Zhang, Yixuan
-
Chen, Zhenyu, 20(3)13--13, 33(2)50--50, 33(2)55--55, 33(3)75--75
-
Chen, Zhenyu, see Liu, Jiawei,
see Sun, Weisong, \see{Zhang, Quanjun
-
Chen, Zhichao, 32(3)72--72
-
Chen, Zhifei, 33(5)123--123
-
Chen, Zhifei, see Guo, Yimeng
-
Chen, Zhiguang, 32(5)130--130
-
Chen, Zhiguang, see Zheng, Zibin
-
Chen, Zhuangbin, 31(1)3--3
-
Chen, Zhuangbin, see Xu, Hui
-
Chen, Zuxin, 33(2)52--52
-
Chen, Zuxin, see Li, Siyuan
-
Chen:1998:BWI, 7(3)250--295
-
Chen:2001:TMO, 10(1)56--109
-
Chen:2008:UBS, 17(3)16--16
-
Chen:2010:VSI, 19(4)13--13
-
Chen:2011:RFC, 20(3)13--13
-
Chen:2011:TDB, 20(3)9--9
-
Chen:2018:FFG, 27(2)5--5
-
Chen:2020:HCT, 29(1)3--3
-
Chen:2020:PAE, 29(4)30--30
-
Chen:2020:WBU, 29(3)19--19
-
Chen:2021:EPS, 30(2)18--18
-
Chen:2021:HSI, 30(3)37--37
-
Chen:2021:LCF, 30(4)41--41
-
Chen:2021:WMC, 30(2)25--25
-
Chen:2022:BCT, 31(4)72--72
-
Chen:2022:WDS, 31(2)30--30
-
Chen:2023:CES, 32(4)106--106
-
Chen:2023:DPA, 32(3)68--68
-
Chen:2023:EBB, 32(3)72--72
-
Chen:2023:QQO, 32(5)125--125
-
Chen:2023:TUD, 32(6)135--135
-
Chen:2023:WCH, 32(1)5--5
-
Chen:2024:FTC, 33(5)137--137
-
Chen:2024:SSB, 33(4)89--89
-
Cheng, Baijun, 33(5)127--127
-
Cheng, Jiezhu, 32(2)46--46
-
Cheng, Peng, 32(5)125--125
-
Cheng, Peng, see Chen, Jialuo
-
Cheng, Xiao, 30(3)38--38, 33(5)119--119
-
Cheng, Xiao, see Ren, Jiawei
-
Cheng, Xiaoyu, 33(2)38--38
-
Cheng, Xiaoyu, see Ding, Zishuo
-
Cheng, Yiran, 33(1)1--1
-
Cheng, Yiran, see Yang, Shouguo
-
Cheng, Yu, 33(5)124--124
-
Cheng:2021:DSD, 30(3)38--38
-
Cheng:2023:HHI, 32(2)46--46
-
Cheng:2024:BFE, 33(5)127--127
-
Cheng:2024:PSL, 33(5)124--124
-
Cheon, Yoonsik, 3(3)221--253
-
Cheon:1994:LSI, 3(3)221--253
-
Cheung, S. C., 19(3)9--9, 23(4)34--34
-
Cheung, S. C., see Li, Yueqi, \see{Xu, Chang
-
Cheung, Shing Chi, 5(4)334--377, 8(1)49--78
-
Cheung, Shing-Chi, 31(2)34e_34e, 32(5)127--127, 32(5)128--128,
33(1)4--4, 33(1)16--16, 33(1)17--17
-
Cheung, Shing-Chi, see Cao, Jialun,
see Li, Meiziniu, \see{Tian, Yongqiang,
see Wu, Jiarong, \see{Zhu, Hengcheng
-
Cheung:1996:CCC, 5(4)334--377
-
Cheung:1999:CSP, 8(1)49--78
-
Chianasta, Sigmund, 32(2)41--41
-
Chianasta, Sigmund, see Costea, Andreea
-
Chiari, Michele, 30(1)9--9
-
Chiari, Michele, see Bagnara, Roberto
-
Chief, Editor-in-, 28(1)1--1
-
Chitchyan, Ruzanna, 33(5)136--136
-
Chitchyan, Ruzanna, see Betz, Stefanie
-
choice, 4(2)171--213, 7(1)80--107, 9(1)3--50, 10(2)149--183, 17(1)2--2,
21(1)3--3, 21(1)6--6, 24(2)8--8, 24(2)10--10, 24(3)17--17,
25(2)18--18, 26(4)12--12, 28(2)6--6, 30(4)49--49, 31(3)40--40,
32(6)155--155, 33(3)56--56
-
Chondamrongkul, Nacha, 30(4)50--50
-
Chondamrongkul:2021:SAM, 30(4)50--50
-
choose, 6(2)173--210, 7(2)109--157, 21(4)24--24, 29(1)2--2, 32(1)5--5,
32(6)149--149, 32(6)159--159
-
choosing, 4(2)171--213, 6(2)111--140, 10(2)184--208, 21(4)24--24,
24(2)8--8, 25(2)17--17, 31(2)20--20
-
Chopra, Amit K., 19(2)6--6
-
Chopra, Amit K., see Desai, Nirmit
-
chose, 16(3)12--12
-
chosen, 2(1)1--46, 8(1)79--113, 24(2)8--8
-
Chowdhury, Shaiful, 33(4)98--98
-
Chowdhury:2024:MLB, 33(4)98--98
-
Christiansson, Marie-Therese, 28(2)9--9
-
Christiansson, Marie-Therese, see Wagner, Stefan
-
chromosome, 27(2)5--5
-
chunk, 24(3)14--14
-
CI, 32(4)93--93, 32(6)136--136
-
CIA, 7(2)158--191
-
Ciancarini, P., 9(2)167--198
-
Ciancarini, Paolo, 2(3)203--227, 11(4)386--426
-
Ciancarini, Paolo, see Bernardo, Marco
-
Ciancarini:1993:CRB, 2(3)203--227
-
Ciancarini:2000:UCL, 9(2)167--198
-
Ciapessoni, Emanuele, 8(1)79--113
-
Ciapessoni:1999:FMF, 8(1)79--113
-
Cicchetti, Antonio, 33(3)81--81
-
Cicchetti, Antonio, see Cederbladh, Johan
-
Ciccio, Claudio, Di, 29(3)17--17
-
CI/CD, 32(3)73--73
-
CIDE, 21(3)14--14
-
Cimatti, Alessandro, 21(4)22--22
-
Cimatti:2012:VRH, 21(4)22--22
-
CiMPA, 27(2)6--6
-
CiMPG, 27(2)6--6
-
CINT2000, 25(1)2--2
-
Cinti, Stefano, 7(4)411--448
-
Cinti, Stefano, see Fuggetta, Alfonso
-
circuit, 23(1)6--6
-
circular, 5(3)231--261, 16(2)7--7
-
circumstances, 23(1)5--5, 23(4)33--33, 32(3)63--63
-
CISC, 22(4)29--29
-
CISE, 8(1)79--113
-
Cities, 31(2)27--27
-
citing, 1(1)21--52
-
claim, 6(3)329--331, 19(2)6--6, 22(2)15--15, 24(2)12--12, 24(4)24--24,
31(1)3--3
-
claimed, 26(1)4--4, 31(1)3--3
-
CLAP, 28(4)22--22
-
clarify, 18(4)15--15
-
clarifying, 7(1)80--107, 22(3)24--24
-
Clarisó, Robert, 32(2)31--31, see Burgueño, Lola
-
clarity, 4(4)365--389
-
Clark, Andrew G., 33(1)10--10
-
Clark, David, 22(3)19--19, 30(4)44--44
-
Clark, David, see Menéndez, Héctor D.,
see Yoo, Shin
-
Clark:2024:TCS, 33(1)10--10
-
Clarke, E. M., 9(4)443--487
-
Clarke, Lori A., 5(4)378--421, 13(4)359--430, 17(2)7--7, 17(2)10--10
-
Clarke, Lori A., see Barrett, Daniel J.,
see Cobleigh, Jamieson M.,
see Dwyer, Matthew B.,
see Siegel, Stephen F.
-
Clarke:2000:VSP, 9(4)443--487
-
class, first-, 30(1)5--5
-
class, world-, 32(3)56--56
-
class-level, 7(3)250--295, 10(1)56--109
-
classic, 18(3)10--10, 27(4)18--18, 33(4)98--98, 33(5)118--118
-
classical, 3(4)340--380, 7(4)335--367, 21(3)15--15, 22(4)38--38,
25(2)15--15, 25(2)17--17, 27(2)7--7, 28(2)8--8, 32(3)79--79
-
classical, quasi-, 7(4)335--367
-
classically, 28(2)8--8
-
classification, 1(2)135--167, 1(3)205--228, 1(3)269--309, 2(3)203--227,
2(4)311--345, 3(2)101--130, 3(3)221--253, 4(1)65--106, 4(3)221--286,
5(4)334--377, 6(1)80--110, 6(2)111--140, 7(3)250--295, 8(3)215--262,
8(4)425--472, 9(2)167--198, 9(3)306--337, 9(4)341--378,
10(1)56--109, 22(2)13--13, 23(1)10--10, 27(4)16--16, 27(4)17--17,
28(3)15--15, 29(2)8--8, 30(2)21--21, 31(3)47--47, 31(3)52--52,
32(5)128--128
-
classified, 8(3)215--262, 8(4)425--472, 9(3)306--337, 23(1)8--8,
23(4)29--29, 30(2)21--21
-
classifiers, 25(4)31--31, 32(4)106--106
-
classify, 1(3)310--354, 10(1)56--109, 20(4)14--14, 23(2)17--17,
31(2)20--20, 31(2)36e_36e
-
classifying, 13(2)199--239, 24(3)18--18, 28(3)15--15, 31(2)20--20
-
Classpect, 19(1)3--3
-
clause, 33(4)106--106
-
Clause, James, 32(1)18--18
-
Clause, James, see Wu, Jianwei
-
clause-learning, 26(4)14--14
-
CLBI, 32(4)102--102
-
clean, 3(2)166--199
-
cleanroom, 1(1)81--94, 2(1)93--106
-
cleansing, 23(1)8--8
-
clear, 7(4)368--410, 8(1)1--48, 10(2)149--183, 17(3)14--14, 21(3)17--17,
21(4)21--21, 22(1)5--5, 23(1)10--10, 24(4)23--23, 25(2)13--13,
27(3)13--13, 31(1)17--17, 31(4)66--66, 31(4)70--70, 32(5)117--117
-
clearly, 23(4)35--35, 27(3)14--14, 28(1)2--2, 28(3)13--13
-
Clematis, 25(2)12--12
-
Clemm, Geoffrey, 14(4)383--430
-
Clemm, Geoffrey, see Estublier, Jacky
-
Cleophas, Loek, 33(3)64--64
-
Cleophas, Loek, see Kochanthara, Sangeeth
-
CLFuzz, 33(2)45--45
-
clicking, 29(4)22--22
-
client, 16(4)14--14, 18(1)3--3, 19(1)1--1, 20(4)19--19, 22(1)4--4,
23(4)29--29, 24(1)4--4, 25(2)18--18, 28(2)7--7, 32(4)94--94,
33(3)66--66
-
client-server, 6(1)80--110, 32(5)122--122, 33(1)29--29
-
client-side, 24(4)25--25
-
Client-Specific, 32(4)98--98
-
Client-State, 23(4)29--29
-
client-state, 23(4)29--29
-
clients/server, 5(4)334--377
-
CLIPS, 9(3)306--337
-
clock, 2(4)346--378, 16(2)9--9, 22(1)3--3
-
clocked, single-, 16(2)9--9
-
clone, 20(1)3--3, 31(3)52--52, 31(4)62--62, 32(6)153--153
-
clone-and-own, 28(3)13--13
-
cloned, 20(1)3--3
-
cloning, 20(1)3--3, 32(6)153--153
-
CLOS, 5(3)262--292
-
close, 2(2)109--127, 6(1)1--30, 6(2)141--172, 17(3)16--16, 17(4)17--17,
25(3)26--26, 32(2)32--32, 33(2)36--36
-
closed, 19(4)11--11, 23(1)6--6, 32(5)110--110, 33(1)18--18, 33(3)58--58
-
closeness, 1(3)205--228, 20(2)6--6
-
closer, 1(4)422--451, 33(2)34--34
-
closure, 23(1)7--7, 33(5)119--119
-
Closure-based, 33(5)119--119
-
cloud, 23(1)5--5, 24(4)25--25, 29(2)13--13, 31(3)39--39, 31(3)43--43,
32(5)119--119, 32(5)131--131, 33(1)27--27, 33(5)132--132
-
cloud-based, 30(1)3--3
-
CLs, 28(1)5--5
-
Clumps, 23(4)33--33
-
Clun, Donato, 33(4)95--95
-
Clun:2024:RAM, 33(4)95--95
-
cluster, 8(3)263--283, 10(1)56--109, 21(4)23--23, 33(4)97--97
-
cluster-level, 10(1)56--109
-
clustered, 17(3)16--16
-
clustering, 25(1)3--3, 25(4)29--29, 32(3)79--79, 33(4)90--90
-
Clustering-based, 33(5)130--130
-
clutter, 20(1)1--1, 33(2)36--36
-
cluttered, 23(2)20--20
-
cmath, 30(1)9--9
-
CMC, 21(3)16--16
-
CMM, 7(1)1--40, 7(1)41--79
-
CMU, 17(4)19--19
-
CNN, 28(3)15--15
-
CNNs, 28(3)15--15
-
Co-AOP, 22(3)22--22
-
co-changing, 25(4)29--29
-
Co-creation, 31(3)45--45
-
co-evolution, 28(4)20--20, 32(1)19--19, 32(6)152--152
-
co-evolve, 32(6)152--152
-
co-installability, 22(4)34--34
-
co-stronger, 20(3)13--13
-
coarse, 10(2)149--183, 25(1)7--7
-
coarse-grained, 16(2)8--8, 33(2)41--41
-
coarsest, 1(3)310--354
-
Cobleigh, Jamieson M., 13(4)359--430, 17(2)7--7
-
Cobleigh, Jamieson M., see Dwyer, Matthew B.
-
Cobleigh:2008:BHD, 17(2)7--7
-
COBRA, 9(3)306--337
-
code, pseudo-, 24(1)4--4
-
Code, Remote-, 32(1)25--25
-
Code, Source-, 24(3)14--14, 25(1)7--7
-
code, source-, 23(1)4--4, 23(2)13--13, 23(2)14--14, 23(2)17--17,
25(1)7--7
-
code-based, 9(2)167--198
-
Code-Comment, 32(2)30--30
-
code-comment, 32(2)30--30
-
code-coverage-based, 28(3)17--17
-
Code-line-level, 32(4)102--102
-
code-related, 24(2)10--10
-
code-reuse-related, 32(4)87--87
-
Code-Smell, 24(1)6--6
-
code-smell, 24(1)6--6
-
code-under-test, 33(3)59--59
-
code-will, 28(2)7--7
-
code., 20(2)7--7
-
codebase, 23(2)14--14, 31(1)12--12, 31(2)28--28, 32(2)41--41
-
Coded, 23(3)21--21
-
coded, hand-, 17(3)14--14
-
CodeEditor, 32(6)143--143
-
CodeFinder, 6(2)111--140
-
CodeGPT, 33(5)126--126
-
CodeMatcher, 31(1)12--12
-
codependent, 22(3)27--27
-
coder, 29(4)28--28
-
CodeT5, 33(5)126--126
-
coding, 1(1)95--127, 1(3)310--354, 2(1)47--92, 2(1)93--106, 4(1)3--35,
4(3)221--286, 6(2)141--172, 7(1)80--107, 7(2)192--214, 7(4)449--449,
8(2)177--212, 8(4)297--342, 24(1)4--4, 29(3)16--16, 30(1)3--3,
30(3)31--31, 31(1)9--9, 33(1)13--13, 33(3)72--72
-
Coen-Porisini, Alberto, 8(1)79--113, 12(2)107--151
-
Coen-Porisini, Alberto, see Ciapessoni, Emanuele
-
Coen-Porisini:2003:FAD, 12(2)107--151
-
cognisant, 28(1)2--2
-
Cognitive, 30(3)30--30, 30(4)43--43
-
Cogo, Filipe R., 32(1)11--11
-
Cogo, Filipe R., see Rombaut, Benjamin
-
Cogo, Filipe Roseiro, 32(2)43--43, 32(4)94--94
-
Cogo, Filipe Roseiro, see Venturini, Daniel
-
Cogo:2023:AAB, 32(2)43--43
-
Cohen, Yossi, 12(3)285--316
-
Cohen:2003:AHQ, 12(3)285--316
-
coherence, 24(3)17--17, 25(1)8--8, 25(3)23--23
-
coherent, 1(1)95--127, 25(2)13--13
-
cohesion, 13(3)332--358, 15(2)123--149, 17(1)2--2, 21(2)8--8,
24(3)17--17, 25(3)24--24
-
cohesive, 21(2)8--8
-
coincidental, 15(3)227--241, 23(1)8--8
-
coined, 23(1)4--4, 30(2)24--24
-
colander, 1(1)95--127
-
Colarusso, Carmine, 32(5)117--117
-
Colarusso, Carmine, see Camilli, Matteo
-
Cold-start, 32(5)119--119
-
collaborate, 22(3)22--22, 33(4)109--109
-
collaboration, 9(3)306--337, 20(2)6--6, 23(1)2--2, 25(3)26--26,
31(3)45--45, 32(3)63--63, 32(5)108--108
-
collaboration-based, 11(2)215--255
-
collaborative, 17(2)11--11, 20(2)6--6, 20(3)10--10, 21(2)11--11,
23(1)2--2, 32(2)35--35, 32(2)40--40, 33(4)110--110
-
collapses, 7(2)109--157
-
collapsing, 16(2)8--8
-
collect, 6(3)283--328, 24(1)6--6, 24(4)26--26, 25(1)3--3, 31(2)30--30,
32(2)36--36, 33(2)38--38
-
collected, 6(4)370--397, 23(3)21--21, 23(4)33--33, 24(3)19--19,
25(2)13--13, 25(4)30--30, 26(3)10--10, 30(3)35--35, 31(1)3--3
-
collecting, 23(3)21--21, 29(4)28--28, 33(3)77--77, 33(4)87--87
-
collection, 1(3)269--309, 6(3)213--249, 18(3)12--12, 19(1)2--2,
21(2)12--12, 22(2)11--11, 22(2)13--13, 23(1)3--3, 23(4)29--29,
24(1)4--4, 26(3)10--10, 28(4)22--22, 29(3)17--17, 32(1)2--2,
33(3)66--66
-
collections, 2(3)203--227, 21(2)12--12, 22(2)11--11, 24(1)4--4,
24(4)24--24
-
Collective, 32(2)32--32
-
collectively, 2(2)109--127, 5(3)191--230, 17(2)11--11, 20(4)16--16
-
Collegiate, 31(3)55--55
-
collision, 28(4)20--20
-
collision-avoidance, 32(4)105--105
-
color, 27(3)14--14, 33(1)3--3
-
Colossal, 33(1)7--7
-
colossally, 33(4)98--98
-
column, multi-, 25(1)8--8
-
combat, 8(1)1--48, 9(2)133--166, 26(4)12--12, 33(2)44--44, 33(3)78--78
-
Combating, 26(4)12--12
-
Combatting, 32(1)13--13
-
combination, 2(3)203--227, 3(2)101--130, 3(4)340--380, 4(3)221--286,
4(4)365--389, 5(3)191--230, 6(2)111--140, 7(1)41--79, 8(1)1--48,
9(4)341--378, 10(1)56--109, 17(2)8--8, 20(1)3--3, 20(4)15--15,
22(3)17--17, 22(4)31--31, 22(4)37--37, 24(1)6--6, 24(4)24--24,
32(1)6--6, 32(2)46--46
-
combinatorial, 4(2)171--213, 8(1)1--48, 20(4)15--15, 30(4)46--46
-
combine, 1(3)269--309, 2(3)203--227, 3(1)56--98, 8(3)263--283, 9(1)3--50,
10(2)149--183, 18(2)6--6, 21(4)23--23, 22(3)19--19, 24(1)3--3,
24(1)4--4, 25(1)4--4, 25(2)16--16, 25(2)18--18, 25(3)22--22,
26(1)1--1, 26(3)9--9, 26(4)13--13, 28(4)23--23, 29(4)28--28,
30(4)42--42, 33(5)134--134
-
combined, 3(4)340--380, 4(1)36--64, 5(4)334--377, 7(1)41--79,
17(3)13--13, 21(2)9--9, 22(3)17--17, 25(1)4--4, 27(3)10--10,
32(4)93--93
-
combining, 3(1)3--28, 17(2)9--9, 17(2)10--10, 23(3)21--21, 24(1)5--5,
25(1)4--4, 26(4)14--14, 30(1)2--2, 32(3)56--56, 32(4)92--92
-
come, 6(3)250--282, 23(3)26--26, 26(4)12--12, 28(3)13--13, 30(1)9--9,
31(2)22--22, 32(4)102--102
-
COMET, 32(5)127--127
-
coming, 27(3)10--10
-
command, 1(3)205--228, 9(3)273--305, 27(2)6--6, 31(3)44--44, 32(1)8--8
-
command-and-control, 32(4)86--86
-
command-line, 32(1)8--8
-
comment, 3(1)3--28, 3(3)201--220, 4(2)214--216, 6(3)283--328,
6(3)329--331, 23(4)31--31, 24(3)14--14, 28(3)15--15, 28(4)24--24,
30(2)22--22, 30(2)25--25, 30(4)45--45, 31(4)60--60, 32(2)30--30,
32(2)45--45, 32(5)126--126, 33(1)24--24
-
comment, block-, 30(2)25--25
-
Comment, Code-, 32(2)30--30
-
comment, code-, 32(2)30--30
-
commenting, 32(2)45--45, 32(6)146--146, 33(1)24--24
-
commercial, 6(3)283--328, 10(1)110--147, 18(1)1--1, 19(1)1--1, 20(2)6--6,
22(1)6--6, 24(3)13--13, 25(2)13--13, 29(4)27--27, 31(4)75--75
-
commit, 26(3)10--10, 29(3)16--16, 30(4)56--56, 31(1)13--13,
33(5)133--133, 33(5)134--134
-
commitments, 19(2)6--6, 24(2)9--9
-
common, 1(1)5--20, 1(3)229--268, 2(2)109--127, 2(4)379--411,
4(2)109--145, 5(4)378--421, 6(3)213--249, 8(4)297--342, 18(2)5--5,
18(3)9--9, 18(4)14--14, 20(2)5--5, 20(4)17--17, 21(1)6--6, 21(2)8--8,
21(2)9--9, 21(3)17--17, 21(4)24--24, 22(1)6--6, 22(2)10--10,
22(2)11--11, 22(3)22--22, 22(3)25--25, 22(4)38--38, 23(4)29--29,
23(4)33--33, 24(1)4--4, 24(2)11--11, 24(3)15--15, 24(3)20--20,
24(4)22--22, 24(4)24--24, 25(1)2--2, 25(3)20--20, 25(4)29--29,
26(4)12--12, 27(4)15--15, 28(1)1--1, 28(1)2--2, 28(2)9--9,
28(3)13--13, 28(4)19--19, 30(1)9--9, 31(1)1--1, 31(1)3--3, 31(1)9--9,
31(4)59--59, 32(1)8--8, 32(2)39--39, 32(3)76--76, 32(4)91--91,
32(5)117--117, 32(6)153--153, 33(2)48--48, 33(4)102--102
-
commonly, 18(2)7--7, 19(2)4--4, 19(4)11--11, 20(1)3--3, 22(1)5--5,
23(1)9--9, 24(4)23--23, 25(3)23--23, 27(2)5--5, 28(2)6--6,
30(2)17--17, 30(2)18--18, 30(2)21--21, 31(2)36e_36e, 31(4)69--69,
32(1)5--5, 32(1)7--7, 32(1)27--27, 32(3)75--75, 32(4)95--95,
32(6)146--146, 33(2)37--37
-
communicate, 6(3)250--282, 6(3)283--328, 22(4)30--30, 28(3)18--18,
33(5)124--124
-
communicating, 2(1)1--46, 24(2)9--9, 30(4)53--53, 31(2)29--29,
33(5)112--112
-
communication, 1(3)269--309, 2(1)1--46, 2(4)379--411, 6(3)250--282,
8(2)115--146, 9(2)167--198, 9(2)199--237, 16(4)15--15, 17(4)19--19,
19(1)2--2, 22(2)15--15, 23(4)31--31, 25(3)26--26, 29(2)9--9,
30(1)8--8, 30(2)18--18, 32(1)16--16, 32(5)122--122, 32(6)160--160,
33(5)113--113, 33(5)131--131
-
Communication, Computer-, 1(4)355--398, 2(1)1--46,
3(3)201--220, 6(3)329--331, 8(2)115--146, 9(3)273--305,
9(4)488--528
-
communications, 33(1)27--27
-
communicative, 29(3)16--16
-
community, 8(3)215--262, 8(4)425--472, 20(2)6--6, 21(4)24--24,
23(4)35--35, 24(1)1--1, 24(4)23--23, 25(1)1--1, 25(2)13--13,
25(4)29--29, 29(4)23--23, 29(4)26--26, 30(4)42--42, 30(4)48--48,
31(3)45--45, 31(3)50--50, 31(4)62--62, 32(1)27--27, 32(2)52--52,
32(3)80--80, 32(4)91--91, 32(4)107--107, 32(6)144--144,
32(6)146--146, 33(1)14--14, 33(3)62--62, 33(3)73--73, 33(4)98--98
-
community-level, 20(2)6--6
-
compact, 8(2)177--212, 9(1)3--50, 9(1)51--93, 22(2)11--11, 26(4)14--14
-
compaction, 7(2)192--214, 7(4)449--449
-
compactly, 7(2)109--157
-
company, 17(3)13--13, 22(2)11--11, 23(1)2--2, 25(2)13--13, 31(1)10--10,
31(4)75--75, 32(1)21--21, 32(3)63--63, 32(5)111--111
-
comparable, 9(3)239--272, 18(1)3--3, 25(1)3--3, 27(1)1--1, 29(4)28--28
-
comparative, 10(2)149--183, 10(2)184--208, 21(4)24--24, 24(3)20--20,
32(5)126--126
-
comparatively, 20(1)2--2
-
comparator, 1(3)205--228
-
compare, 3(1)3--28, 5(3)191--230, 5(3)262--292, 5(4)378--421,
6(4)333--369, 7(3)215--249, 9(3)306--337, 17(3)15--15, 18(2)5--5,
21(3)18--18, 22(1)6--6, 22(2)13--13, 22(3)26--26, 22(4)37--37,
23(2)16--16, 24(2)9--9, 24(3)13--13, 24(4)22--22, 25(1)3--3,
25(1)5--5, 25(1)6--6, 27(3)13--13, 27(4)18--18, 28(4)22--22,
31(4)71--71, 33(3)56--56
-
compared, 3(4)340--380, 4(3)287--317, 5(1)63--86, 9(1)94--131,
10(2)149--183, 16(1)4--4, 17(1)2--2, 17(2)8--8, 20(2)4--4, 20(2)7--7,
21(4)25--25, 22(2)10--10, 22(2)13--13, 22(4)31--31, 22(4)33--33,
24(1)6--6, 24(3)19--19, 25(1)10--10, 25(3)27--27, 26(1)2--2,
26(1)4--4, 27(1)1--1, 27(1)2--2, 27(2)5--5, 27(4)16--16, 27(4)18--18,
28(1)1--1, 28(1)2--2, 28(1)5--5, 28(3)13--13, 28(3)17--17,
28(4)23--23, 32(5)132--132
-
comparing, 1(1)53--80, 2(3)286--303, 5(4)378--421, 7(2)158--191,
11(4)427--448, 16(1)4--4, 16(4)14--14, 21(3)19--19, 22(3)19--19,
22(4)29--29, 23(1)9--9, 24(3)13--13, 24(4)22--22, 24(4)23--23,
26(2)8--8, 27(1)1--1, 27(3)13--13, 29(3)17--17, 31(4)74--74,
33(1)12--12, 33(4)86--86
-
comparison, 6(3)283--328, 16(3)11--11, 17(1)2--2, 22(2)13--13,
22(3)18--18, 22(4)33--33, 24(3)20--20, 24(4)22--22, 25(1)4--4,
25(1)10--10, 25(2)15--15, 25(4)29--29, 26(2)8--8, 27(1)1--1,
28(1)2--2, 28(3)13--13, 29(3)17--17, 32(3)70--70, 32(4)97--97,
32(6)144--144, 33(3)67--67
-
compatibility, 6(3)213--249, 9(3)239--272, 19(4)11--11, 22(1)9--9,
28(4)21--21, 30(4)42--42, 32(4)98--98
-
compatible, 3(2)166--199
-
compelling, 21(4)25--25
-
compensate, 6(2)111--140, 16(1)4--4, 25(3)22--22
-
compensated, 23(1)5--5
-
competence, 24(3)16--16
-
competencies, 32(5)114--114
-
competing, 22(2)12--12, 23(3)21--21, 24(1)4--4
-
Competition, 31(3)55--55, 33(1)13--13
-
competitive, 19(2)6--6, 24(2)10--10, 26(1)4--4, 31(3)50--50, 33(3)78--78
-
competitive, human-, 33(1)28--28
-
competitiveness, 26(1)4--4, 31(4)59--59
-
compilable, 33(3)71--71
-
compilation, 1(1)81--94, 3(1)3--28, 8(3)284--295, 20(2)7--7, 25(1)9--9,
32(2)39--39, 33(3)71--71, 33(4)100--100
-
compiled, 5(3)262--292, 33(3)71--71
-
compiler, 1(3)310--354, 3(1)3--28, 3(1)29--55, 4(1)3--35, 4(2)214--216,
4(2)217--219, 7(2)158--191, 9(4)488--528, 10(1)5--55, 10(2)209--254,
20(1)1--1, 20(4)18--18, 22(1)4--4, 23(3)23--23, 24(2)11--11,
25(1)2--2, 25(1)9--9, 26(4)12--12, 31(4)70--70, 31(4)72--72,
33(1)17--17, 33(4)96--96, 33(4)100--100, 33(5)118--118
-
compiler-level, 19(1)1--1
-
complement, 6(3)250--282, 7(3)296--332, 9(1)3--50, 22(1)6--6,
23(2)20--20, 24(1)1--1, 24(1)2--2, 24(1)3--3, 26(1)4--4, 26(2)6--6,
32(3)56--56
-
complementary, 21(3)15--15, 22(2)13--13, 23(1)2--2, 25(1)8--8, 29(1)1--1,
33(4)92--92
-
complementation, 19(4)11--11
-
complemented, 28(3)14--14
-
complementing, 29(4)29--29
-
complete, 3(4)271--307, 16(4)13--13, 20(4)19--19, 21(1)1--1, 21(4)20--20,
22(3)21--21, 22(3)23--23, 23(2)20--20, 24(1)1--1, 24(3)13--13,
25(3)21--21, 25(3)27--27, 26(3)9--9, 27(1)1--1, 29(3)20--20,
30(1)7--7, 32(2)37--37, 33(5)120--120
-
complete, auto-, 32(2)47--47
-
complete, NP-, 24(1)5--5
-
completed, 6(1)1--30, 16(1)4--4
-
completely, 7(2)109--157, 10(1)5--55, 17(3)14--14, 22(4)31--31,
25(3)22--22, 25(3)27--27, 33(3)64--64
-
completeness, 16(3)11--11, 22(1)5--5, 24(3)13--13, 25(3)21--21,
26(3)9--9, 26(4)13--13, 28(3)14--14, 28(4)21--21, 33(3)77--77
-
completing, 18(2)5--5
-
completion, 24(1)4--4, 25(1)3--3, 25(2)12--12, 32(2)35--35, 33(3)56--56,
33(5)120--120
-
Completion-aware, 29(4)24--24
-
complex, 1(1)5--20, 1(1)95--127, 1(2)135--167, 1(3)269--309,
1(4)399--421, 3(1)56--98, 3(4)271--307, 5(4)334--377, 6(3)213--249,
7(3)215--249, 7(4)368--410, 8(2)177--212, 9(2)167--198,
10(1)56--109, 16(2)9--9, 17(2)10--10, 18(2)7--7, 18(3)9--9,
18(4)15--15, 19(4)12--12, 19(4)13--13, 20(4)17--17, 21(2)9--9,
21(4)24--24, 22(1)3--3, 22(3)24--24, 23(1)8--8, 23(3)26--26,
24(3)17--17, 24(3)20--20, 25(1)4--4, 25(1)8--8, 25(2)12--12,
25(3)20--20, 25(3)25--25, 26(1)1--1, 26(3)9--9, 26(3)11--11,
27(1)1--1, 27(1)2--2, 27(2)5--5, 28(1)1--1, 28(2)7--7, 31(1)5--5,
31(1)14--14, 31(1)15--15, 31(2)22--22, 32(1)7--7, 32(4)94--94,
32(4)98--98, 32(5)116--116, 32(5)121--121, 33(4)99--99,
33(5)121--121
-
complexity, 1(3)205--228, 2(1)93--106, 3(4)308--339, 5(1)42--62,
6(2)141--172, 9(3)239--272, 9(4)379--409, 16(4)15--15, 18(3)9--9,
21(1)1--1, 22(1)6--6, 22(4)34--34, 23(1)2--2, 23(3)24--24,
23(3)25--25, 24(1)2--2, 24(2)8--8, 24(2)9--9, 24(3)17--17, 25(1)5--5,
25(2)16--16, 25(4)30--30, 27(2)8--8, 27(3)13--13, 28(3)13--13,
28(4)23--23, 30(2)13--13, 30(4)49--49, 31(2)30--30, 32(1)14--14,
32(1)16--16, 32(5)113--113, 32(5)121--121, 33(3)81--81,
33(5)131--131, 33(5)135--135
-
compliance, 17(2)11--11, 24(2)9--9
-
complicate, 1(3)229--268, 9(1)51--93, 10(2)149--183, 21(3)17--17,
25(2)15--15
-
complicated, 1(1)5--20, 25(1)2--2, 25(3)27--27, 29(1)4--4
-
complications, 10(2)149--183
-
comply, 21(2)8--8, 24(2)9--9, 32(1)12--12, 32(5)110--110, 33(2)35--35
-
complying, 22(1)5--5, 26(1)1--1
-
component, inter-, 26(1)2--2
-
Component, Intra-, 26(1)2--2
-
component, intra-, 26(1)2--2
-
Component-Based, 18(3)12--12
-
component-based, 9(3)239--272, 16(2)9--9, 18(3)12--12, 22(4)30--30,
23(3)25--25, 26(3)9--9
-
component/building-block, 1(4)355--398
-
components--functions, 4(2)146--170
-
component/system, 18(3)12--12
-
composable, 18(3)9--9
-
compose, 6(1)31--79
-
composed, 1(2)135--167, 2(4)379--411, 9(1)94--131, 16(1)5--5, 21(1)5--5,
21(2)9--9, 22(1)5--5, 27(2)5--5, 28(3)17--17, 29(1)7--7,
32(5)124--124, 32(5)130--130, 33(1)8--8
-
composing, 4(4)365--389, 17(2)7--7, 18(3)9--9, 20(2)5--5, 22(3)23--23,
22(4)34--34
-
composite, 4(3)221--286, 9(1)3--50, 10(1)56--109, 26(2)8--8
-
composition, 2(1)1--46, 2(4)379--411, 4(1)65--106, 5(4)378--421,
8(1)1--48, 8(1)49--78, 8(3)215--262, 8(4)425--472, 13(3)277--331,
16(1)5--5, 18(3)9--9, 18(3)12--12, 19(2)6--6, 21(2)9--9, 22(3)23--23,
27(3)14--14, 31(3)42--42, 33(3)70--70
-
composition., 18(3)12--12
-
compositional, 2(4)379--411, 5(4)334--377, 8(1)1--48, 8(1)49--78,
25(3)21--21, 25(3)27--27, 33(3)79--79
-
compositionality, 19(1)3--3
-
Compounding, 9(4)379--409
-
comprehend, 23(4)31--31, 24(3)14--14, 32(1)23--23, 32(5)126--126,
32(6)148--148, 33(5)127--127
-
comprehend, easy-to-, 30(4)47--47
-
comprehending, 24(3)18--18
-
comprehensibility, 6(2)141--172, 20(2)5--5, 23(2)13--13, 24(3)14--14
-
comprehension, 4(3)287--317, 13(2)199--239, 23(4)31--31, 24(1)1--1,
25(2)12--12, 26(3)10--10, 30(4)56--56, 32(1)6--6, 32(1)18--18,
33(1)24--24, 33(3)59--59, 33(3)67--67, 33(4)84--84
-
comprehensive, 6(3)283--328, 8(4)343--410, 14(2)199--245, 21(2)9--9,
21(4)22--22, 22(1)7--7, 22(4)31--31, 27(1)3--3, 28(2)7--7,
29(3)16--16, 30(4)45--45, 31(2)36e_36e, 32(3)56--56, 32(4)106--106,
33(3)82--82, 33(4)111--111, 33(5)134--134, 33(5)137--137
-
comprehensively, 27(2)5--5, 27(3)10--10, 33(3)56--56
-
compress, 7(2)192--214
-
Compressed, 32(5)128--128
-
compression, 7(2)192--214, 7(4)449--449, 32(5)128--128
-
compressor, 7(2)192--214
-
comprise, 4(3)287--317, 6(1)31--79, 24(3)15--15, 24(4)26--26
-
comprised, 20(1)2--2, 24(1)4--4
-
comprising, 18(1)2--2, 24(3)13--13
-
compromised, 33(1)2--2
-
compromising, 17(2)9--9
-
computation, 1(3)229--268, 1(3)310--354, 2(4)311--345, 3(2)131--165,
3(2)166--199, 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(4)293--333,
5(4)334--377, 6(1)31--79, 6(3)213--249, 6(3)250--282, 6(4)333--369,
7(3)296--332, 7(3)333--334, 7(4)335--367, 8(2)115--146,
8(2)177--212, 9(1)3--50, 9(1)94--131, 9(2)133--166, 9(3)239--272,
9(4)488--528, 10(1)5--55, 17(2)10--10, 19(4)13--13, 22(4)34--34,
24(1)4--4, 24(2)9--9, 24(2)11--11, 25(2)16--16, 25(4)28--28,
28(3)14--14, 28(4)23--23, 29(1)5--5, 30(2)13--13, 30(2)17--17,
33(2)40--40
-
computational, 5(4)334--377, 24(2)9--9, 25(2)16--16, 26(3)9--9,
28(3)15--15, 32(3)77--77, 32(4)93--93, 32(5)133--133, 33(1)29--29,
33(4)101--101
-
computationally, 2(3)228--269, 3(4)340--380, 31(4)69--69
-
compute, 5(3)262--292, 6(3)250--282, 7(2)158--191, 21(3)18--18,
22(3)17--17, 23(2)14--14, 24(1)3--3, 24(1)4--4, 24(4)25--25,
25(4)28--28, 25(4)30--30, 28(3)18--18, 33(5)119--119
-
computed, 1(3)205--228, 1(3)310--354, 21(3)18--18, 22(3)25--25,
23(3)23--23, 30(1)9--9
-
computer, 1(4)355--398, 2(1)1--46, 2(2)128--175, 3(3)201--220,
3(4)308--339, 6(1)31--79, 6(3)329--331, 8(1)79--113, 8(2)115--146,
8(4)343--410, 9(3)273--305, 9(4)379--409, 9(4)488--528, 17(4)19--19,
21(1)6--6, 22(4)29--29, 25(2)15--15, 27(3)14--14, 30(3)30--30,
31(4)60--60, 32(4)88--88
-
Computer-Aided, 8(4)343--410
-
computer-aided, 1(1)21--52, 2(1)47--92, 2(3)228--269, 3(4)340--380,
6(1)31--79, 6(2)173--210, 6(3)283--328, 7(4)335--367, 7(4)368--410,
7(4)411--448, 8(4)343--410, 16(2)7--7
-
computer-based, 8(4)343--410
-
Computer-Communication, 1(4)355--398, 2(1)1--46, 3(3)201--220,
6(3)329--331, 8(2)115--146, 9(3)273--305, 9(4)488--528
-
computerized, 5(3)191--230
-
computing, distributed-, 6(3)250--282
-
con, 6(2)173--210
-
Conboy, Kieran, 20(1)2--2
-
Conboy:2010:MDC, 20(1)2--2
-
concatenation, 21(4)25--25
-
conceived, 7(4)368--410, 8(3)215--262, 8(4)425--472
-
concentrate, 7(3)250--295
-
concept, 1(1)53--80, 1(3)205--228, 2(1)1--46, 3(1)56--98, 5(2)146--189,
5(3)191--230, 6(3)250--282, 7(2)109--157, 7(3)250--295,
9(3)306--337, 9(4)379--409, 10(1)56--109, 16(1)5--5, 16(2)9--9,
17(4)17--17, 17(4)19--19, 18(2)5--5, 18(4)14--14, 18(4)15--15,
20(1)3--3, 20(4)15--15, 21(3)15--15, 21(3)17--17, 21(4)23--23,
22(1)7--7, 22(3)20--20, 22(4)31--31, 22(4)37--37, 23(2)16--16,
23(3)24--24, 24(2)7--7, 24(3)16--16, 25(1)6--6, 25(4)31--31,
26(1)3--3, 28(2)7--7, 28(3)14--14, 30(3)34--34, 31(1)6--6,
31(2)29--29, 31(2)32--32, 32(2)42--42, 32(2)43--43, 32(5)112--112,
33(4)109--109
-
concept, proof-of-, 6(2)111--140, 21(2)10--10, 23(1)2--2
-
conception, 29(1)7--7
-
conceptual, 1(2)135--167, 16(1)3--3, 17(2)11--11, 19(1)3--3, 19(2)4--4,
21(2)13--13, 21(3)15--15, 33(4)91--91
-
conceptualizations, 1(4)355--398
-
conceptualizes, 17(2)11--11
-
conceptualizing, 31(2)29--29
-
conceptually, 3(4)340--380, 4(2)171--213, 18(2)5--5, 20(4)14--14,
33(1)17--17
-
concern, 4(1)65--106, 4(2)171--213, 6(3)250--282, 9(4)341--378,
9(4)443--487, 16(1)3--3, 17(1)3--3, 17(4)18--18, 19(1)1--1,
19(1)3--3, 19(2)6--6, 20(1)1--1, 21(4)25--25, 22(3)22--22, 23(1)2--2,
23(2)17--17, 29(3)17--17, 30(4)49--49, 31(3)36--36, 31(3)45--45,
31(3)47--47, 32(1)8--8, 32(3)67--67, 32(4)106--106, 32(5)117--117,
32(6)134--134, 33(1)21--21, 33(1)23--23, 33(2)42--42, 33(5)122--122,
33(5)137--137
-
concerned, 6(2)141--172, 21(1)6--6, 21(2)12--12, 28(2)8--8, 29(3)17--17
-
concerning, 1(1)95--127, 1(2)188--204, 25(3)25--25, 26(4)14--14,
32(2)30--30, 32(6)137--137
-
concise, 22(4)34--34
-
conclude, 7(1)41--79, 17(4)19--19, 20(1)2--2, 21(4)24--24, 22(3)22--22,
23(4)33--33, 25(1)4--4, 28(1)2--2
-
conclusion, 1(1)5--20, 1(2)188--204, 3(4)308--339, 6(1)1--30,
17(3)13--13, 18(3)10--10, 21(4)24--24, 22(4)35--35, 23(1)10--10,
26(1)3--3, 27(1)1--1, 27(3)12--12, 30(1)9--9
-
conclusive, 23(2)20--20, 24(4)23--23
-
concolic, 21(4)25--25
-
concrete, 21(2)12--12, 22(4)34--34, 23(3)26--26, 25(2)18--18,
25(4)30--30, 26(3)10--10, 27(3)14--14, 27(4)18--18, 28(3)16--16,
28(4)21--21, 32(2)43--43
-
concurrency, 1(3)269--309, 2(3)203--227, 3(4)340--380, 4(1)65--106,
4(2)171--213, 4(3)287--317, 5(4)334--377, 9(1)3--50, 9(1)51--93,
17(2)10--10, 19(1)1--1, 22(1)4--4, 22(1)8--8, 22(2)10--10,
24(4)24--24, 25(2)14--14, 28(3)14--14, 31(4)58--58, 32(2)41--41
-
concurrency-memory, 22(2)10--10
-
concurrent, 2(1)47--92, 2(3)203--227, 2(4)311--345, 3(2)131--165,
3(4)271--307, 3(4)340--380, 4(1)65--106, 4(2)171--213, 4(3)221--286,
4(3)287--317, 5(4)334--377, 6(1)31--79, 6(1)80--110, 6(3)250--282,
8(1)1--48, 9(1)51--93, 9(1)94--131, 9(2)133--166, 9(2)167--198,
9(3)306--337, 13(4)359--430, 16(3)12--12, 22(1)8--8, 22(2)10--10,
23(3)24--24, 25(3)21--21, 28(3)18--18, 29(2)9--9, 31(2)22--22,
32(2)41--41, 33(1)8--8
-
concurrently, 22(4)29--29, 30(1)7--7
-
condition, 2(2)109--127, 4(1)36--64, 4(1)65--106, 5(3)262--292,
5(4)334--377, 6(2)173--210, 8(4)411--424, 9(4)379--409,
15(4)410--457, 16(3)10--10, 17(2)10--10, 17(4)20--20, 20(3)11--11,
21(1)2--2, 21(1)5--5, 22(1)4--4, 22(1)9--9, 22(4)36--36, 23(1)8--8,
24(1)3--3, 24(2)7--7, 24(3)15--15, 25(3)25--25, 26(1)2--2,
32(1)22--22, 33(1)21--21, 33(2)44--44, 33(3)66--66
-
conditional, 1(4)422--451, 18(3)11--11, 24(2)9--9
-
conditionally, 18(3)9--9
-
conditions, post-, 3(3)221--253, 4(2)109--145, 6(4)333--369,
9(1)3--50
-
conducive, 2(4)379--411, 21(4)20--20
-
conduct, 25(1)2--2, 28(4)24--24, 29(3)16--16, 32(1)13--13, 32(2)53--53,
33(3)56--56
-
conducted, 10(2)184--208, 17(4)19--19, 17(4)20--20, 18(1)1--1,
18(3)12--12, 19(1)2--2, 19(2)5--5, 21(1)4--4, 21(3)17--17,
21(3)19--19, 21(4)24--24, 22(2)11--11, 22(2)12--12, 22(4)33--33,
22(4)37--37, 23(1)4--4, 23(4)35--35, 24(1)1--1, 24(3)13--13,
24(3)14--14, 24(3)17--17, 24(3)19--19, 24(4)26--26, 25(1)5--5,
25(2)14--14, 25(3)23--23, 25(3)24--24, 26(2)6--6, 27(1)2--2,
27(2)8--8, 28(2)9--9, 28(3)15--15, 31(2)30--30, 31(3)45--45
-
conducting, 33(4)94--94, 33(5)137--137
-
ConE, 31(2)22--22
-
confer, 7(3)296--332
-
Conference, 23(4)28--28
-
confidence, 1(1)5--20, 1(1)81--94, 6(2)173--210, 10(2)184--208,
22(3)17--17, 24(2)7--7, 27(2)6--6, 28(1)5--5, 28(2)9--9
-
confident, 4(1)36--64
-
confident, over-, 17(4)20--20
-
confidential, 31(4)64--64
-
confidentiality, 9(4)410--442, 9(4)488--528
-
configurable, 26(3)10--10, 27(4)18--18, 32(2)46--46, 32(3)68--68
-
configurable, highly-, 26(3)10--10
-
configuration, 1(1)95--127, 1(3)310--354, 3(1)3--28, 4(2)214--216,
4(2)217--219, 5(2)146--189, 6(4)398--441, 7(4)368--410,
7(4)449--449, 8(3)284--295, 9(1)94--131, 9(3)239--272,
14(4)383--430, 21(1)2--2, 21(2)12--12, 21(4)23--23, 23(3)25--25,
24(4)24--24, 25(3)26--26, 26(4)14--14, 27(4)18--18, 30(4)53--53,
31(2)36e_36e, 32(2)46--46, 32(2)53--53, 32(2)55--55, 32(3)68--68,
33(1)5--5, 33(1)7--7
-
configure, 23(4)29--29, 32(4)94--94
-
configured, 31(3)53--53, 33(1)5--5
-
Configuring, 26(4)14--14
-
confirm, 1(2)188--204, 9(3)306--337, 21(4)24--24, 23(1)4--4, 24(1)6--6,
24(2)8--8, 27(3)12--12, 28(3)15--15, 30(3)26--26
-
confirmed, 17(2)8--8, 23(4)31--31, 23(4)32--32, 24(4)24--24, 24(4)26--26
-
confirming, 24(4)23--23, 25(3)26--26, 28(4)21--21
-
conflict, 12(1)3--27, 21(4)24--24, 22(2)15--15, 22(4)34--34, 28(4)20--20,
29(4)25--25, 32(2)40--40
-
conflict-driven, 26(4)14--14
-
conflict-free, 21(4)24--24
-
conflicted, 27(2)5--5
-
conflicting, 21(1)1--1, 27(2)5--5
-
conform, 9(4)379--409, 23(2)15--15, 25(3)22--22
-
conformance, 3(3)201--220, 6(3)329--331, 8(3)263--283, 9(3)306--337,
16(3)11--11, 22(3)27--27, 23(1)9--9, 23(2)15--15, 25(4)28--28,
27(2)8--8, 29(3)15--15
-
conforming, 25(4)31--31
-
confounding, 23(1)10--10
-
confront, 25(4)28--28
-
Cong, Thanh, Le-, 33(5)116--116
-
conglomerates, 9(3)273--305
-
conjoined, 24(3)15--15
-
conjunction, 2(4)379--411, 4(2)171--213, 24(2)7--7
-
ConMem, 22(2)10--10
-
ConMem-v, 22(2)10--10
-
connect, 23(2)12--12, 30(2)20--20
-
connected, 3(2)166--199
-
connecting, 22(4)32--32
-
connection, 6(3)213--249, 7(3)333--334, 18(3)12--12, 21(3)19--19,
21(4)21--21, 22(2)12--12, 27(2)7--7, 32(1)3--3, 33(1)5--5
-
connectives, 7(4)335--367
-
connectivity, 8(2)115--146
-
connectors, 6(3)213--249, 12(1)64--104, 22(4)30--30
-
conquer, 32(6)151--151
-
conquer, divide-and-, 4(2)171--213
-
Conradi, Reidar, 6(3)283--328, 14(4)383--430, 17(3)13--13
-
Conradi, Reidar, see Ambriola, Vincenzo,
see Estublier, Jacky,
see Mohagheghi, Parastoo
-
conscious, 24(2)8--8
-
conscious, reuse-, 20(4)17--17
-
consensus, 24(1)6--6
-
Consent, 32(1)2--2
-
consequence, 2(2)128--175, 7(1)80--107, 7(2)158--191, 8(4)343--410,
16(2)9--9, 21(4)22--22, 21(4)23--23, 25(3)25--25, 27(4)17--17,
31(2)34e_34e, 31(4)64--64, 33(1)18--18, 33(1)22--22, 33(5)125--125
-
consequently, 20(3)9--9, 23(1)9--9, 24(3)15--15, 25(3)22--22, 28(1)4--4,
30(4)53--53, 32(3)65--65, 32(4)100--100
-
conservative, 1(3)310--354, 6(1)80--110, 7(2)158--191, 9(1)3--50
-
consider, 3(4)271--307, 3(4)340--380, 4(2)146--170, 4(4)319--364,
6(3)250--282, 7(2)158--191, 9(3)306--337, 9(4)341--378, 16(1)3--3,
17(3)16--16, 18(4)14--14, 19(2)5--5, 21(4)24--24, 22(2)11--11,
22(2)14--14, 22(3)17--17, 22(4)35--35, 24(1)5--5, 25(3)23--23,
25(3)24--24, 27(1)1--1, 27(4)15--15, 28(1)3--3, 28(3)14--14,
31(2)26--26, 31(4)64--64, 32(3)71--71, 32(4)107--107, 33(3)58--58,
33(5)136--136
-
considerable, 2(2)176--201, 7(2)158--191, 17(2)11--11, 22(1)8--8,
28(1)4--4, 30(1)9--9, 32(1)15--15, 32(6)154--154, 33(2)30--30
-
considerably, 23(4)31--31
-
considered, 1(1)53--80, 1(4)399--421, 1(4)422--451, 2(1)1--46,
6(1)80--110, 10(2)184--208, 16(2)8--8, 17(2)7--7, 20(1)3--3,
22(3)19--19, 22(3)26--26, 22(4)31--31, 23(1)4--4, 23(2)18--18,
24(2)7--7, 24(3)20--20, 24(4)26--26, 25(1)5--5, 25(2)17--17,
25(3)24--24, 26(2)6--6, 27(3)11--11, 28(1)4--4, 28(3)13--13,
30(2)21--21, 31(1)3--3, 31(1)7--7, 31(2)23--23, 32(1)4--4
-
considering, 6(3)250--282, 17(1)4--4, 21(2)8--8, 23(1)5--5, 24(2)10--10,
24(3)20--20, 25(3)20--20, 28(2)10--10, 33(3)59--59, 33(5)133--133
-
consist, 3(2)101--130, 3(4)271--307, 4(1)3--35, 10(1)56--109, 16(2)9--9,
17(1)3--3, 18(4)13--13, 21(3)18--18, 22(4)28--28, 23(1)2--2,
23(1)6--6, 23(2)13--13, 23(3)21--21, 25(3)22--22, 26(2)6--6,
27(2)6--6, 30(4)53--53, 31(2)28--28, 33(3)78--78
-
consistency, 4(3)221--286, 5(3)231--261, 6(3)250--282, 6(4)398--441,
8(2)115--146, 12(1)28--63, 16(3)11--11, 19(3)9--9, 19(4)12--12,
20(3)9--9, 22(3)24--24, 22(3)26--26, 23(3)25--25, 24(3)13--13,
24(3)17--17, 25(3)20--20, 25(3)23--23, 26(1)2--2, 27(3)11--11,
28(3)18--18, 29(3)17--17, 31(3)43--43
-
consistent, 1(1)95--127, 5(3)191--230, 5(4)378--421, 6(3)283--328,
7(3)250--295, 8(4)411--424, 19(2)5--5, 20(1)3--3, 20(2)5--5,
20(3)11--11, 21(2)9--9, 21(4)21--21, 22(3)24--24, 22(4)36--36,
23(3)25--25, 24(3)13--13, 27(3)14--14, 31(1)16--16
-
consistent, Behavior-, 11(1)92--148
-
consisting, 4(2)109--145, 4(4)365--389, 21(2)12--12, 22(1)4--4,
22(3)20--20, 23(2)12--12, 25(3)27--27, 26(3)11--11, 33(1)28--28
-
consolidated, 22(2)11--11, 32(4)88--88
-
Consolidation, 22(2)11--11
-
conspicuous, 25(3)22--22
-
constant, 2(3)228--269, 31(2)35e_35e
-
constantly, 23(2)14--14, 30(4)44--44, 31(4)78--78, 32(2)41--41
-
constitute, 1(4)399--421, 18(2)4--4, 21(4)24--24, 28(3)13--13, 33(1)5--5
-
constituting, 33(2)43--43
-
constrain, 17(2)10--10, 25(1)4--4
-
constrained, 4(3)287--317, 8(1)49--78, 22(3)24--24, 23(1)5--5,
26(4)14--14, 32(6)155--155
-
constrained, Resource-, 31(2)28--28
-
constrained, time-, 4(3)287--317
-
constraining, 4(2)109--145
-
Constraint-based, 2(2)109--127
-
constraint-generation, 21(4)25--25
-
constraint-solving, 21(4)25--25
-
construct, 1(3)269--309, 2(4)311--345, 3(1)56--98, 3(2)101--130,
3(2)166--199, 4(1)3--35, 4(1)65--106, 4(2)109--145, 4(2)146--170,
4(2)171--213, 4(3)221--286, 5(1)42--62, 5(4)334--377, 6(1)80--110,
6(2)111--140, 6(2)173--210, 6(3)250--282, 6(4)333--369,
7(2)109--157, 8(4)343--410, 9(2)133--166, 10(1)5--55, 10(2)209--254,
16(4)14--14, 19(1)1--1, 19(1)3--3, 20(1)1--1, 20(2)7--7, 20(4)18--18,
21(2)8--8, 23(2)16--16, 23(2)17--17, 23(4)29--29, 23(4)32--32,
24(4)23--23, 24(4)24--24, 25(4)30--30, 28(2)11--11, 29(1)3--3,
29(2)12--12, 31(1)7--7, 33(2)51--51
-
constructed, 7(3)250--295, 7(4)368--410, 8(3)215--262, 8(4)425--472,
9(3)273--305, 22(1)5--5, 22(3)25--25, 23(2)16--16, 25(1)2--2,
31(4)62--62, 33(3)63--63
-
constructing, 6(2)111--140, 7(4)368--410, 9(3)306--337, 21(2)9--9,
22(1)9--9, 22(2)11--11, 22(3)24--24, 26(3)9--9, 28(2)8--8,
32(6)135--135, 33(4)102--102
-
construction, 1(2)168--187, 1(3)205--228, 1(3)269--309, 1(4)355--398,
3(4)271--307, 6(2)141--172, 9(1)51--93, 9(4)379--409, 19(1)1--1,
21(2)9--9, 22(2)11--11, 22(4)32--32, 23(3)23--23, 23(3)24--24,
23(4)30--30, 25(1)9--9, 28(1)4--4, 28(2)8--8, 32(2)29--29
-
construction, correct-by-, 23(1)6--6
-
construction, query-, 23(2)12--12
-
consult, 32(6)159--159
-
consumed, 26(4)12--12
-
consumers, 32(2)50--50, 33(2)44--44
-
consuming, 5(1)42--62, 23(1)9--9, 25(4)28--28
-
consuming, time-, 28(4)22--22, 29(1)5--5, 32(2)36--36,
32(2)47--47, 33(4)102--102
-
consumption, 22(3)17--17, 27(2)5--5, 27(3)14--14, 30(3)26--26,
33(3)79--79, 33(5)136--136
-
contact, 10(1)56--109
-
contain, 3(1)29--55, 3(2)166--199, 5(4)334--377, 8(1)49--78, 10(1)5--55,
10(1)110--147, 16(2)8--8, 16(4)14--14, 18(1)1--1, 20(1)1--1,
21(2)12--12, 21(3)19--19, 22(1)4--4, 24(1)6--6, 25(1)3--3, 25(1)5--5,
25(1)7--7, 25(2)14--14, 26(1)3--3, 26(2)6--6, 28(3)14--14, 29(1)6--6,
30(4)48--48, 30(4)56--56, 31(1)3--3, 31(1)9--9, 31(1)17--17,
32(2)45--45, 32(2)55--55, 32(6)141--141, 33(5)139--139
-
contained, 22(4)34--34, 24(3)13--13, 25(4)29--29
-
contained, self-, 26(3)10--10
-
container, 17(3)14--14, 22(3)17--17, 32(3)66--66, 32(4)99--99,
32(6)161--161
-
container-based, 22(3)17--17
-
containerization, 32(6)142--142
-
containerized, 33(2)30--30
-
containing, 9(2)167--198, 9(4)410--442, 22(2)11--11, 22(3)21--21,
24(3)17--17, 32(4)94--94, 33(4)85--85
-
Conte, Tayana, 28(2)9--9
-
Conte, Tayana, see Wagner, Stefan
-
contemporaneously, 25(2)13--13
-
contemporary, 25(1)10--10, 25(4)30--30
-
content, 25(1)10--10, 33(3)69--69
-
content-based, 19(4)12--12
-
context, 4(1)3--35, 5(4)334--377, 6(4)333--369, 7(3)250--295,
9(3)239--272, 9(3)306--337, 9(4)341--378, 10(1)110--147, 16(2)8--8,
18(1)1--1, 18(1)3--3, 18(2)7--7, 18(3)12--12, 18(4)14--14, 19(1)2--2,
19(3)9--9, 19(4)11--11, 20(2)4--4, 21(2)10--10, 21(4)24--24,
21(4)25--25, 22(1)6--6, 22(3)21--21, 23(1)9--9, 23(1)10--10,
23(3)23--23, 23(4)31--31, 23(4)32--32, 24(3)13--13, 24(3)16--16,
24(3)19--19, 25(1)3--3, 25(1)10--10, 25(2)18--18, 25(3)20--20,
25(3)23--23, 25(4)31--31, 26(1)3--3, 27(3)11--11, 27(3)14--14,
27(4)17--17, 28(2)9--9, 28(3)13--13, 28(3)17--17, 28(4)21--21,
29(3)18--18, 30(1)3--3, 30(1)4--4, 30(4)46--46, 30(4)51--51,
31(1)4--4, 31(1)6--6, 31(1)15--15, 31(3)34--34, 31(3)35--35,
31(3)38--38, 31(4)80--80, 32(1)14--14, 32(1)18--18, 32(3)69--69,
32(3)78--78, 32(4)99--99, 32(4)100--100, 32(4)101--101,
32(5)109--109, 32(6)155--155, 33(1)24--24, 33(3)73--73, 33(4)87--87,
33(5)130--130
-
context, calling-, 16(2)8--8
-
Context-Aware, 21(2)11--11, 31(3)51--51
-
context-aware, 18(4)15--15, 21(2)11--11, 23(4)31--31, 30(4)56--56
-
context-based, 21(2)11--11
-
context-free, 5(1)1--41, 16(4)14--14, 21(4)25--25
-
context-independent, 9(2)199--237
-
context-sensitive, 17(2)9--9, 18(1)3--3, 18(2)6--6
-
context-sensitively, 18(1)3--3, 30(4)46--46
-
context-triggered, 21(2)11--11
-
contextual, 1(1)95--127, 18(4)15--15, 19(2)6--6, 31(1)11--11,
32(4)100--100, 33(2)48--48
-
contiguous, 17(3)16--16
-
contingency, 20(1)2--2
-
contingent, 17(2)11--11
-
continually, 27(2)5--5, 31(3)49--49
-
continue, 31(1)9--9
-
continued, 7(4)335--367
-
continuous, 1(1)53--80, 6(3)250--282, 19(4)13--13, 21(4)22--22,
24(1)2--2, 24(3)17--17, 29(1)4--4, 30(4)51--51, 31(3)46--46,
31(4)78--78, 32(1)6--6, 32(3)73--73, 32(4)93--93, 32(6)136--136,
33(4)85--85
-
continuously, 20(4)14--14, 21(1)2--2, 30(1)10--10, 31(2)22--22,
32(1)21--21, 32(5)129--129
-
contour, 2(4)311--345, 6(1)80--110
-
contract, 10(1)56--109, 24(3)18--18, 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(4)106--106, 33(5)114--114
-
contradiction, 22(3)24--24
-
Contradictions, 33(4)83--83
-
contradictory, 24(3)20--20
-
contrary, 25(1)8--8
-
contrast, 5(3)262--292, 8(4)343--410, 16(1)5--5, 20(2)6--6, 21(3)18--18,
25(2)17--17, 26(3)9--9, 27(3)14--14, 30(4)42--42
-
contrasting, 5(4)378--421, 28(4)20--20
-
contravene, 5(4)334--377
-
contribute, 3(4)271--307, 7(1)80--107, 8(2)115--146, 18(3)10--10,
20(4)16--16, 31(2)19--19, 32(1)15--15
-
contributed, 10(1)56--109
-
contributing, 6(3)283--328, 28(1)2--2, 29(3)16--16
-
contribution, 8(3)284--295, 18(2)5--5, 18(3)10--10, 19(1)3--3, 19(2)5--5,
19(4)12--12, 20(2)5--5, 21(4)21--21, 21(4)24--24, 22(3)18--18,
23(1)2--2, 23(4)35--35, 25(2)19--19, 25(4)29--29, 29(3)16--16,
31(4)75--75, 32(1)15--15
-
contributor, 25(2)13--13, 31(4)75--75, 32(1)15--15
-
Contributor-Abandoned, 32(1)15--15
-
control, command-and-, 32(4)86--86
-
control, cruise-, 9(3)306--337
-
control-centric, 22(3)18--18
-
control-flow, 21(3)19--19, 27(4)18--18, 28(3)13--13, 31(2)26--26,
32(5)132--132
-
controlled, 5(4)334--377, 22(1)5--5, 22(1)9--9, 22(2)15--15, 22(3)21--21,
23(1)2--2, 23(1)6--6, 23(1)7--7, 23(1)9--9, 23(2)13--13, 24(1)1--1,
24(3)14--14, 24(4)23--23, 25(2)12--12, 26(2)6--6, 28(2)11--11,
30(4)47--47, 33(1)13--13, 33(4)100--100
-
controller, 18(4)13--13, 20(4)18--18, 21(2)12--12, 22(1)9--9, 23(1)6--6,
33(5)113--113
-
controlling, 2(3)270--285, 5(3)191--230, 9(2)167--198, 20(4)17--17,
32(3)56--56
-
controversy, 5(4)293--333
-
convenience, 16(2)9--9, 33(1)4--4
-
convenient, 8(2)177--212, 19(4)12--12, 29(3)18--18, 33(5)125--125
-
conveniently, 21(3)16--16, 26(3)10--10
-
conventional, 1(4)399--421, 5(1)42--62, 5(3)262--292, 7(3)296--332,
8(3)215--262, 8(4)425--472, 9(3)273--305, 10(1)56--109, 20(1)1--1,
21(2)12--12, 33(1)3--3
-
conventionalized, 4(4)319--364
-
conventionally, 8(3)215--262, 8(4)425--472, 26(2)8--8
-
conventions, 32(6)148--148
-
converge, 24(3)13--13
-
convergent, 33(5)135--135
-
conversation, 30(4)48--48, 32(4)83--83, 32(5)118--118, 33(5)131--131
-
Conversational, 33(4)90--90
-
conversion, 21(4)22--22, 23(1)6--6
-
convert, 21(4)20--20
-
converter, 23(1)6--6
-
convey, 26(1)4--4
-
conveyed, 33(5)112--112
-
convince, 22(2)15--15
-
convolution, 32(5)115--115
-
Convolutional, 28(3)15--15, 32(2)48--48, 33(3)70--70
-
Cook, Curtis, 15(2)150--194
-
Cook, Curtis, see Fisher II, Marc
-
Cook, Jonathan E., 7(3)215--249, 8(2)147--176
-
Cook:1998:DMS, 7(3)215--249
-
Cook:1999:SPV, 8(2)147--176
-
cookie, 23(1)3--3
-
cooling, 9(1)3--50
-
Cooper, Nathan, 31(2)32--32
-
Cooper, Nathan, see Watson, Cody
-
cooperating, 10(1)56--109, 24(3)15--15
-
cooperative, 22(3)22--22
-
coordinate, 9(3)273--305, 16(1)5--5, 18(2)5--5, 20(4)18--18, 24(3)19--19
-
Coordinating, 2(3)203--227
-
coordination, 2(3)203--227, 8(2)115--146, 9(2)167--198, 9(3)273--305,
15(3)279--328, 17(2)11--11, 18(4)15--15, 21(2)11--11, 25(3)26--26,
30(4)42--42, 31(2)19--19
-
cope, 24(3)16--16, 28(3)13--13
-
Coping, 21(1)2--2
-
Coppola, Bonaventura, 33(5)134--134
-
Coppola, Bonaventura, see Hommersom, Daan
-
Coppola, Riccardo, 31(2)21--21
-
Coppola, Riccardo, see Ardito, Luca
-
copy, 1(3)310--354, 4(1)3--35, 23(3)23--23
-
Coq, 22(4)34--34, 28(3)14--14
-
CORBA, 5(4)378--421
-
CORBA-based, 12(2)107--151
-
Corbett, James C., 9(1)51--93
-
Corbett:2000:USA, 9(1)51--93
-
Corbin, Toby, 30(3)33--33
-
Corbin, Toby, see Zhao, Guoliang
-
Cordy, Maxime, 30(2)13--13, 30(2)19--19, 30(3)34--34, 31(4)78--78,
32(2)33--33, 33(1)25--25, 33(2)48--48, 33(4)111--111
-
Cordy, Maxime, see Castro, Thiago,
see Chekam, Thierry Titcheu,
see Guo, Yuejun, \see{Hu, Qiang,
see Khanfir, Ahmed, \see{Ma, Wei
-
core, 8(2)115--146, 19(1)1--1, 20(4)17--17, 24(3)19--19, 24(3)20--20,
31(1)5--5, 31(2)19--19, 31(2)27--27, 32(3)71--71, 32(6)138--138,
33(1)18--18, 33(2)45--45
-
core, multi-, 27(3)14--14
-
core, unsat-, 23(2)20--20
-
Core-Developer, 32(6)138--138
-
CoREBench, 27(3)10--10, 28(4)23--23
-
Coretto, 26(2)7--7
-
Coreutils, 27(3)10--10
-
corner, 6(1)1--30, 22(4)29--29
-
corners,, 6(1)1--30
-
cornerstone, 27(3)13--13, 33(4)97--97
-
corpora, 33(3)71--71
-
corporate, 25(3)22--22, 31(1)14--14
-
corpus, 25(1)7--7, 25(3)22--22, 33(3)69--69
-
corpus-based, 25(1)10--10
-
correct, 3(4)271--307, 6(2)173--210, 9(4)379--409, 10(2)184--208,
16(1)3--3, 17(2)9--9, 18(2)6--6, 21(2)13--13, 22(3)24--24,
22(4)28--28, 23(1)8--8, 24(3)13--13, 24(3)16--16, 24(4)23--23,
25(2)19--19, 26(4)13--13, 28(4)21--21, 31(4)74--74, 31(4)77--77,
32(2)29--29, 32(4)85--85, 32(4)92--92, 32(4)96--96, 33(2)44--44,
33(4)104--104
-
correct, type-, 25(1)3--3
-
correct-by-construction, 23(1)6--6
-
corrected, 17(4)17--17
-
correction, 7(3)333--334, 33(5)134--134
-
Corrections**, 2(3)228--269, 6(2)173--210
-
correctly, 9(3)239--272, 9(3)306--337, 16(1)4--4, 16(2)9--9, 19(1)1--1,
22(1)4--4, 25(1)8--8, 26(1)3--3, 28(4)24--24, 29(1)4--4
-
correctly, non-, 30(1)9--9
-
correctness, 1(1)81--94, 3(2)166--199, 3(4)271--307, 6(3)250--282,
8(1)1--48, 8(2)115--146, 9(1)94--131, 9(2)133--166, 9(3)239--272,
9(4)379--409, 15(3)227--241, 17(2)9--9, 17(2)10--10, 18(2)7--7,
19(4)13--13, 20(3)9--9, 21(2)13--13, 21(3)18--18, 22(1)5--5,
22(2)15--15, 22(3)20--20, 22(3)23--23, 22(3)24--24, 22(3)26--26,
22(4)38--38, 23(1)8--8, 23(1)9--9, 23(3)24--24, 24(3)14--14,
25(3)21--21, 26(4)13--13, 27(2)7--7, 27(3)13--13, 27(4)15--15,
28(2)11--11, 28(3)14--14, 28(4)21--21, 29(4)30--30, 30(1)7--7,
30(2)14--14, 31(3)51--51, 31(4)58--58, 31(4)77--77, 32(2)42--42,
32(2)44--44, 32(3)56--56, 33(2)45--45, 33(4)85--85, 33(5)118--118
-
correlate, 7(2)192--214
-
correlated, 17(1)2--2, 22(2)10--10, 29(3)16--16, 32(6)145--145
-
Correlating, 31(4)63--63
-
correlation, 19(2)5--5, 20(4)16--16, 21(3)16--16, 24(4)22--22, 27(1)3--3,
29(3)16--16, 32(1)8--8, 33(1)13--13, 33(3)79--79
-
correlation-based, 19(2)5--5
-
correspond, 21(2)13--13, 23(4)32--32
-
correspondence, 6(3)329--331, 8(2)147--176, 25(4)28--28
-
corresponding, 1(2)135--167, 9(3)239--272, 16(2)8--8, 19(2)5--5,
19(4)13--13, 20(2)7--7, 20(3)9--9, 22(4)30--30, 23(2)15--15,
25(3)27--27, 27(3)13--13, 28(4)19--19, 32(2)39--39, 32(2)44--44,
32(6)148--148, 33(3)67--67, 33(3)81--81
-
Corretto, 26(2)7--7
-
Corrigenda, 8(4)425--472
-
corruption, 33(3)66--66
-
Cortellessa, Vittorio, 31(2)25--25
-
Cortellessa, Vittorio, see Traini, Luca
-
Cortés, Antonio, Ruiz-, 27(3)13--13
-
CoSeC, 9(4)488--528
-
COSMIC, 17(3)15--15
-
Cosmo, Roberto, Di, 22(4)34--34
-
cost, 2(2)109--127, 2(2)176--201, 3(1)3--28, 4(2)214--216, 5(1)63--86,
5(2)87--98, 5(3)231--261, 6(2)111--140, 6(2)173--210, 6(4)370--397,
7(4)411--448, 8(3)263--283, 9(3)273--305, 10(1)110--147,
10(2)149--183, 10(2)184--208, 16(1)4--4, 17(2)7--7, 17(2)9--9,
17(4)20--20, 20(2)7--7, 20(3)12--12, 20(4)15--15, 20(4)17--17,
21(1)5--5, 22(3)19--19, 22(3)21--21, 22(3)27--27, 22(4)28--28,
23(1)3--3, 23(1)5--5, 23(2)19--19, 23(3)23--23, 23(3)26--26,
24(3)16--16, 25(2)16--16, 25(2)18--18, 25(3)25--25, 25(4)28--28,
26(2)8--8, 26(4)12--12, 27(2)5--5, 27(3)14--14, 28(4)23--23,
29(2)13--13, 30(3)29--29, 30(4)42--42, 30(4)45--45, 30(4)52--52,
31(1)8--8, 31(4)73--73, 32(4)93--93, 33(1)12--12
-
cost, high-, 32(4)93--93
-
cost, low-, 23(1)3--3, 32(1)2--2
-
cost-benefit, 16(1)4--4, 23(3)23--23
-
Cost-Effective, 30(3)28--28
-
cost-effective, 13(3)277--331, 16(1)3--3, 20(1)3--3, 25(2)18--18,
30(1)10--10, 31(4)61--61
-
Cost-Effectiveness, 25(2)18--18
-
cost-effectiveness, 25(2)18--18
-
Costa, Daniel Alencar Da, 30(2)24--24
-
Costa, Daniel Alencar Da, see Vandehei, Bailey
-
Costa, Diego Elias, 32(1)15--15, 32(4)91--91, 32(6)149--149,
33(2)36--36
-
Costa, Diego Elias, see Alfadel, Mahmoud,
see Jafari, Abbas Javan,
see Khatoonabadi, Sayedhassan
-
Costagliola, Gennaro, 13(4)431--487
-
Costagliola:2004:FMI, 13(4)431--487
-
Costea, Andreea, 32(2)41--41
-
Costea:2023:HDR, 32(2)41--41
-
costly, 2(3)228--269, 3(4)308--339, 6(2)111--140, 6(4)370--397,
7(3)215--249, 8(3)284--295, 17(1)2--2, 17(4)18--18, 21(2)9--9,
23(3)22--22, 29(4)30--30, 32(1)21--21
-
COTS, 23(2)17--17
-
could, 5(1)63--86, 8(1)79--113, 18(3)10--10, 18(3)12--12, 21(3)19--19,
22(3)21--21, 22(4)35--35, 23(1)10--10, 23(3)26--26, 24(2)12--12,
24(3)16--16, 25(1)8--8, 25(3)26--26, 26(1)2--2, 26(1)3--3, 26(1)4--4,
29(3)16--16, 30(4)49--49, 32(1)8--8, 32(6)135--135, 32(6)153--153,
33(1)22--22
-
Counsell, Steve, 15(2)123--149
-
Counsell:2006:IUT, 15(2)123--149
-
counter, 17(2)11--11
-
counterevidence, 30(4)42--42
-
counterexample, 20(3)13--13, 22(4)33--33, 23(3)24--24
-
counterintuitive, 7(2)158--191
-
countermeasure, 24(2)11--11, 28(3)16--16, 30(3)26--26, 33(3)79--79
-
counterpart, 19(1)2--2, 24(1)4--4, 26(1)4--4, 28(1)5--5
-
counting, 21(2)8--8
-
counting-based, model-, 28(3)16--16, 30(3)26--26
-
countries, 28(2)9--9
-
counts, 29(4)28--28
-
coupling, 1(1)5--20, 6(4)398--441, 13(3)332--358, 17(1)2--2, 23(1)4--4,
24(3)17--17, 25(3)24--24
-
course, 2(2)176--201, 8(2)115--146, 20(4)19--19
-
cover, 18(1)2--2, 20(4)15--15, 23(3)21--21, 27(2)7--7, 27(3)10--10,
29(3)14--14, 32(2)51--51
-
coverage, 1(1)5--20, 2(1)93--106, 2(2)109--127, 2(3)270--285,
3(2)101--130, 5(1)63--86, 6(3)329--331, 7(3)250--295, 8(4)411--424,
10(1)56--109, 10(1)110--147, 10(2)184--208, 10(2)209--254,
18(1)1--1, 18(2)4--4, 21(3)17--17, 22(1)6--6, 23(1)8--8, 23(2)12--12,
24(1)6--6, 24(2)8--8, 24(2)10--10, 24(4)22--22, 24(4)23--23,
25(1)5--5, 25(1)8--8, 25(2)18--18, 25(3)22--22, 25(3)25--25,
26(1)1--1, 27(2)7--7, 27(3)13--13, 28(1)3--3, 28(3)17--17,
29(3)18--18, 29(4)23--23, 29(4)28--28, 30(2)17--17, 30(3)36--36,
31(3)47--47, 32(3)58--58, 32(3)81--81, 32(5)132--132, 33(4)96--96,
33(5)138--138
-
Coverage-Based, 23(1)8--8, 24(4)22--22, 32(2)38--38
-
coverage-based, 22(3)19--19, 24(2)10--10, 33(5)138--138, 33(5)139--139
-
coverage-based, code-, 28(3)17--17
-
Coverage-directed, 32(1)3--3
-
coverage-guided, 32(5)127--127, 32(5)132--132, 32(5)133--133
-
covered, 8(4)411--424, 23(3)21--21, 24(2)10--10, 24(4)22--22, 27(2)7--7,
27(3)11--11
-
covering, 21(2)9--9, 23(3)21--21, 32(3)81--81
-
COVID-19, 31(2)27--27, 32(5)111--111, 33(3)57--57, 33(3)82--82
-
Covid-19, 32(5)111--111
-
Cowen, Laura, 23(4)35--35
-
Cowen, Laura, see Rigby, Peter C.
-
COWS, 21(3)16--16
-
Cox, Victoria, 33(2)42--42
-
Cox, Victoria, see Huang, Wei
-
CP, 25(1)4--4
-
CPDP, 27(1)1--1
-
CPP, 6(4)398--441
-
CPS, 31(4)79--79, 32(3)73--73, 32(5)113--113
-
CPSs, 31(4)79--79, 32(1)9--9, 33(2)35--35
-
CPU, 22(4)29--29
-
CPUs, 22(4)29--29
-
CRA, 5(4)334--377, 8(1)49--78
-
crafted, 22(4)29--29, 25(2)16--16
-
craftsmanship, 31(1)6--6
-
Crampton, Jason, 15(2)123--149
-
Crampton, Jason, see Counsell, Steve
-
CRAN, 30(4)42--42
-
crash, 22(2)10--10, 30(2)14--14, 31(3)36--36, 33(2)43--43
-
Crash-Triggering, 22(2)10--10
-
Crasher, DSD-, 17(2)8--8
-
crates.io, 33(2)34--34
-
Crayons, 32(3)56--56
-
CRDs, 20(1)3--3
-
create, 1(2)168--187, 1(3)310--354, 2(2)109--127, 4(1)3--35,
4(3)287--317, 16(1)3--3, 16(4)14--14, 20(3)10--10, 20(3)12--12,
22(2)11--11, 23(3)22--22, 23(3)23--23, 23(4)35--35, 24(3)16--16,
25(4)29--29, 25(4)31--31, 26(3)10--10, 27(2)6--6, 28(1)3--3,
28(3)18--18, 31(3)36--36, 32(2)40--40, 32(2)45--45, 32(5)120--120,
33(5)122--122
-
created, 1(3)310--354, 4(1)3--35, 6(1)80--110, 9(1)94--131,
10(1)110--147, 16(1)4--4, 18(2)4--4, 20(3)10--10, 22(4)32--32,
24(3)13--13, 26(4)12--12, 32(5)111--111
-
creating, 7(3)215--249, 16(2)9--9, 22(3)22--22, 22(4)35--35, 25(4)29--29,
27(2)5--5, 29(4)26--26, 31(1)4--4, 32(1)3--3, 33(2)39--39
-
creation, 1(2)188--204, 7(2)109--157, 7(4)368--410, 9(2)167--198,
17(4)19--19, 22(4)35--35, 25(4)31--31
-
creation, Co-, 31(3)45--45
-
creational, 8(3)284--295, 26(4)13--13
-
creators, 10(1)110--147
-
Creveuil, Christian, 3(4)271--307
-
Creveuil:1994:FSD, 3(4)271--307
-
criteria, 2(4)379--411, 4(1)65--106, 10(1)110--147, 11(4)427--448,
18(1)1--1, 18(2)7--7, 21(2)12--12, 21(4)24--24, 22(1)6--6,
24(4)22--22, 25(1)8--8, 25(3)23--23, 26(3)9--9, 27(4)15--15,
28(3)17--17, 29(3)18--18, 32(3)63--63, 33(4)103--103
-
Criteria, Multi-, 25(3)23--23
-
criteria, Multi-, 29(3)20--20
-
criteria, multi-, 29(3)20--20
-
criterion, 1(3)205--228, 5(1)63--86, 18(1)1--1, 22(1)8--8, 24(4)22--22,
25(3)25--25, 26(3)9--9, 30(1)7--7, 30(2)14--14, 32(1)13--13
-
critical, 1(1)53--80, 9(3)239--272, 10(3)255--307, 16(2)9--9,
18(3)10--10, 21(1)5--5, 22(2)10--10, 23(2)20--20, 25(3)25--25,
27(3)13--13, 28(4)24--24, 29(4)30--30, 30(1)10--10, 30(3)33--33,
31(2)24--24, 31(3)43--43, 32(2)28--28, 32(2)42--42, 32(3)70--70,
32(3)78--78, 32(4)87--87, 32(4)105--105, 32(5)113--113,
32(5)127--127, 32(6)160--160, 33(1)2--2, 33(1)10--10, 33(4)86--86,
33(4)94--94, 33(4)99--99, 33(5)134--134
-
critical, mission-, 31(2)34e_34e
-
critical, non-, 31(2)28--28
-
critical, Safety-, 32(4)104--104, 33(4)94--94
-
critical, safety-, 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(5)129--129, 33(5)130--130
-
critical, safety/security-, 33(2)42--42
-
critical, security-, 32(3)64--64
-
critical, time-, 3(1)56--98
-
critically, 25(1)8--8, 27(3)11--11
-
cross, 28(1)2--2
-
Cross-Language, 31(3)52--52
-
cross-modal, 32(5)123--123
-
cross-organizational, 19(2)6--6
-
cross-platform, 31(3)44--44
-
Cross-Project, 27(1)1--1
-
cross-project, 27(1)1--1, 28(3)15--15
-
cross-validation, 27(3)12--12
-
crosscut, 20(2)5--5
-
crosscutting, 17(1)3--3, 19(1)3--3, 20(2)5--5, 21(3)15--15, 22(3)22--22
-
Crow, Judith, 7(3)296--332
-
Crow:1998:FSS, 7(3)296--332
-
crowd, 25(3)22--22
-
crowdsourcing, 30(4)48--48
-
crowdtesting, 29(4)24--24, 31(3)35--35
-
crowdworker, 25(3)22--22, 31(3)35--35
-
crucial, 19(2)4--4, 21(2)10--10, 23(3)24--24, 25(3)26--26, 26(2)8--8,
30(1)10--10, 30(3)36--36, 31(1)13--13, 31(3)39--39, 31(4)63--63,
32(1)26--26, 32(2)49--49, 33(1)22--22, 33(2)55--55, 33(3)73--73,
33(4)87--87, 33(5)112--112, 33(5)128--128
-
crucially, 25(1)8--8
-
CRUISE, 1(3)269--309
-
cruise-control, 9(3)306--337
-
Cruz-Carlon, Juan, 32(3)56--56
-
Cruz-Carlon:2023:PLB, 32(3)56--56
-
Cruz-Lemus, Jose' A., 23(2)13--13
-
Cruz-Lemus, Jose' A., see Scanniello, Giuseppe
-
cryptocurrencies, 33(5)114--114
-
cryptographic, 9(4)488--528, 22(2)15--15, 24(2)11--11, 28(3)16--16,
30(3)26--26, 33(2)45--45, 33(3)56--56
-
cryptography, 32(3)60--60, 33(2)45--45
-
Csallner, Christoph, 17(2)8--8, 23(3)21--21, 24(2)7--7
-
Csallner, Christoph, see Islam, Mainul,
see Li, Kaituo
-
Csallner:2008:DCH, 17(2)8--8
-
CSCW, 21(2)11--11
-
CSL, 21(3)18--18
-
CSP, 22(1)3--3, 23(3)24--24
-
CT, 20(4)15--15
-
ct-oriented, 8(3)215--262
-
CTL, 24(2)9--9
-
Cu, Cuong, 27(2)8--8
-
Cu, Cuong, see Zheng, Yongjie
-
Cuadrado, Jesús S'nchez, 28(4)21--21,
see De Lara, Juan
-
Cuadrado, Jesús Sánchez, 24(2)12--12,
see De Lara, Juan
-
cubic, 33(5)119--119
-
cues, 25(1)10--10
-
Cugola, Gianpaolo, 5(3)191--230
-
Cugola:1996:FFI, 5(3)191--230
-
Cui, Mohan, 32(4)82--82
-
Cui:2023:SDM, 32(4)82--82
-
culled, 24(1)4--4
-
culprit, 31(1)3--3
-
cultures, 31(3)45--45
-
current, 5(1)63--86, 5(4)293--333, 6(2)111--140, 8(4)343--410,
10(1)56--109, 17(4)19--19, 18(3)10--10, 18(4)14--14, 19(2)6--6,
20(1)2--2, 20(2)7--7, 21(2)10--10, 23(1)7--7, 23(3)21--21,
23(4)30--30, 27(2)6--6, 27(4)15--15, 28(2)6--6, 28(3)15--15,
29(2)8--8, 30(3)26--26, 30(3)32--32, 32(2)43--43, 32(4)82--82,
32(5)115--115, 32(6)134--134, 33(1)2--2, 33(3)81--81, 33(4)87--87,
33(5)112--112, 33(5)128--128
-
currently, 1(3)205--228, 2(2)176--201, 9(3)239--272, 9(3)273--305,
16(4)14--14, 20(1)1--1, 21(2)9--9, 22(3)21--21, 24(2)11--11,
27(1)1--1, 27(2)7--7, 32(6)160--160
-
curricula, 16(4)15--15
-
Curriculum, 32(5)113--113
-
cursor, 2(1)47--92
-
custom, 23(3)21--21, 24(3)15--15
-
customary, 22(3)20--20
-
customer, 16(4)14--14, 22(2)15--15, 25(3)22--22
-
customizable, 8(2)177--212
-
customization, 22(3)21--21, 33(1)15--15
-
customize, 32(1)22--22
-
customized, 22(3)21--21, 32(2)46--46
-
CVEs, 31(1)3--3
-
CVS, 9(4)488--528
-
cyber, 31(1)13--13, 32(4)83--83
-
Cyber-Physical, 31(4)79--79, 32(3)73--73, 33(1)18--18
-
cyber-physical, 30(4)53--53, 31(4)79--79, 32(1)9--9, 32(3)67--67,
32(5)113--113, 33(2)35--35
-
cyberattacks, 33(4)108--108
-
cycle, 1(1)53--80, 8(3)284--295, 11(1)92--148, 18(2)5--5, 23(3)22--22,
25(3)20--20, 26(4)12--12, 30(2)24--24, 31(2)24--24, 32(1)14--14,
32(3)70--70, 32(3)73--73, 33(4)98--98
-
cycle, life-, 19(4)11--11
-
Czekster, Ricardo M., 25(3)26--26
-
Czekster:2016:SPA, 25(3)26--26
-
Czepa, Christoph, 28(2)11--11
-
Czepa:2019:HUP, 28(2)11--11