Index file section E for scicomputprogram.bib

Last update: Sat Jan 10 02:01:20 MST 2026

Return to index directory

E

E, 5(3)318--320, 11(2)175--176, 23(1)91--101, 24(2)183--185
e Abreu, Fernando, Brito, 45(2)137--153
e Silva, Glaúcia, Braga, 244(z)z--99999999
e-barter, 57(2)187--216
e-Learning, 88(z)1--2
e-learning, 88(z)92--109
Eames, 18(2)207--209
Earle, C., Benac-, 98(z)205--232
Earley, 4(1)17--44, 12(2)105--121, 247(z)z--99999999
early, 42(1)29--38, 44(1)101--129, 75(11)1113--1141, 89(z)374--407, 90(z)161--179, 97(z)135--142, 121(z)34--54, 161(z)18--33, 172(z)160--179, 219(z)z--99999999, 240(z)z--99999999
easy, 71(2)144--164, 112(z)170--193
EASYMAP, 72(3)71--135
EATCS, 10(2)215--216, 11(1)97--98, 15(1)113--114
EB4EB, 243(z)z--99999999
Ebergen, J. C., 18(3)223--245, 27(2)185--204
Ebergen, J. C., see Segers, J.
Ebergen, Jo. C., 15(2)201--215
Ebergen:1990:DSP, 15(2)201--215
Ebergen:1992:AES, 18(3)223--245
Eberlein, Armin, 67(2)125--161
Eberlein, Armin, see Shehata, Mohamed
Ebnenasir, Ali, 160(z)93--114
Ebnenasir, Ali, see Hajisheykhi, Reza
EBNF, 166(z)120--145
Echeverria, Roberto, Rodriguez-, 168(z)165--168
Eckert, Jürgen, 132(z)173--189, see Homm, Daniel
Eckhardt, Jonas, 99(z)24--74
Eckhardt:2015:SDI, 99(z)24--74
Eclipse, 98(z)1--2, 180(z)71--80, 231(z)z--99999999
Economopoulos, Giorgios, 61(3)228--244
Economopoulos, Giorgios, see Johnstone, Adrian
Ecore, 113(z)3--28
ecosystem, 75(4)264--275, 110(z)3--22, 129(z)20--34, 213(z)z--99999999, 214(z)z--99999999, 218(z)z--99999999, 240(z)z--99999999, 241(z)z--z
ed, 10(1)93--95, 10(2)211--212, 11(1)88--90, 12(1)85--87, 12(3)267--270, 13(1)127--128, 14(1)103--105, 15(1)97--97, 15(1)98--98, 15(1)98--100, 16(1)89--90, 16(1)97--100, 16(2)204--205, 18(2)209--213, 18(2)213--215, 24(1)97--99, 24(1)102--103, 38(1)147--149, 48(2)z--z, 51(3)291--292, 51(3)z--z
EDA, 97(z)266--279
Edelkamp, S., 76(2)136--157
Edelkamp, Stefan, 130(z)1
Edelkamp, Stefan, see Bosnacki, Dragan
Edelkamp:2011:FME, 76(2)136--157
Eden, Amnon H., 80(z)211--222
Eden, Amnon H., see Nicholson, Jon
edge, 39(1)3--29, 152(z)99--115
edge, cutting-, 77(9)990--1005
edge, longest-, 90(z)34--41
edge-pair, 152(z)99--115
Edinburgh, 25(2)81--116, 25(2)117--147, 25(2)149--186, 25(2)187--218, 25(2)219--249, 25(2)251--283, 25(2)285--327
editing, 94(z)53--66, 113(z)3--28
edition, 18(2)207--209, 33(2)217--219
editor, 1(3)157--202, 5(2)111--142, 9(2)179--205, 10(1)90--92, 10(2)218--219, 20(1)1--z, 29(3)279--302, 44(2)157--180, 63(1)1--2, 65(1)v--v, 69(1)1--2, 72(1)1--2, 74(7)397--398, 75(4)214--215, 75(6)375--375, 79(z)1--5, 85(z)1--4, 86(z)30--42, 98(z)1--2, 134(z)1--3
editor, structure-, 9(2)179--205
Edixhoven, Luc, 240(z)z--99999999
Edixhoven, Luc, see Proença, José
Edsger, 12(2)165--167, 150(z)75--86
Edu, Wodel-, 230(z)z--99999999
education, 6(1)95--102, 53(1)1--2, 53(1)87--105, 129(z)48--71, 208(z)z--99999999
educational, 53(1)25--36, 88(z)92--109, 129(z)72--91
Edward, 14(1)109--110
Edwards, Alec, 247(z)z--99999999
Edwards, George, 73(1)39--58
Edwards, George, see Gokhale, Aniruddha
Edwards, Nystrom, 206(z)z--99999999
Edwards, Stephen A., 48(1)21--42, 75(11)921--942
Edwards, Stephen A., see Buss, Marcio
Edwards, Stephen H., 88(z)82--91
Edwards, Stephen H., see Cooper, Matthew L.
Edwards:2003:SES, 48(1)21--42
Edwards:2021:SEI, 206(z)z--99999999
Edwards:2026:FDU, 247(z)z--99999999
E/E, 90(z)161--179
Eekelen, Marko van, 76(2)82--99, 111(z)363--364
Eekelen, Marko van, see Gastel, Bernard van, see Shkaravska, Olha
Eerd, Johri van, 225(z)z--99999999
effect, 23(1)1--18, 48(2)119--161, 67(2)247--277, 72(3)136--175, 77(5)551--576, 95(z)298--319, 102(z)44--56, 119(z)3--30, 234(z)z--99999999, 235(z)z--99999999
Effect-dependent, 155(z)27--51
Effectful, 217(z)z--99999999
effective, 58(1)141--178, 75(11)1001--1021, 226(z)z--99999999
effective, Cost-, 134(z)47--60, 226(z)z--99999999
Effectively, 163(z)1--18
effectiveness, 39(1)31--55, 236(z)z--99999999
effectivity, 184(z)z--99999999
Effects, Side-, 7(3)279--296
effects, side-, 58(3)325--343
efficiency, 10(1)93--95, 42(1)61--74, 78(2)195--217, 205(z)z--99999999
efficient, 3(1)1--35, 8(2)113--137, 10(3)221--245, 13(2)219--236, 23(1)1--18, 24(3)189--220, 28(1)1--41, 41(2)139--172, 46(3)255--281, 62(1)3--24, 62(2)98--121, 74(9)723--753, 74(10)836--860, 75(5)311--332, 75(9)796--807, 75(10)811--827, 75(11)1077--1094, 76(2)136--157, 76(4)243--257, 76(11)1073--1073, 77(10)1095--1121, 78(2)147--167, 78(9)1346--1367, 78(12)2488--2510, 80(z)91--105, 97(z)349--365, 103(z)51--70, 111(z)135--155, 113(z)85--118, 122(z)1--28, 153(z)1--29, 160(z)30--47, 161(z)57--88, 196(z)z--99999999, 200(z)z--99999999, 201(z)z--z, 203(z)z--99999999, 241(z)z--99999999
efficient, resource-, 75(12)1215--1234
Efficiently, 120(z)1--24
effort, 75(5)292--310, 195(z)z--99999999, 204(z)z--99999999, 205(z)z--99999999, 214(z)z--99999999, 219(z)z--99999999, 236(z)z--99999999, 248(z)z--99999999
effort, best-, 240(z)z--99999999
Eggers, Susan J., 47(2)91--120
Eggers, Susan J., see Aldrich, Jonathan
Eghan, Ellis E., 121(z)153--175
Eghan, Ellis E., see Alqahtani, Sultan S.
EGO, 173(z)3--20
Ehler, Herbert, 11(1)45--63
Ehler, Herbert, see Berghammer, Rudolf
Ehrig, 15(1)113--114
Ehrig, Hartmut, 44(2)131--132, 104(z)44--70
Ehrig, Hartmut, see Maximova, Maria
Ehrig:2002:F, 44(2)131--132
Eichberg, Michael, 78(6)615--632
Eichberg, Michael, see Dinkelaker, Tom
Eid, Sultan, 208(z)z--99999999
Eid, Sultan, see Lethbridge, Timothy C.
eigenfunctions, 28(1)1--41
eigensolvers, 90(z)55--66
eigenvalue, 28(1)1--41
Eighth, 1(3)203--222
Eijck, Jan van, 38(1)147--149, 97(z)69--74
Eijk, 15(1)98--98
Eijnde, J. P. H. W., van den, 15(1)79--94, 22(1)3--19
EIS, 65(1)1--3
Eisenbach, Susan, 197(z)z--z
Eisenbach, Susan, see Tasos, Alexandros
Eklund, Ulrik, 78(12)2347--2359
Eklund:2013:AAP, 78(12)2347--2359
Ekman, Torbjörn, 69(1)14--26, 75(1)21--38, 78(10)1809--1827, see Söderberg, Emma, see Åkesson, Johan
Ekman:2007:JSM, 69(1)14--26
Ekstedt, Mathias, 101(z)1--5
Ekstedt, Mathias, see Johnson, Pontus
El-Fakih, Khaled, 80(z)343--355, 233(z)z--99999999, 241(z)z--99999999
El-Fakih, Khaled, see Tvardovskii, Aleksandr
El-Fakih:2014:PAT, 80(z)343--355
El-Fakih:2025:ACW, 241(z)z--99999999
elasticity, 147(z)27--53
Elbaum, Sebastian, 242(z)z--z
Elbaum, Sebastian, see Woodlief, Trey
Elder, 5(3)317--318, 11(2)195--196
eLearning, 129(z)1--2, 129(z)20--34
election, 29(1)171--197, 43(1)1--33
electric, 6(1)1--9, 28(2)93--110
Electrical, 10(2)218--219
electricity, 28(2)93--110
electronic, 8(1)105--112, 18(2)218--221, 432(0)ix--435
element, 2(2)143--152, 26(1)59--78, 158(z)100--121
elementary, 13(1)73--110, 76(3)160--180, 85(z)115--136
Eleventh, 77(6)661--662
Elias, Endhe, 136(z)43--59
Elias:2017:SAS, 136(z)43--59
elicitation, 204(z)z--99999999, 237(z)z--99999999
Eliminating, 47(2)221--242, 76(5)349--375
elimination, 1(3)203--222, 6(1)11--34, 13(2)133--180, 14(2)243--254, 33(1)29--85, 47(2)91--120, 48(1)1--20, 62(1)3--24, 73(2)95--128, 74(5)279--295, 103(z)71--87, 147(z)3--26
Eliott, Harold Pancho, 223(z)z--99999999
Eliott:2022:PLF, 223(z)z--99999999
Elizondo, Perla, Velasco-, 121(z)176--189
Ellevseth, Stein-Erik, 133(z)216--242
Ellevseth, Stein-Erik, see Seceleanu, Cristina
Elnagar, Ashraf, 53(1)107--122
Elnagar:2004:GPP, 53(1)107--122
Elrad, Tzilla E., 2(3)155--173
Elrad:1982:DDP, 2(3)155--173
else, 27(1)1--35
Elseaidy, Wael M., 29(1)99--122
Elseaidy:1997:MVA, 29(1)99--122
Elsevier, 24(1)97--99, 73(1)1--2
Elsheikh, Yousef, 214(z)z--99999999, 219(z)z--99999999, 226(z)z--99999999
Elsheikh, Yousef, see Alqasrawi, Yousef, see Azzeh, Mohammad
email, 58(1)3--27
Emara, Tamer Z., 184(z)z--99999999
Emara:2019:RSL, 184(z)z--99999999
embedded, 28(0)91--299, 28(2)93--110, 40(1)31--57, 45(2)245--270, 46(1)99--135, 59(1)38--63, 69(1)56--67, 73(1)26--38, 73(1)39--58, 74(7)446--469, 76(11)970--991, 77(2)81--82, 77(2)96--112, 78(6)615--632, 78(8)1073--1098, 96(z)156--174, 97(z)333--348, 106(z)1--2, 106(z)54--77, 156(z)1--20
embedded, Haskell-, 247(z)z--99999999
embedding, 20(1)141--171, 46(1)31--69, 75(7)473--495, 78(10)1752--1769, 98(z)589--616, 132(z)2--28, 196(z)z--z, 206(z)z--99999999, 221(z)z--99999999, 228(z)z--99999999
Emde Boas, Peter, van, 24(2)183--185
Emden, M. H. van, 84(z)3--21
emerging, 95(z)112--134, 206(z)z--99999999
Emerson, E. Allen, 2(3)241--266, 8(3)275--306
Emerson:1982:UBT, 2(3)241--266
Emerson:1987:MMC, 8(3)275--306
EMF, 113(z)51--81
EMF-IncQuery, 98(z)80--99
EMFash, 113(z)3--28
Emfinger, William, 106(z)3--29
Emfinger, William, see Balasubramanian, Daniel
EMIP, 198(z)z--99999999
Emmerik, Mike, Van, 40(2)171--188
empathetic, 236(z)z--99999999
emperor, 15(1)100--111
empirical, 40(2)189--211, 77(6)760--776, 78(1)117--144, 78(8)1137--1156, 78(11)2245--2258, 91(z)249--265, 95(z)445--468, 101(z)99--123, 105(z)3--25, 172(z)232--263, 180(z)1--15, 191(z)z--99999999, 204(z)z--99999999, 205(z)z--99999999, 208(z)z--99999999, 214(z)z--99999999, 227(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999, 233(z)z--99999999, 241(z)z--99999999, 242(z)z--99999999
Empirically, 150(z)1--25
employees, 230(z)z--99999999
Employing, 90(z)161--179
Empowering, 168(z)71--93
Emulating, 78(9)1449--1469
emulators, 57(3)251--252
enabled, 121(z)153--175
enabled, AI-, 233(z)z--99999999
enabled, blockchain-, 239(z)z--99999999
Enabledness, 74(8)654--668
enabling, 134(z)37--46, 158(z)81--99, 206(z)z--99999999, 238(z)z--99999999, 242(z)z--z
enactment, 63(1)88--107, 79(z)172--188
encapsulated, 78(7)953--968
encode, 247(z)z--99999999
encoding, 21(2)93--113, 22(3)183--195, 109(z)96--124, 158(z)3--20, 239(z)z--99999999
encryption, 21(2)93--113, 215(z)z--99999999
end, End-to-, 187(z)z--99999999
end, end-to-, 80(z)3--24, 105(z)124--144
end, front-, 224(z)z--99999999
end-points, 33(2)133--162
end-to-end, 80(z)3--24, 105(z)124--144, 187(z)z--99999999
end-user, 134(z)47--60, 140(z)2--16, 200(z)z--99999999
energy, 78(2)195--217, 162(z)132--147, 191(z)z--99999999, 205(z)z--99999999, 243(z)z--99999999, 247(z)z--99999999
EnergyPLAN, 191(z)z--99999999
enews, 3(2)151--188
enforced, Thread-, 198(z)z--99999999
enforcement, 123(z)2--41, 160(z)3--29
Enforcing, 75(4)232--246, 75(7)516--542
engaging, 249(z)z--z
Engelen, Robert van, 52(1)257--280
Engels, A. G., 44(3)253--292
Engels, Gregor, 34(1)1--54, 44(2)131--132, 231(z)z--99999999
Engels, Gregor, see Andries, Marc, see Ehrig, Hartmut, \see{Yigitbas, Enes
Engels:2002:HCM, 44(3)253--292
engine, 22(3)231--256, 22(3)257--282, 25(2)219--249, 31(1)113--145, 66(3)226--245, 203(z)z--99999999
engineering, Re-, 166(z)1--2
engineering, re-, 98(z)764--784
engineering-principled, 57(1)5--26
engineers, 10(2)218--219
Englebert, Vincent, 113(z)3--28
Englebert, Vincent, see Koshima, Amanuel Alemayehu
Englewood, 5(1)107--109, 5(3)317--318, 33(2)213--214
Eng{\o}-Monsen, Kenth, 53(2)195--214, see Canright, Geoffrey
enhance, 247(z)z--99999999
enhanced, 78(2)195--217, 132(z)173--189, 237(z)z--99999999, 246(z)z--99999999
enhancement, 181(z)27--46
enhancing, 86(z)3--29, 215(z)z--99999999, 232(z)z--99999999, 248(z)z--99999999
Enoiu, Eduard, 224(z)z--99999999
Enoiu, Eduard, see Gu, Rong
Enric, 38(1)147--149
Enriching, 78(11)2259--2267, 94(z)53--66
enrichments, 99(z)235--261
ensemble, 194(z)z--99999999, 212(z)z--99999999
ensuring, 46(3)283--306, 91(z)234--248, 98(z)516--530
enterprise, 61(1)4--15, 66(1)1--3, 66(1)44--59, 66(1)87--102, 89(z)176--198, 215(z)z--99999999
entertainment, 67(1)76--90
entities, 54(1)49--71
entity, named-, 130(z)24--36
entropy, 242(z)z--99999999, 250(z)z--99999999
environment, 11(2)107--131, 44(2)181--203, 48(1)43--65, 53(1)3--24, 61(3)245--264, 67(2)278--300, 69(1)27--34, 75(4)247--263, 78(4)412--421, 89(z)105--125, 98(z)80--99, 103(z)51--70, 127(z)50--75, 176(z)1--13, 231(z)z--99999999, 236(z)z--99999999, 248(z)z--99999999
environments, 1(3)203--222, 11(2)107--131, 53(1)71--85, 78(3)310--326, 78(6)682--683, 78(10)1930--1950, 88(z)41--53, 90(z)116--134, 95(z)112--134, 96(z)254--275, 97(z)143--149, 98(z)394--407, 121(z)3--15, 129(z)92--102, 132(z)29--49, 249(z)z--99999999
equality, 22(3)197--230, 99(z)235--261, 225(z)z--99999999
equality, model-, 77(4)518--532
equation, 1(3)235--254, 9(1)1--15, 13(2)133--180, 16(2)151--195, 17(0)z--z, 17(1)3--34, 19(1)61--85, 22(3)307--326, 29(1)199--233, 30(1)3--49, 35(2)137--161, 56(3)363--401, 66(2)162--180, 188(z)z--99999999
equational, 8(1)69--86, 12(2)123--149, 112(z)24--57
equationally, 34(2)141--158
equidistance, 7(2)243--248
equilibrium, 228(z)z--99999999
equipment, 5(2)111--142, 30(1)51--82, 30(1)227--250
equivalence, 10(2)177--210, 13(2)219--236, 21(2)141--163, 22(3)231--256, 25(2)149--186, 78(9)1324--1345, 111(z)135--155
equivalence, quasi-, 177(z)1--18
equivalent, 9(1)1--15, 95(z)298--319, 242(z)z--99999999
ER, 45(2)137--153
Erata, Ferhat, 191(z)z--99999999
Erata, Ferhat, see Tekinerdogan, Bedir
Erbas, Bahar Celikkol, 101(z)6--20
Erbas, Bahar Celikkol, see Erbas, Cengiz
Erbas, Cengiz, 101(z)6--20
Erbas:2015:MTB, 101(z)6--20
ERCIM, 46(3)195--196
Erdweg, Sebastian, 155(z)146--172
Erdweg, Sebastian, see Grewe, Sylvia
Eriksson, Gustav, 228(z)z--99999999
Eriksson, Gustav, see Kargén, Ulf
Erjavec, Tomaz, 121(z)128--152
Erjavec, Tomaz, see Perovsek, Matic
Erlang, 110(z)104--118, 168(z)71--93
Ermel, C., 40(1)97--118
Ermel, C., see Padberg, J.
Ermel, Claudia, 104(z)44--70
Ermel, Claudia, see Maximova, Maria
Ernest, 24(1)100--102
Ernst, Erik, 133(z)51--73
Ernst, Gidon, 131(z)3--21, 158(z)21--40
Ernst, Gidon, see Schellhorn, Gerhard
Ernst, Michael D., 69(1)35--45
Ernst:2007:DSD, 69(1)35--45
Ernst:2016:MCS, 131(z)3--21
Ernst:2017:MSD, 133(z)51--73
errata, 1(3)223--233, 2(1)85--85
Erratic, 46(1)99--135
erratum, 22(3)283--306, 23(1)103--103, 24(2)129--148, 29(3)335--335, 37(1)311--311, 54(2)313--313, 76(11)1073--1073
erroneous, 9(3)271--286
error, 6(2)191--205, 9(3)271--286, 24(3)249--286, 27(1)37--83, 29(1)79--98, 50(1)189--224, 53(2)125--141, 55(1)209--226, 58(1)83--114, 78(10)1770--1808, 89(z)350--373, 95(z)200--218, 97(z)426--457, 132(z)129--140, 187(z)z--99999999, 200(z)z--99999999
error-tolerant, 165(z)38--53
ERS, 111(z)318--338
Ershov, 16(1)95--97
Ersoy, Ozan, 79(z)224--240
Ersoy, Ozan, see Reniers, Dennie
Erthal, Vladimir M., 229(z)z--99999999
Erthal:2023:CCE, 229(z)z--99999999
Ertl, M. Anton, 57(3)251--252
Ertl:2005:AIV, 57(3)251--252
Erwig, Martin, 52(1)101--129, 67(2)199--222
Erwig:2004:MFP, 52(1)101--129
Erwig:2007:UCE, 67(2)199--222
es, 240(z)z--99999999
ESBMC, 246(z)z--99999999
ESBMC-GPU, 152(z)63--69
Escobar, Santiago, 112(z)24--57
Escobar, Santiago, see Cholewa, Andrew
Escobar-Velásquez, Camilo, 206(z)z--99999999, 225(z)z--99999999, see Ravelo-Méndez, William
Escrig, David de, Frutos-, 78(12)2468--2487
ESEiC, 85(z)1--4
Eshuis, Rik, 74(3)65--99
Eshuis:2009:RSS, 74(3)65--99
ESOP, 17(0)z--z, 17(1)35--75, 17(1)77--117, 17(1)139--215, 17(1)217--245, 25(2)81--116, 25(2)117--147, 25(2)149--186, 25(2)187--218, 25(2)219--249, 25(2)251--283, 25(2)285--327, 432(0)ix--435
España, Sergio, 172(z)232--263, see Parra, Otto
Esparza, Diana M., Córdova-, 130(z)97--106, 211(z)z--99999999
Esparza, Diana-Margarita, Córdova-, 143(z)1--8
Esparza, Javier, 23(2)151--195
Esparza:1994:MCU, 23(2)151--195
Espinosa, Manuel Mazo, 248(z)z--99999999
Espinosa, Manuel Mazo, see Abraham, Erika
Essays, 12(3)267--270
essence, 54(2)213--256, 101(z)66--78
essential, 10(2)218--219, 78(9)1208--1211, 152(z)38--62
Essig, Kai, 198(z)z--99999999
Essig, Kai, see Bednarik, Roman
EST, 69(1)1--2, 72(1)1--2, 75(4)214--215, 98(z)1--2
EST-4, 79(z)1--5
EST-6, 134(z)1--3
established, 66(2)105--124
Establishing, 58(1)264--289
Estelle, 15(1)98--100
ESTEREL, 19(2)87--152, 36(1)5--25
Esterel, 19(2)87--152
estimate, 78(9)1663--1678, 208(z)z--z
estimating, 31(1)147--173
estimation, 54(1)125--142, 74(11)900--933, 205(z)z--99999999, 214(z)z--99999999, 219(z)z--99999999, 236(z)z--99999999
Etalle, Sandro, 33(2)213--214
Etalle:1999:BRB, 33(2)213--214
Etemaadi, Ramin, 97(z)366--380
Etemaadi:2015:NDF, 97(z)366--380
eternity, 51(1)47--85, 216(z)z--99999999
eTextbook, 88(z)22--40
ethical, 236(z)z--99999999
Etien, Anne, 161(z)1--1, 199(z)z--99999999
Etien, Anne, see Lagadec, Loïc
Etien:2018:ADL, 161(z)1--1
eTutoring, 231(z)z--99999999
Euclid, 76(3)160--180
EUD-MARS, 200(z)z--99999999
Eugster, Patrick, 63(2)130--146, 74(5)333--354, 78(2)147--167, 78(9)1490--1520
Eugster, Patrick, see Hoffman, Kevin, see Sivaramakrishnan, K. C.
Eugster:2006:CAF, 63(2)130--146
Eugster:2013:SUP, 78(9)1490--1520
EUROMICRO, 97(z)331--332
Europe, 12(1)83--84, 18(2)213--215
European, 17(0)z--z, 22(0)181--356, 22(3)197--230, 22(3)231--256, 22(3)307--326, 22(3)327--354, 25(0)79--325, 32(1)73--107, 32(1)109--143, 32(1)145--176, 32(1)177--210, 154(z)61--88, 219(z)z--99999999, 432(0)ix--435
evaluate, 78(12)2399--2413, 134(z)61--74, 136(z)43--59, 230(z)z--99999999
evaluated, 184(z)z--99999999
evaluating, 39(1)31--55, 57(1)45--60, 61(3)228--244, 78(10)1930--1950, 78(11)2245--2258, 88(z)54--81, 149(z)3--8, 150(z)1--25, 213(z)z--99999999, 231(z)z--99999999, 236(z)z--99999999, 247(z)z--99999999
evaluation, 9(2)161--177, 11(1)94--95, 14(1)1--24, 16(2)151--195, 18(2)139--179, 21(2)115--139, 21(3)263--291, 22(1)21--44, 22(3)257--282, 22(3)283--306, 22(3)307--326, 24(1)83--95, 27(2)119--137, 27(3)289--322, 31(1)75--89, 31(1)147--173, 34(1)55--73, 57(1)109--128, 62(1)47--65, 64(2)246--262, 68(1)21--37, 74(7)470--495, 75(7)638--667, 76(4)227--242, 76(4)307--323, 76(6)467--468, 76(6)469--491, 77(6)743--759, 78(7)843--861, 85(z)5--40, 86(z)43--57, 90(z)2--20, 90(z)161--179, 95(z)147--148, 112(z)119, 132(z)29--49, 137(z)1--1, 137(z)98--124, 168(z)38--70, 172(z)232--263, 191(z)z--99999999, 227(z)z--99999999, 228(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999, 232(z)z--z, 234(z)z--99999999, 236(z)z--99999999, 237(z)z--99999999, 238(z)z--99999999, 241(z)z--99999999, 245(z)z--99999999, 250(z)z--99999999
evaluator, 5(1)83--96
Evangelista, Sami, 78(7)778--795
Evangelista:2013:DSS, 78(7)778--795
Evans, Andy, 44(1)1--4
Evans:2002:P, 44(1)1--4
Eveleens, J. L., 74(11)934--988, 77(3)314--354
Eveleens:2009:QIF, 74(11)934--988
Eveleens:2012:QFQ, 77(3)314--354
even, 235(z)z--z
event, 16(2)103--149, 75(10)848--878, 75(12)1215--1234, 76(10)877--890, 111(z)318--338, 113(z)119--148, 123(z)2--41, 198(z)z--99999999, 201(z)z--z, 231(z)z--99999999, 232(z)z--99999999, 240(z)z--99999999, 243(z)z--99999999, 245(z)z--z, 247(z)z--99999999
event, discrete-, 8(3)231--274, 77(12)1235--1271, 82(z)22--43, 183(z)z--99999999
Event-B, 74(11)879--899, 78(3)310--326, 78(7)884--905, 81(z)108--121, 94(z)164--202, 105(z)92--123, 111(z)318--338, 139(z)1--35, 148(z)49--65, 156(z)21--44, 158(z)81--99, 190(z)z--99999999, 199(z)z--z, 215(z)z--99999999, 216(z)z--z, 225(z)z--99999999, 231(z)z--z
event-B, 131(z)94--108, 197(z)z--99999999
event-based, 76(2)119--135, 210(z)z--99999999
event-clock, 77(12)1212--1234
event-driven, 242(z)z--99999999
EventML, 148(z)26--48
eventually, 5(3)309--316
everywhere, 52(1)1--8
Eves, 74(4)197--218, 74(4)238--257
evidence, 160(z)93--114
evidence-based, 97(z)105--112
EVL, 98(z)531--550
evolution, 6(3)213--272, 24(1)41--61, 52(1)131--163, 58(3)384--411, 60(2)117--120, 65(3)222--248, 75(4)276--287, 76(12)1075--1077, 76(12)1078--1097, 76(12)1144--1160, 76(12)1177--1193, 76(12)1223--1246, 77(3)270--289, 77(5)636--643, 78(5)481--498, 78(8)969--970, 78(8)1010--1034, 78(8)1035--1054, 78(8)1073--1098, 80(z)457--479, 90(z)135--160, 97(z)105--112, 97(z)113--121, 97(z)127--134, 98(z)439--463, 127(z)24--49, 134(z)47--60, 170(z)1--26, 198(z)z--z, 212(z)z--99999999, 214(z)z--z, 229(z)z--99999999, 238(z)z--99999999
evolutionary, 79(z)204--223, 86(z)89--102, 121(z)55--74, 135(z)4--19, 181(z)47--63, 224(z)z--z, 226(z)z--99999999, 227(z)z--99999999, 230(z)z--99999999
evolvability, 76(12)1210--1222
evolvable, 53(1)51--69, 183(z)z--99999999
evolving, 24(1)41--61, 51(3)197--213, 66(1)60--70, 66(1)71--86, 78(1)3--26, 83(z)35--55, 93(z)65--85, 96(z)230--253, 163(z)139--159, 193(z)z--99999999, 230(z)z--99999999
evolving, Co-, 104(z)2--43
EvoMaster, 246(z)z--99999999
exact, 76(4)307--323, 77(10)1122--1150, 127(z)103--130, 184(z)z--99999999, 248(z)z--99999999
Examining, 226(z)z--99999999
example, 1(1)73--114, 11(1)1--15, 13(1)111--116, 19(1)1--23, 73(1)26--38, 77(5)636--643, 238(z)z--99999999
example, query-by-, 71(2)144--164
exception, 1(1)115--144, 3(2)189--204, 11(1)65--86, 14(1)25--42, 20(1)73--111, 23(2)227--286, 26(1)179--196, 31(1)147--173, 58(3)325--343, 63(2)147--171, 74(5)314--332, 75(5)333--349, 84(z)22--51, 87(z)44--61, 89(z)273--297, 128(z)68--85
exception-safety, 76(4)278--289
exchange, 60(2)149--170, 85(z)204--223
exclusion, 5(3)265--276, 29(3)327--334, 58(3)344--365, 76(7)542--554, 78(7)843--861, 102(z)57--75
executable, 57(3)253--274, 79(z)23--38, 80(z)440--456
executing, 63(2)111--129, 68(3)155--178, 130(z)2--23
execution, 2(1)1--18, 4(3)221--248, 7(3)297--312, 16(3)207--249, 20(1)113--140, 22(1)137--155, 48(1)21--42, 76(12)1098--1112, 77(7)848--869, 78(5)458--480, 78(6)725--746, 78(8)1099--1118, 80(z)311--342, 98(z)707--734, 102(z)142--157, 105(z)44--72, 111(z)505--534, 132(z)29--49, 140(z)17--29, 158(z)21--40, 182(z)88--89, 206(z)z--99999999, 206(z)z--z, 236(z)z--99999999, 243(z)z--99999999
executives, 172(z)102--116
exercise, 1(3)235--254, 3(1)1--35, 3(2)217--222, 3(3)313--319, 4(1)45--86, 4(1)87--94, 4(2)205--210, 4(3)323--333, 5(1)97--106, 5(2)219--229, 5(3)309--316, 6(1)95--102, 6(2)207--211, 6(3)313--318, 7(1)87--97, 7(2)243--248, 7(3)313--319, 8(1)105--112, 8(2)203--211, 9(1)91--100, 9(2)207--211, 10(1)99--105, 10(3)319--325, 11(2)167--173, 12(1)75--81, 14(1)97--101, 15(2)159--169, 16(1)19--48, 18(2)181--204, 18(3)223--245, 88(z)110--129, 129(z)35--47, 230(z)z--99999999
exhaustive, 231(z)z--99999999, 238(z)z--99999999
Exibard, Léo, 232(z)z--99999999, see Aceto, Luca
expandable, 161(z)34--56
expanders, 78(5)544--555
expansion, 9(1)1--15, 95(z)254--271
experience, 28(2)93--110, 36(1)65--96, 53(1)1--2, 55(1)53--80, 62(1)85--94, 75(8)672--688, 76(12)1098--1112, 78(1)65--92, 78(5)425--444, 79(z)158--171, 80(z)188--209, 89(z)71--87, 89(z)126--143, 97(z)55--58, 100(z)1--1, 109(z)1, 114(z)7--19, 147(z)54--77, 211(z)z--z, 226(z)z--99999999, 232(z)z--99999999, 233(z)z--99999999, 234(z)z--99999999, 236(z)z--z, 237(z)z--99999999
experiment, 12(1)1--38, 29(1)123--146, 36(2)285--302, 51(3)265--290, 74(4)197--218, 74(4)238--257, 75(5)292--310, 77(5)551--576, 78(12)2435--2452, 88(z)54--81, 204(z)z--99999999
experimental, 52(1)131--163, 64(2)246--262, 69(1)1--2, 72(1)1--2, 75(1)71--84, 75(4)214--215, 79(z)1--5, 85(z)1--4, 98(z)1--2, 98(z)28--51, 134(z)1--3, 152(z)99--115
experimentation, 229(z)z--99999999
experimenting, 74(10)777--811
Expert, 17(1)119--138
explainable, 230(z)z--99999999
Explaining, 27(1)37--83
explanation, 9(3)213--220
explicit, 8(2)147--172, 39(1)57--92, 113(z)29--50, 121(z)100--127
exploiting, 54(1)73--98, 77(10)1095--1121, 95(z)112--134, 137(z)63--97, 235(z)z--z
exploration, 61(1)48--57, 72(3)71--135, 75(4)247--263, 78(7)778--795, 80(z)356--384, 155(z)146--172, 180(z)1--15, 215(z)z--99999999
exploratory, 45(2)99--136, 201(z)z--99999999, 235(z)z--99999999, 240(z)z--99999999
exploring, 101(z)99--123, 171(z)1--20, 232(z)z--99999999, 236(z)z--99999999
Expósito, Roberto R., 78(5)425--444, see Taboada, Guillermo L.
expressing, 10(1)19--32, 39(1)125--148, 67(2)199--222, 78(1)65--92
expression, 1(3)203--222, 6(1)11--34, 7(1)61--86, 8(2)113--137, 14(1)25--42, 39(2)189--213, 48(2)99--117, 74(9)723--753, 75(9)762--772, 75(11)980--1000, 89(z)235--250, 93(z)3--18, 96(z)177--190, 96(z)191--210, 97(z)405--425, 132(z)129--140, 187(z)z--99999999, 193(z)z--z, 223(z)z--z, 229(z)z--99999999, 235(z)z--99999999
expressive, 10(1)33--63, 17(1)35--75, 21(2)141--163, 102(z)108--141, 132(z)226--246, 155(z)173--197, 206(z)z--99999999
expressiveness, 21(2)141--163, 21(3)225--261, 46(1)71--98, 61(2)152--187, 109(z)2--35, 123(z)42--60, 169(z)1--17
extend, 191(z)z--99999999
extended, 3(1)101--114, 7(3)279--296, 78(11)2064--2085, 78(11)2108--2159, 78(12)2295--2312, 94(z)1--2, 94(z)67--68, 94(z)253--254, 95(z)147--148, 95(z)343--343, 96(z)175--176, 99(z)1--2, 112(z)119, 113(z)1--2, 118(z)3--23, 123(z)1, 126(z)1--2, 132(z)1, 137(z)1--1, 146(z)1--1, 147(z)1--2, 160(z)1--2, 166(z)1--2, 178(z)43--44, 182(z)86--87, 197(z)z--99999999, 206(z)z--99999999, 218(z)z--99999999, 225(z)z--99999999, 243(z)z--99999999, 246(z)z--99999999
Extending, 44(1)71--100, 56(1)23--39, 74(1)34--42, 76(4)290--306, 79(z)6--22, 88(z)92--109, 97(z)31--36, 243(z)z--99999999
extensible, 68(1)2--20, 69(1)14--26, 75(1)39--54, 78(10)1809--1827, 79(z)70--85, 95(z)3--25, 111(z)23--50, 193(z)z--99999999, 230(z)z--99999999
extension, 4(3)291--322, 68(1)38--61, 76(4)258--277, 78(10)1845--1870, 111(z)156--189, 131(z)22--41, 132(z)2--28, 166(z)71--88, 173(z)71--94, 188(z)z--z, 197(z)z--z
extents, 60(3)274--297
external, 14(1)59--79, 78(7)778--795
extract, 195(z)z--99999999, 239(z)z--99999999
Extracting, 33(1)1--27, 45(2)245--270, 187(z)z--99999999
extraction, 26(1)179--196, 36(2)267--284, 56(1)99--116, 77(4)505--517, 98(z)680--706, 121(z)176--189, 166(z)1--2, 191(z)z--z, 196(z)z--99999999, 204(z)z--99999999, 234(z)z--99999999
extraction, model-, 77(3)375--392
Extremo, 180(z)71--80
extrinsic, 197(z)z--99999999, 249(z)z--99999999
Eyal, 33(2)215--216
eye, 198(z)z--99999999
eye-tracking, 79(z)260--278
Eyers, David, 235(z)z--99999999
Eyers, David, see Damiani, Ferruccio
Eyiyurekli, Manolya, 78(5)594--611
Eyiyurekli, Manolya, see Bai, Linge