Last update: Mon Dec 27 02:16:59 MST 2021
Return to index directory
V
-
V, 36(2)1--7, 38(1)58--58
-
V-Model, 41(2)1--3
-
V-model, 41(2)1--3
-
V., Sharath Chandra, 36(5)1--7
-
V:2011:BBI, 36(5)1--7
-
v7, 37(6)1--5
-
Vaclav, 38(6)46--46
-
vague, 36(6)1--6
-
Vaidyanathan, Sreevatsan, 38(5)1--5
-
Vaidyanathan, Sreevatsan, see Raghunath, Amritha
-
Valente, Marco Tulio, 38(1)1--3, 38(5)1--4
-
Valente, Marco Tulio, see Couto, Cesar,
see Terra, Ricardo
-
valid, 37(6)1--5, 38(4)1--7, 41(1)1--5, 43(4)55--55
-
validate, 35(5)1--11, 37(1)1--11, 38(1)1--7, 38(3)1--6, 39(6)1--5
-
validated, 35(3)1--11, 36(3)1--5, 36(5)1--5, 37(2)1--3, 37(2)1--11,
37(6)1--5, 38(5)1--10, 41(1)1--7, 43(3)17--17
-
validating, 38(4)1--6
-
validation, 35(3)1--14, 35(5)1--11, 36(3)1--5, 36(5)1--3, 36(5)1--7,
36(6)1--6, 36(6)1--9, 37(1)1--4, 37(1)1--11, 37(1)1--14, 37(6)1--5,
38(3)1--6, 41(1)1--7, 42(4)1--7, 42(4)1--13, 42(4)25--27,
43(4)36--38, 43(4)53--53
-
Validation, issues-, 37(6)1--5
-
validity, 35(4)1--7, 35(5)1--6, 36(6)1--5, 43(1)1--6
-
valuable, 36(2)1--4, 37(3)1--5, 38(3)7--10, 38(6)1--6
-
value, 35(3)1, 35(3)1--5, 35(4)1--3, 35(5)1--7, 35(5)1--11, 36(2)1--6,
36(5)1--8, 36(5)33--35, 36(6)1--5, 36(6)1--9, 37(1)1--6, 37(1)1--14,
37(3)1--5, 37(3)1--8, 37(5)1--7, 37(5)1--9, 37(5)36--38,
37(6)1--7, 37(6)1--8, 38(1)1--9, 38(1)41--43, 38(3)1--7, 38(4)1--27,
38(5)1--7, 38(5)1--8, 38(5)1--13, 41(1)1--5, 42(3)1--8, 42(4)1--5,
42(4)1--9, 43(1)1--4, 43(4)42--44, 43(4)54--54, 43(4)56--56,
44(4)11--13
-
value, key-, 42(4)1--5
-
valued, 35(6)1--20
-
van, 38(4)40--40
-
vanderLinden:2018:ESWa, 43(4)31--35
-
vanderLinden:2018:ESWb, 43(4)53--53
-
vanderMerwe:2012:VAA, 37(6)1--5
-
Vangheluwe, Hans, 44(4)11--13
-
Vangheluwe, Hans, see Bures, Tomas
-
vanished, 35(3)1--5
-
VAQUITA, 41(1)32--35
-
Varghese, Nobby, 38(4)1--4
-
Varghese, Nobby, see S., Indu
-
VAriability, 41(1)32--35
-
variability, 36(5)30--32, 37(6)1--9, 38(1)46--49, 38(4)1--10, 41(1)1--10,
41(1)32--35, 42(4)35--37, 43(4)52--52, 44(3)23--23
-
variability-aware, 41(1)1--10
-
variable, 35(3)1--5, 36(2)1--5, 36(2)1--11, 37(3)1--4, 37(3)1--8,
38(2)26--28, 38(4)1--4, 38(5)1--8, 42(3)1--8, 44(1)35--35,
44(3)23--23
-
variance, 37(6)1--8, 38(3)1--9, 38(4)1--7
-
variant, 35(6)1--9, 37(3)1--7, 37(6)1--6, 37(6)1--8, 43(3)18--18
-
variation, 37(4)1--8, 38(5)1--5
-
varied, 35(4)24--30, 35(5)27--29, 37(2)1--8, 44(3)68--70
-
variety, 36(5)36--53, 37(5)1--7, 38(4)1--7, 42(4)25--27, 43(3)17--17,
43(3)18--18, 43(4)55--55, 44(1)18--28, 44(1)35--35
-
Varma, G. Partha Saradhi, 37(3)1--4, 37(3)1--5
-
Varma, G. Partha Saradhi, see Reddy, K. Sudheer
-
Varol, Cihan, 36(3)1--6
-
Varol, Cihan, see Nuthakki, Murali K.
-
Varona, Daniel, 37(1)1--5
-
Varona:2012:ESE, 37(1)1--5
-
VARSA, 36(5)30--32, 37(6)1--9, 38(1)46--49
-
Varshney, Sapna, 38(4)1--6
-
Varshney:2013:SBS, 38(4)1--6
-
vary, 35(3)8--13, 43(3)17--17
-
varying, 35(6)1--4
-
vast, 41(1)1--4
-
Västerås, 43(4)36--38, 43(4)53--53
-
vastu, 38(6)1--6
-
VDM, 35(2)1--7
-
vector, 35(4)1--8, 36(5)1--6, 36(5)1--7, 37(1)1--6, 43(3)17--17
-
vehicle, 35(2)1--7, 35(3)1--7, 35(6)1--6, 38(3)1--4, 42(3)22--23,
43(4)45--47, 43(4)54--54
-
vein, 44(1)31--34
-
Vembuselvi, C., 36(2)1--10
-
Vembuselvi:2011:LLL, 36(2)1--10
-
vendor, 41(2)1--13, 42(3)18--21, 43(2)26--27, 43(2)28--31
-
Venkatesulu, 35(5)57--57
-
venue, 35(3)33--34, 35(5)42--44, 35(5)45--50, 36(3)28--30, 36(5)24--29,
37(1)27--30, 37(6)1--4, 37(6)1--8, 37(6)24--27, 38(1)41--43,
38(1)49--51, 38(6)34--35, 41(2)34--37, 41(4)25--26
-
verbatim, 43(3)17--17
-
verbose, 37(4)1--8
-
verifiable, 41(4)1--5, 43(3)19--19
-
verification, 35(2)1--7, 35(3)1--14, 35(4)34--35, 37(1)1--14, 37(4)1--8,
37(6)1--5, 38(4)1--10, 38(6)1--12, 41(1)1--8, 42(3)1--10, 42(4)1--7,
42(4)25--27, 43(3)6--10, 43(3)18--18, 43(3)19--19, 43(4)36--38,
43(4)53--53, 43(4)56--56, 44(4)17--17
-
verification, assertion-, 37(1)1--14
-
verified, 36(2)1--10, 36(5)1--7, 37(6)1--6, 38(4)1--7, 38(6)1--12,
42(3)1--10, 43(3)17--17
-
verifiers, 43(4)56--56
-
verify, 35(2)1--7, 36(2)1--10, 36(5)1--10, 37(3)1--5, 37(4)1--8,
37(6)1--5, 38(3)1--6
-
verifying, 35(3)1--8, 37(4)1--8, 37(6)1--5, 42(3)1--10, 44(4)17--17
-
veritesting, 42(4)1--5
-
Verma, 36(6)30--30
-
Verma, Bhupendra, 38(5)1--6
-
Verma, Bhupendra, see Sinhal, Amit
-
Verma, Harsh, 37(3)1--9
-
Verma, Harsh, see Jeet, Kawal
-
versa, 37(6)1--8
-
versatile, 42(4)35--37
-
version, 36(5)1--8, 36(6)1--5, 37(1)1--6, 37(2)1--11,
37(6)1--5, 37(6)1--6, 37(6)1--10, 38(1)39--41, 38(4)1--4, 38(5)1--4,
38(6)1--6, 38(6)1--8, 39(6)1--6, 41(1)1--4, 42(3)1--6, 42(4)1--5
-
version-control, 36(5)1--8
-
versioning, 36(5)1--8
-
vertex, 42(2)1--16
-
vertical, 37(6)1--5
-
very, 35(2)1--7, 35(3)1--5, 35(4)1--8, 35(5)1--5, 35(5)1--7, 36(2)1--6,
36(2)1--10, 36(3)1--6, 36(3)1--8, 36(5)1--5, 36(6)1--3, 36(6)1--9,
37(1)1--11, 37(3)1--5, 37(5)1--4, 37(5)1--7, 37(6)1--8, 38(1)1--2,
38(1)1--6, 38(1)1--7, 38(1)1--9, 38(4)1--9, 38(5)1--6, 38(5)1--7,
38(6)1--3, 38(6)1--10, 38(6)1--13, 41(1)1--4, 41(1)1--10, 41(2)1--8,
41(2)1--13, 43(4)55--55, 44(4)5--10, 44(4)15--15
-
Vetterling, 35(6)30--31
-
viable, 37(4)1--8
-
Viana, Sidney, 35(2)1--4
-
Viana, Sidney, see Sousa, Thiago C. de
-
Vibhav, 36(2)1--7
-
vice, 37(6)1--8
-
Victor, 37(1)27--30, 37(3)37--37
-
video, 39(6)1--4
-
Vieira, Ianegitz, 42(4)1--13
-
Vieira:2017:CPO, 42(4)1--13
-
view, 36(3)1--8, 36(5)1--4, 37(1)1--14, 37(2)1--3, 37(5)1--8,
37(6)1--4, 37(6)1--5, 38(3)1--4, 38(5)40--42, 38(6)1--5, 38(6)1--10,
39(6)26--27, 41(2)34--37, 43(4)52--52
-
viewed, 35(2)1--7
-
viewpoint, 35(6)1--9
-
Vignesh, P., 37(1)1--14
-
Vignesh, P., see Banerjee, A.
-
Vilamoura, 35(3)33--34
-
Vinary, P., Farrell-, 36(3)34--35
-
Vinod, Gopika, 35(6)1--9, 38(6)1--10
-
Vinod, Gopika, see Mohanta, Sirsendu,
see Singh, Lalit Kumar
-
violate, 36(6)1--3, 42(4)1--5
-
violating, 43(4)66--66
-
violation, 37(1)1--6, 37(6)1--5, 42(4)1--5
-
Viral, 43(4)36--38, 43(4)53--53
-
virtual, 35(2)1--4, 35(3)1--5, 35(6)1--6, 37(3)1--5, 37(6)1--5, 38(2)1--8,
38(3)1--9, 39(6)1--6, 42(4)1--5, 44(4)16--16
-
virtualization, 36(3)1--4, 38(2)35--35
-
virtualized, 36(5)36--53, 37(3)1--9
-
virtue, 43(1)1--6
-
virus, 38(5)1--8
-
vis, vis-à-, 37(1)1--4
-
vis-à-vis, 37(1)1--4
-
Visaggio, Giuseppe, 38(6)1--4
-
Visaggio, Giuseppe, see Castelluccia, Daniela
-
visibility, 36(2)1--5
-
visible, 37(4)1--8
-
vision, 35(2)1--4, 35(2)1--8, 35(6)1--6, 36(3)1--6, 36(5)1--5,
37(4)30--31, 37(6)1--9, 38(1)43--46, 41(1)1--2, 43(4)24--27,
43(4)52--53
-
visit, 37(3)1--4
-
Visser, Joost, 37(5)36--38
-
Visser, Joost, see Kruchten, Philippe
-
Visser, Willem, 37(6)1--5, 42(4)1--5, 42(4)1--7, 44(4)14--14
-
Visser, Willem, see Le, Xuan-Bach D.,
see Merwe, Heila van der,
see Sharma, Vaibhav,
see Theisen, Christopher
-
visual, 35(3)39--39, 36(2)7--8, 36(5)1--8, 37(6)1--5, 38(5)1--7
-
visualization, 35(5)1--8, 37(6)1--5, 38(5)1--13, 43(1)1--6
-
visualize, 35(3)1--5, 38(6)45--46, 43(1)1--6
-
visualizing, 37(5)36--38, 37(6)1--5
-
visually, 37(4)1--8
-
vital, 35(2)1--7, 35(3)1, 35(6)1--6, 37(3)1--11, 37(6)1--7, 38(4)1--5,
38(5)1--13, 41(2)1--3
-
vividly, 37(6)1--4
-
viz, 36(2)1--10, 36(5)1--7, 37(2)1--11, 37(5)1--9, 41(1)1--6
-
vocabularies, 44(1)37--37
-
vocal, 43(4)52--52
-
voice-driven, 35(4)1--7
-
voices, 43(4)52--52
-
vol, 36(2)1--7, 43(4)13--20, 44(1)11--17, 44(2)6--12
-
volume, 36(3)1--4, 37(3)1--7, 38(3)33--33, 43(3)18--19
-
voluntarily, 43(4)9--12
-
volunteer, 36(2)1--5, 37(2)1--11, 43(1)1--6
-
Voola, Persis, 38(4)1--10
-
Voola:2013:CRP, 38(4)1--10
-
VOSDM, 35(2)1--8
-
Voss, Sebastian, 44(4)11--13
-
Voss, Sebastian, see Bures, Tomas
-
votes, 44(1)7--7
-
VPF, 35(5)1--11
-
vs, 35(3)1--5, 37(5)1--14, 41(1)25--27
-
Vu, Jodat, 36(5)52--53
-
Vu:2011:BRA, 36(5)52--53
-
vulnerability, 36(5)1--7, 37(6)1--5, 37(6)1--6, 39(6)1--6, 43(4)55--55
-
vulnerable, 37(6)1--7
-
VVCT, 36(5)1--8