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
Advanced search
My bookmarks
0
mutation analysis (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/454)
Export
export all inquiry results
(2)
Save TXT 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
Mutation analysis for systemC designs at TLM
Guarnieri, Valerio
;
Bombieri, Nicola
;
Pravadelli, Graziano
;
Fummi, Franco
;
Hantson, Hanno
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
12th IEEE Latin American Test Workshop (LATW) : Porto de Galinhas, Brasil, 27-30 March 2011
2011
/
[6] p
https://ieeexplore.ieee.org/document/5985925
book article
2
journal article
On the reuse of TLM mutation analysis at RTL
Guarnieri, Valerio
;
Hantson, Hanno
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
Journal of electronic testing : theory and applications
2012
/
p. 435-448 : ill
https://link.springer.com/article/10.1007/s10836-012-5303-6
journal article
Number of records 2, displaying
1 - 2
keyword
454
1.
mutation analysis
2.
missense mutation
3.
model-based mutation testing
4.
mutation
5.
Mutation and crossover operators
6.
mutation operators
7.
mutation testing
8.
specification mutation
9.
timed automata mutation
10.
ABC analysis
11.
AC analysis
12.
accuracy analysis
13.
acoustic analysis
14.
acoustic signal analysis
15.
activation analysis
16.
algebraic analysis
17.
amino acids analysis
18.
analysis
19.
analysis costs
20.
analysis methods
21.
analysis model
22.
analysis patterns
23.
analysis software
24.
analysis structuring
25.
analytical analysis
26.
analytical flow network analysis
27.
application analysis
28.
asymptotic analysis
29.
audio signal analysis
30.
autocorrelation analysis
31.
bandwidth analysis
32.
banking analysis
33.
barrier analysis
34.
benchmark analysis
35.
bibliometric analysis
36.
big data analysis
37.
big graph analysis
38.
Biochemical analysis
39.
bioelectrical impedance analysis
40.
bioinformatic analysis
41.
biomass composition analysis
42.
break-even analysis
43.
Buckling analysis
44.
business analysis
45.
business process analysis
46.
C. Numerical analysis
47.
cache vulnerability analysis
48.
calculation analysis
49.
case analysis methodology
50.
cash flow analysis
51.
cash-based analysis
52.
Choice-Based Conjoint analysis
53.
circuit analysis
54.
citation analysis
55.
climate analysis
56.
cluster analysis
57.
clustering analysis
58.
CO2 concentration analysis
59.
co-citation analysis
60.
comparative analysis
61.
competition analysis
62.
component dependency analysis
63.
Computational Fluid Dynamics (CFD) analysis
64.
conceptual framework for safety/risk analysis
65.
conformational analysis
66.
content analysis
67.
control system analysis
68.
Convergence analysis
69.
correlation analysis
70.
Cost & benefit analysis
71.
cost analysis
72.
cost benefit analysis
73.
cost efficiency analysis
74.
cost-benefit analysis
75.
cost-effectiveness analysis
76.
costing analysis cataloging processes
77.
country analysis model
78.
coupled and decoupled analysis
79.
co-word analysis
80.
critical disclosure analysis
81.
critical discourse analysis
82.
cross-lagged analysis
83.
cross-language analysis
84.
cryoelectron microscopy single-particle analysis
85.
curricula content analysis
86.
dairy product analysis
87.
data analysis
88.
data envelopment analysis
89.
defect and failure analysis
90.
dependency analysis
91.
descriptive sensory analysis
92.
determinacy analysis
93.
detrended fluctuation analysis (DFA)
94.
deviation analysis
95.
DFM analysis
96.
Differential Power Analysis (DPA)
97.
differential thermal analysis (DTA)
98.
digital image analysis
99.
discrete analysis
100.
discrete spectral analysis
101.
discriminant analysis
102.
dispersion analysis
103.
domain analysis
104.
domain analysis and engineering
105.
donor behavior analysis
106.
droplet analysis
107.
droplet digital image analysis
108.
DuPont analysis
109.
dynamic analysis
110.
dynamic handwriting analysis
111.
EBSD analysis
112.
economic analysis
113.
Economic growth and aggregate productivity regional government analysis
114.
EEG analysis
115.
efficiency analysis
116.
efficiency map analysis
117.
Eigenvalue analysis
118.
electric machine analysis computing
119.
electric network analysis
120.
electromagnetic analysis
121.
electron backscattered diffraction analysis
122.
elemental analysis
123.
ELF Binary Analysis
124.
empirical analysis
125.
energy system analysis
126.
Enrichment analysis
127.
enterprise analysis model (EAM)
128.
enterprise data analysis
129.
environmental analysis
130.
EOF analysis
131.
epistemological analysis
132.
error analysis
133.
event log analysis
134.
evolved gas analysis
135.
Evolved gas analysis (EGA)
136.
ex post analysis
137.
experimental analysis
138.
experimental modal analysis
139.
explicit analysis
140.
exploratory analysis
141.
exploratory data analysis
142.
factor analysis
143.
failure analysis
144.
Failure mode and effect analysis (FMEA)
145.
failure modes and effect analysis
146.
fast independent component analysis
147.
fault analysis
148.
fault analysis model
149.
fault tree analysis
150.
FEA analysis
151.
feasibility analysis
152.
feature analysis
153.
FEM analysis
154.
financial statement analysis
155.
fingerprint analysis
156.
finite element (FE) analysis
157.
finite element analysis
158.
finite element analysis (FEA)
159.
finite element analysis benchmarking
160.
finite-element (FE) analysis
161.
finite-element analysis
162.
flow analysis
163.
flow network analysis
164.
Flux balance analysis
165.
flux balance analysis biotechnological processes
166.
food analysis
167.
forensic analysis
168.
forensic soil analysis
169.
formal concept analysis
170.
Fourier analysis
171.
fractal analysis
172.
framing analysis
173.
free vibration analysis
174.
frequency analysis
175.
frequency domain analysis
176.
frequency response analysis
177.
frequency transform analysis
178.
frequency-domain analysis
179.
functional data analysis
180.
functional gene analysis
181.
functional institutional analysis
182.
fuzzy set qualitative comparative analysis (fsQCA)
183.
Fuzzy-Set Qualitative comparative analysis
184.
gait analysis
185.
gap analysis
186.
gate-level analysis
187.
GC/MS analysis
188.
genome-wide analysis
189.
geospatial analysis
190.
girder analysis
191.
GIS analysis
192.
grading analysis
193.
grain-size analysis
194.
grounding damage analysis
195.
harmonic analysis
196.
hierarchical cluster analysis (statistics)
197.
hierarchical timing analysis
198.
hierarchical two-level analysis
199.
high-speed thermogravimetric analysis
200.
high-temperature differential thermal analysis (HDTA)
201.
high-throughput analysis
202.
human motion analysis
203.
identity structure analysis
204.
Identity Structure Analysis (ISA)
205.
image analysis
206.
impact analysis
207.
index number analysis
208.
inductive qualitative content analysis
209.
information analysis
210.
innovative support analysis
211.
input-output analysis
212.
institutional analysis
213.
integrated system of performance analysis
214.
international comparative analysis
215.
intsitutional analysis
216.
investment analysis
217.
investment impact analysis
218.
isogeometric analysis
219.
kinetic analysis
220.
Lagrangian analysis
221.
landscape analysis
222.
learning analysis
223.
life cycle analysis
224.
life cycle analysis (LCA)
225.
life cycle cost analysis (LCCA)
226.
lifetime analysis
227.
linguistic analysis
228.
link analysis
229.
literature analysis
230.
lithofacies analysis
231.
load-bearing analysis
232.
log file analysis
233.
logical analysis
234.
logico-phaneroscopical analysis
235.
long-term performance analysis
236.
Lyapunov analysis
237.
machinery utilization analysis
238.
macroeconomic analysis
239.
macrofossil analysis
240.
MALDI-TOF mass spectrometry analysis
241.
malware analysis
242.
map analysis
243.
market analysis
244.
market basket analysis
245.
mass analysis
246.
Material flow analysis
247.
materials computational analysis
248.
mathematical analysis
249.
matrix analysis
250.
mediation analysis
251.
melissopalynological analysis
252.
meta-analysis
253.
metabolic control analysis
254.
metabolic flux analysis
255.
metabolic pathways analysis
256.
metagenetic analysis
257.
metagenome analysis
258.
Metagenomic analysis
259.
metallographic analysis
260.
metaphors in analysis
261.
meta-regression analysis
262.
method of analysis
263.
method of signature analysis of outgoing traffic
264.
methods: data analysis
265.
MICMAC analysis
266.
microarray analysis
267.
microfacies analysis
268.
microscope analysis
269.
microscopy image analysis
270.
microstructural analysis
271.
milk analysis
272.
mixing analysis
273.
modal analysis
274.
Module Analysis
275.
Monetary policy analysis
276.
Monte Carlo analysis
277.
motion analysis
278.
motor current signature analysis
279.
multi scale analysis
280.
multi-country analysis
281.
multicriteria analysis
282.
multi-criteria analysis
283.
Multi-criteria decision analysis
284.
multi-criteria-analysis
285.
multifractal analysis
286.
multiphysics analysis
287.
Multiple criteria analysis
288.
multiple factorial analysis
289.
multivariate analysis
290.
multivariate data analysis
291.
network analysis
292.
noise analysis
293.
non-commutative complex analysis
294.
numerical analysis
295.
organic residue analysis
296.
package test analysis
297.
paper micro-zone analysis
298.
Pareto front analysis
299.
particle size analysis
300.
PCA analysis
301.
peptide analysis
302.
performance analysis
303.
performance analysis reconfigurable architectures
304.
PESTEL analysis
305.
phenotypic analysis
306.
phylogenetic analysis
307.
pollen analysis
308.
popularity analysis
309.
post-analysis of rules
310.
Power Mismatch Analysis
311.
power system analysis computing
312.
predictive analysis
313.
principal component analysis
314.
principal component analysis (PCA)
315.
profitability analysis
316.
program analysis
317.
pulse analysis
318.
pulse wave analysis
319.
pulse waveform analysis
320.
qualitative analysis
321.
qualitative and quantitative analysis
322.
qualitative comparison analysis
323.
quantitative analysis
324.
quantitative chemical analysis
325.
quantitative metal analysis
326.
quantitative risk analysis
327.
quantitative XRD analysis
328.
quasi steady state (QSS) analysis
329.
quasi-static analysis
330.
Raman analysis
331.
ramp behavior analysis
332.
ramping behaviour analysis
333.
ratio analysis
334.
Real-time Analysis
335.
real-time vibration analysis
336.
regression analysis
337.
Regression tree analysis
338.
reliability analysis
339.
risk analysis
340.
risk preference analysis
341.
robot-cell performance analysis
342.
robust stability analysis
343.
robustness analysis
344.
RTL analysis
345.
scenario analysis
346.
security analysis
347.
security log analysis
348.
self-analysis
349.
SEM analysis
350.
SEM-analysis
351.
sensitivity analysis
352.
Sensors modeling and analysis
353.
sensory analysis
354.
sentiment analysis
355.
signal analysis
356.
similarity analysis
357.
simulation analysis
358.
simulation and analysis
359.
Simultaneous thermogravimetry (TG) and differential thermal analysis (DTA)
360.
single crystal analysis
361.
singular spectrum analysis (SSA)
362.
situational analysis
363.
sobol sensitivity analysis
364.
social network analysis
365.
social-economic analysis
366.
sociotechnical analysis
367.
spatial analysis
368.
spatial data analysis
369.
spectral analysis
370.
spectrogram analysis
371.
Spectrophotometric analysis
372.
spectrum analysis
373.
spore and pollen analysis
374.
stability analysis
375.
stable isotope analysis
376.
stakeholder analysis
377.
static analysis
378.
static timing analysis
379.
statistical analysis
380.
steady state analysis
381.
steady-state analysis
382.
steady‐state growth space analysis
383.
stedy-state analysis
384.
strength analysis
385.
string analysis
386.
structural analysis
387.
structural decomposition analysis
388.
structure computer analysis
389.
student data analysis
390.
suitability analysis
391.
surface wave analysis
392.
survival analysis
393.
SWOT analysis
394.
symbolic data analysis
395.
symmetry analysis
396.
synchronous reluctance motors thermal analysis
397.
system analysis
398.
system analysis and design
399.
system integrated analysis
400.
system-level analysis
401.
systems integrated analysis
402.
systems-theoretic process analysis (STPA)
403.
task analysis
404.
taste dilution analysis
405.
technical analysis
406.
technoeconomic analysis
407.
Techno-economic analysis
408.
technology analysis
409.
TEM and SEM analysis
410.
TEM-analysis
411.
term-frequency analysis
412.
testability analysis
413.
texture profile analysis
414.
the accuracy of monitoring in analysis of impact impulses
415.
thematic analysis
416.
thematic content analysis
417.
theoretical analysis
418.
thermal analysis
419.
thermal analysis tool
420.
thermodynamic analysis
421.
thermoeconomic analysis
422.
thermogravimetric analysis
423.
time analysis
424.
time domain analysis
425.
time series analysis
426.
timing analysis
427.
tolerance analysis
428.
topographic analysis
429.
training needs analysis
430.
Transdermal analysis patch
431.
transformer analysis
432.
transient analysis
433.
trend analysis
434.
uncertainty analysis
435.
urban analysis
436.
user click behaviour analysis
437.
value network analysis
438.
water analysis
439.
waveform analysis
440.
wavelet analysis
441.
weak signal analysis
442.
wear analysis
443.
western blot analysis
444.
vibrational analysis
445.
wind analysis
446.
visco-thermal analysis
447.
visits registration and statistical analysis
448.
work analysis
449.
X-ray analysis
450.
X-ray crystallographic analysis
451.
X-ray line-profile analysis
452.
XRD structure analysis
453.
XYZ analysis
454.
(computational fluid dynamics) CFD analysis
×
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