Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
verification and validation (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/43)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
Iterative optimization of hyperparameter-based metamorphic transformations
Sudheerbabu, Gaadha
;
Ahmad, Tanwir
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
2024
/
p. 13-20
https://doi.org/10.1109/ICSTW60967.2024.00016
Article at Scopus
Article at WOS
book article
2
book article
Test driven domain modelling
Piho, Gunnar
;
Tepandi, Jaak
;
Parman, Marko
;
Puusep, Viljam
;
Roost, Mart
MIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings
2011
/
p. 576-581
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5967121
book article
Number of records 2, displaying
1 - 2
keyword
43
1.
verification and validation
2.
validation and verification
3.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
4.
coin validation
5.
cross validation
6.
field tests model validation
7.
method validation
8.
Model validation
9.
modelling and validation
10.
PDF validation
11.
safety validation
12.
system Validation
13.
translation validation
14.
validation
15.
validation of simulation model
16.
assertion-based verification
17.
Automata, Formal Verification
18.
Automatic Security Verification
19.
automatic speaker verification
20.
compliance verification
21.
compositional verification
22.
deductive verification
23.
extra-functional verification
24.
forecast verification
25.
formal verification
26.
functional verification
27.
grid verification
28.
Hardware Verification
29.
model verification
30.
model-based verification
31.
power verification
32.
program verification
33.
Quantum state verification
34.
reliability verification
35.
RISC-V Security Verification
36.
security verification
37.
simple payment verification (SVP)
38.
simulation-based verification
39.
speaker verification
40.
timing verification
41.
verification
42.
verification by model checking
43.
verification methods
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT