Index file section U for tosem.bib
Last update: Fri May 3 02:04:43 MDT 2024
Return to index directory
U
-
u, 32(4)107--107
-
U.S, 1(1)81--94
-
UAV, 32(3)67--67
-
UAVs, 32(3)67--67
-
Uba, Reina, 22(2)11--11
-
Uba, Reina, see La Rosa, Marcello
-
ubiquitous, 16(1)4--4, 16(2)9--9, 32(3)66--66, 33(1)18--18
-
ubiquity, 18(2)7--7
-
Ubuntu, 33(1)20--20
-
Uchitel, Sebastian, 13(1)37--85, 21(2)9--9, 22(3)25--25, 25(2)16--16
-
Uchitel, Sebastian, see De Caso, Guido,
see Fischbein, Dario,
see Pavese, Esteban
-
Uchitel, Sebastián, 22(1)9--9, 30(2)12--12,
see D'ippolito, Nicolás,
see Godoy, Javier
-
Uchitel:2004:IES, 13(1)37--85
-
uClibc, 27(4)18--18
-
UCMods, 22(1)5--5
-
UCSs, 22(1)5--5
-
Uddin, Gias, 30(3)31--31, 31(3)48--48, 33(4)98--98
-
Uddin, Gias, see Chowdhury, Shaiful
-
Uddin:2021:AAU, 30(3)31--31
-
Uddin:2022:ESE, 31(3)48--48
-
ugRedux, 24(4)26--26
-
UI, 22(3)27--27, 29(3)19--19, 30(3)37--37, 32(3)71--71
-
ultimate, 1(1)81--94, 2(2)176--201, 6(3)250--282
-
ultimately, 2(2)176--201, 2(3)228--269, 21(4)24--24, 24(3)16--16,
28(1)2--2
-
Ultra-Large-Scale, 25(1)7--7, 29(2)13--13
-
ultra-large-scale, 25(1)7--7
-
Umarji, Medha, 21(1)4--4
-
Umarji, Medha, see Sim, Susan Elliott
-
UML, 9(3)306--337, 15(1)1--38, 15(1)39--91, 15(1)92--122, 16(3)11--11,
18(4)13--13, 21(2)10--10, 21(2)12--12, 21(2)13--13, 22(1)5--5,
22(3)24--24, 23(2)13--13, 23(2)15--15, 24(3)13--13, 24(3)14--14,
26(2)7--7
-
UML, C-, 26(2)7--7
-
UML-B, 15(1)92--122
-
un-decidability, 27(1)4--4
-
unable, 22(4)36--36, 28(1)5--5
-
unacceptable, 21(4)22--22
-
unambiguous, 17(3)14--14, 18(3)9--9
-
unanticipated, 20(2)7--7, 25(4)31--31
-
unavailable, 2(1)47--92
-
unaware, 23(4)31--31, 33(2)39--39
-
unbiased, 24(2)8--8, 25(1)10--10
-
unbounded, 9(1)3--50, 21(2)12--12, 21(3)18--18, 24(4)25--25, 33(1)19--19
-
uncertain, 21(4)21--21, 23(2)19--19, 28(1)5--5, 30(4)51--51, 31(3)40--40,
32(2)31--31, 32(4)95--95, 33(2)35--35
-
uncertainty, 17(4)20--20, 24(1)2--2, 28(1)1--1, 28(1)5--5, 30(4)51--51,
31(2)24--24, 31(4)79--79, 32(1)12--12, 32(2)31--31, 32(3)58--58,
33(4)105--105
-
Uncertainty-Aware, 32(4)95--95
-
Uncertainty-aware, 31(4)79--79
-
Uncertainty-wise, 30(1)4--4
-
unchanged, 24(3)18--18
-
uncircumventability, 18(3)9--9
-
unclear, 2(2)128--175, 9(4)341--378, 25(1)5--5, 32(4)85--85, 32(4)97--97,
33(4)104--104
-
uncommon, 24(2)12--12
-
uncontended, 16(3)12--12
-
uncoupled, 18(4)15--15
-
uncover, 10(2)184--208, 25(1)4--4, 25(2)19--19, 26(1)3--3, 32(5)132--132
-
uncovering, 8(2)147--176, 26(3)10--10, 32(3)65--65
-
undecidability, 9(1)3--50
-
undecidable, 24(1)5--5
-
undeclared, 33(2)31--31
-
undefined, 22(4)29--29, 25(1)2--2
-
under-test, code-, 33(3)59--59
-
undergoing, 9(3)273--305
-
undergraduate, 24(3)13--13, 24(3)18--18
-
underlying, 4(2)171--213, 6(3)250--282, 7(2)109--157, 8(2)177--212,
9(1)3--50, 9(3)306--337, 16(2)9--9, 20(2)7--7, 21(1)3--3,
21(3)15--15, 21(4)22--22, 22(2)11--11, 23(1)4--4, 23(1)5--5,
23(2)19--19, 23(3)26--26, 24(2)8--8, 24(3)14--14, 24(3)15--15,
25(1)3--3, 25(1)8--8, 25(3)24--24, 25(4)31--31, 26(1)3--3, 27(2)6--6,
27(4)15--15, 28(2)7--7, 28(2)9--9, 31(2)29--29, 33(2)33--33
-
undermining, 21(2)8--8
-
underpinned, 18(3)10--10
-
underpinnings, 16(2)7--7, 21(3)15--15
-
underrepresented, 31(4)81--81
-
underspecification, 2(1)1--46
-
understand, 3(2)131--165, 4(3)287--317, 4(4)319--364, 6(3)250--282,
6(3)283--328, 7(4)368--410, 9(3)239--272, 17(4)18--18, 18(2)7--7,
19(2)5--5, 20(2)4--4, 20(2)5--5, 20(3)8--8, 20(4)16--16, 20(4)17--17,
21(1)3--3, 21(2)10--10, 21(2)13--13, 22(4)35--35, 23(1)9--9,
23(2)16--16, 23(3)23--23, 24(3)18--18, 24(3)19--19, 25(2)12--12,
25(2)13--13, 25(2)14--14, 25(4)30--30, 26(2)6--6, 26(3)10--10,
27(1)2--2, 27(2)8--8, 28(2)8--8, 28(2)11--11, 31(1)9--9, 31(2)30--30,
31(4)63--63, 32(1)13--13, 32(2)53--53, 32(5)109--109, 32(5)121--121,
33(3)75--75, 33(4)101--101, 33(4)109--109
-
understandability, 22(1)5--5, 28(2)11--11
-
understandable, 7(4)368--410, 25(1)5--5, 28(2)11--11
-
understanding, 2(1)93--106, 2(4)311--345, 6(1)80--110, 7(1)41--79,
7(2)109--157, 7(2)158--191, 8(2)177--212, 10(1)110--147,
17(4)18--18, 18(2)7--7, 18(3)10--10, 20(1)2--2, 20(2)4--4,
20(4)16--16, 20(4)17--17, 22(1)5--5, 22(2)14--14, 23(1)10--10,
23(2)18--18, 23(4)35--35, 24(3)14--14, 25(1)2--2, 25(2)12--12,
25(3)24--24, 26(4)12--12, 27(1)4--4, 28(2)7--7, 29(2)9--9,
29(3)19--19, 30(3)30--30, 30(4)55--55, 31(1)7--7, 31(2)23--23,
31(3)49--49, 32(1)15--15, 32(2)46--46, 32(3)65--65, 32(4)95--95,
32(4)100--100, 32(5)108--108, 32(6)135--135, 33(2)36--36,
33(3)57--57, 33(3)80--80, 33(3)82--82, 33(4)109--109, 33(4)110--110
-
understood, 4(4)319--364, 9(3)306--337, 21(4)21--21, 23(4)35--35,
29(4)25--25
-
understudied, 18(2)7--7
-
undertake, 31(4)59--59
-
undertaken, 25(2)13--13, 32(6)157--157
-
undertakings, 17(4)19--19
-
undertook, 17(2)7--7
-
Underwater, 1(1)81--94
-
undesirable, 33(1)21--21
-
undesired, 25(3)26--26
-
undetected, 1(4)422--451, 30(2)19--19
-
undisclosed, 32(4)91--91
-
undiscovered, 21(3)19--19, 25(2)19--19, 33(3)59--59
-
undue, 17(2)9--9
-
unequal, 19(2)5--5
-
unexpected, 27(2)7--7, 32(6)135--135
-
unexplained, 7(1)41--79
-
unfamiliar, 22(4)36--36, 32(5)109--109
-
unforeseen, 10(1)56--109
-
unfortunately, 3(1)56--98, 7(3)215--249, 9(1)51--93, 17(3)14--14,
18(3)9--9, 22(1)8--8, 22(2)10--10, 22(4)37--37, 24(3)20--20,
25(1)7--7, 27(4)16--16, 28(3)13--13, 28(4)22--22, 30(3)32--32,
30(4)56--56, 31(1)1--1, 31(3)39--39, 32(1)4--4, 32(1)18--18,
32(1)26--26, 32(2)39--39, 32(3)76--76, 32(4)93--93, 32(4)97--97,
33(4)89--89
-
Ungureanu, Victoria, 9(3)273--305
-
Ungureanu, Victoria, see Minsky, Naftaly H.
-
unified, 6(4)398--441, 8(3)215--262, 8(4)425--472, 9(3)306--337,
11(1)2--57, 18(4)13--13, 19(1)3--3, 22(1)5--5, 24(2)10--10,
26(2)7--7, 28(3)13--13, 32(6)136--136
-
unifies, 1(4)355--398, 19(1)3--3, 25(2)18--18
-
uniform, 4(4)319--364, 5(4)378--421, 16(2)9--9, 19(1)3--3, 24(2)10--10
-
unifying, 6(4)398--441, 16(3)11--11, 19(1)3--3, 25(2)18--18
-
UniLoc, 32(6)136--136
-
uninitialized-reads, 22(2)10--10
-
unintended, 23(3)21--21, 32(1)8--8
-
union, 6(3)250--282, 9(1)3--50, 22(2)11--11
-
unique, 7(1)80--107, 17(1)2--2, 18(2)5--5, 21(4)24--24, 22(3)23--23,
25(1)8--8, 28(1)1--1, 28(4)19--19, 29(2)9--9, 29(4)31--31, 32(1)8--8,
32(5)111--111, 33(1)7--7, 33(2)51--51
-
uniqueness, 28(3)15--15, 32(1)18--18
-
unit, 1(1)5--20, 1(1)53--80, 1(3)205--228, 2(2)109--127, 3(1)3--28,
3(2)101--130, 6(1)80--110, 6(3)250--282, 7(1)41--79, 16(1)3--3,
17(4)17--17, 18(3)12--12, 18(4)13--13, 24(1)4--4, 24(2)8--8,
24(4)23--23, 26(1)5--5, 28(3)17--17, 30(3)28--28, 30(4)44--44,
33(1)16--16, 33(4)104--104
-
Unit-level, 18(1)1--1
-
unit-test, 28(3)13--13
-
UNITY, 3(4)271--307, 6(3)250--282, 8(2)115--146, 10(3)338--395,
32(6)151--151
-
UNITY-style, 3(4)271--307
-
universal, 24(2)9--9
-
university, 16(4)15--15, 17(4)19--19
-
Unix, 1(3)310--354, 4(1)3--35
-
Unix-like, 32(1)8--8
-
unjustified, 20(1)1--1
-
unknown, 21(2)9--9, 22(4)33--33, 25(1)8--8, 27(4)18--18, 32(4)83--83,
32(6)147--147, 33(4)96--96
-
unlike, 6(2)173--210, 16(3)10--10, 20(4)18--18, 21(2)12--12, 22(1)3--3,
22(2)10--10, 23(3)26--26, 32(5)133--133
-
unlikely, 9(1)51--93, 23(4)33--33, 28(3)17--17, 31(3)46--46, 31(4)61--61
-
unlimited, 26(3)9--9
-
unlocking, 16(3)12--12
-
Unmanned, 32(3)67--67
-
unmodifiable, 19(1)1--1
-
unnatural, 25(1)10--10
-
unnecessarily, 6(1)80--110, 22(3)17--17, 25(4)31--31
-
unnecessary, 10(2)149--183, 10(2)209--254, 20(2)7--7, 20(3)9--9,
23(1)5--5, 23(2)20--20, 29(1)6--6
-
unobserved, 20(2)6--6
-
unobtrusive, 18(2)6--6
-
unordered, 9(1)3--50
-
unplanned, 31(2)27--27
-
unpleasant, 31(2)34e_34e
-
unprecedented, 6(3)250--282, 30(4)49--49
-
unpredictable, 17(4)18--18, 19(4)12--12, 22(2)12--12, 24(1)2--2,
32(4)95--95
-
unpublished, 21(4)20--20
-
unreachable, 28(3)18--18
-
unrealistic, 33(4)93--93
-
unreasonably, 20(1)1--1
-
unrelated, 7(2)109--157, 27(2)7--7
-
unreliable, 23(4)32--32
-
unresolved, 33(2)36--36
-
unrestricted, 22(1)5--5
-
unsafe, 31(1)3--3, 33(4)89--89
-
unsat-core, 23(2)20--20
-
unsatisfactory, 1(3)310--354, 4(1)3--35
-
unsatisfiable, 21(4)25--25
-
unscalable, 28(4)22--22
-
unseen, 22(1)8--8
-
unserializable-interleaving, 22(2)10--10
-
unsolved, 20(3)12--12
-
unsound, 28(2)7--7, 31(1)3--3
-
unsoundly, 28(2)7--7
-
unsoundness, 31(1)3--3
-
unstructured, 28(3)17--17, 33(1)6--6
-
unsuccessful, 25(1)8--8
-
unsuitable, 31(2)36e_36e
-
unsupervised, 24(3)19--19, 32(5)112--112, 33(4)84--84
-
untapped, 22(2)14--14
-
Untch, Roland H., 5(2)99--118
-
Untch, Roland H., see Offutt, A. Jefferson
-
Unterkalmsteiner, M., 23(2)16--16
-
Unterkalmsteiner, Michael, 32(4)107--107
-
Unterkalmsteiner, Michael, see Badampudi, Deepika
-
Unterkalmsteiner:2014:TRE, 23(2)16--16
-
until, 3(1)29--55, 9(1)51--93, 16(3)12--12, 21(1)2--2, 21(3)18--18,
26(1)5--5, 28(2)7--7, 28(4)23--23
-
untimed, 21(3)18--18
-
untrusted, 9(4)341--378, 9(4)410--442, 18(3)9--9, 22(4)33--33
-
unusable, 18(2)4--4
-
unused, 3(1)3--28, 22(3)17--17
-
Unveiling, 29(3)16--16
-
unwanted, 17(2)8--8
-
up, follow-, 25(2)12--12
-
up-front, 6(2)111--140
-
Upadrasta, Sai Surya, 32(2)35--35
-
Upadrasta, Sai Surya, see Maddila, Chandra
-
upcoming, 31(2)24--24
-
update, 7(2)192--214, 20(1)3--3, 24(3)18--18, 25(3)20--20, 32(1)11--11,
32(2)50--50, 32(4)94--94, 32(6)149--149
-
update, weather-, 18(4)13--13, 21(2)12--12
-
Update-driven, 31(4)61--61
-
updated, 31(2)30--30, 32(2)30--30
-
upgrade, 32(3)57--57, 32(4)98--98
-
upgrading, 32(3)57--57
-
upon, 1(3)269--309, 7(2)109--157, 8(4)411--424, 9(3)306--337,
20(3)12--12, 22(2)14--14, 22(3)22--22, 23(2)14--14, 25(1)6--6,
25(4)30--30, 31(4)78--78, 32(6)141--141
-
upper, 16(3)12--12, 17(3)16--16, 24(1)5--5, 24(1)6--6
-
upper-level, 24(1)6--6
-
upstream, 16(2)8--8
-
URD, 1(2)188--204
-
urgent, 33(1)1--1
-
urgently, 32(2)42--42
-
URIs, 28(1)3--3
-
usability, 17(2)8--8, 22(4)38--38, 24(3)18--18, 32(2)52--52, 32(3)60--60
-
usability/scalability, 22(1)3--3
-
usable, 18(2)4--4, 18(3)10--10, 24(3)19--19
-
usage, 2(1)93--106, 17(2)9--9, 21(1)2--2, 21(2)12--12, 22(2)10--10,
22(4)37--37, 23(2)14--14, 25(2)18--18, 26(3)11--11, 28(2)7--7,
29(2)12--12, 29(3)18--18, 30(3)28--28, 30(3)31--31, 30(4)55--55,
32(1)8--8, 32(3)69--69, 32(6)155--155, 33(4)88--88
-
used, widely-, 31(4)72--72, 32(1)22--22
-
useful, 5(1)42--62, 5(3)262--292, 7(2)192--214, 8(2)177--212,
9(4)488--528, 10(2)209--254, 16(2)8--8, 16(4)13--13, 21(2)8--8,
22(1)8--8, 22(2)15--15, 22(3)25--25, 22(3)26--26, 23(2)16--16,
23(2)17--17, 25(1)3--3, 25(1)5--5, 25(2)16--16, 26(2)6--6,
26(3)10--10, 27(1)4--4, 28(1)4--4, 29(3)18--18, 29(4)28--28,
30(4)42--42, 31(4)71--71, 31(4)74--74, 32(3)81--81, 32(4)101--101,
33(4)96--96
-
usefulness, 2(3)228--269, 5(2)87--98, 8(2)147--176, 9(4)488--528,
17(3)14--14, 20(1)3--3, 20(3)9--9, 21(2)8--8, 22(2)11--11,
24(4)26--26, 27(1)2--2, 27(2)6--6
-
user, end-, 10(1)110--147, 18(1)1--1, 18(2)7--7, 22(4)36--36
-
User, Multi-, 7(1)1--40
-
user-definable, 2(2)176--201
-
user-defined, 4(2)146--170, 27(2)6--6
-
user-effort, 24(3)19--19
-
user-interface, 24(1)1--1, 32(3)71--71
-
user-observable, 28(1)2--2
-
user-provided, 23(2)20--20, 33(1)4--4
-
user-specific, 24(3)19--19
-
user-specified, 4(1)65--106, 5(4)334--377
-
user-supplied, 3(2)101--130
-
User/Machine, 5(3)191--230
-
usernames, 25(1)8--8
-
users, end-, 30(3)37--37, 33(1)4--4
-
users.Unfortunately, 33(2)39--39
-
usual, 24(1)2--2, 24(1)4--4
-
usually, 2(2)128--175, 4(4)319--364, 9(2)133--166, 17(2)7--7,
17(4)18--18, 19(4)13--13, 21(3)19--19, 22(1)5--5, 22(2)15--15,
22(3)17--17, 22(3)26--26, 23(1)5--5, 23(1)7--7, 25(1)5--5,
25(2)18--18, 25(2)19--19, 25(3)26--26, 26(4)14--14, 28(1)5--5,
28(3)13--13, 29(2)11--11, 29(4)28--28, 30(4)50--50, 31(1)5--5,
31(3)53--53, 31(4)69--69, 32(1)17--17, 32(2)46--46, 32(6)152--152,
33(2)31--31, 33(2)32--32, 33(3)74--74, 33(4)100--100
-
usybox, 27(4)18--18
-
utilised, 23(1)5--5
-
utility, 1(3)310--354, 4(1)3--35, 5(1)42--62, 5(3)231--261, 7(1)1--40,
9(2)199--237, 15(2)123--149, 16(1)5--5, 21(4)21--21, 22(2)14--14,
23(3)26--26, 32(1)8--8
-
utilization, 1(1)53--80
-
utilize, 6(2)111--140, 10(2)209--254, 17(2)9--9, 27(2)5--5, 28(3)13--13
-
utilized, 33(1)20--20, 33(2)52--52, 33(3)82--82
-
utilizing, 20(1)1--1, 23(1)3--3, 24(1)4--4, 28(4)23--23
-
utmost, 33(4)94--94
-
UTP, 32(1)9--9
-
UWE, 16(4)15--15