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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/414)
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
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
journal article
Number of records 2, displaying
1 - 2
keyword
414
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.
algebraic analysis
16.
amino acids analysis
17.
analysis
18.
analysis costs
19.
analysis methods
20.
analysis model
21.
analysis patterns
22.
analysis software
23.
analysis structuring
24.
analytical analysis
25.
analytical flow network analysis
26.
application analysis
27.
audio signal analysis
28.
autocorrelation analysis
29.
bandwidth analysis
30.
banking analysis
31.
barrier analysis
32.
benchmark analysis
33.
bibliometric analysis
34.
big data analysis
35.
big graph analysis
36.
Biochemical analysis
37.
bioelectrical impedance analysis
38.
bioinformatic analysis
39.
biomass composition analysis
40.
break-even analysis
41.
Buckling analysis
42.
business analysis
43.
business process analysis
44.
C. Numerical analysis
45.
cache vulnerability analysis
46.
calculation analysis
47.
case analysis methodology
48.
cash flow analysis
49.
cash-based analysis
50.
circuit analysis
51.
citation analysis
52.
climate analysis
53.
cluster analysis
54.
CO2 concentration analysis
55.
co-citation analysis
56.
comparative analysis
57.
competition analysis
58.
component dependency analysis
59.
Computational Fluid Dynamics (CFD) analysis
60.
conformational analysis
61.
content analysis
62.
control system analysis
63.
Convergence analysis
64.
correlation analysis
65.
Cost & benefit analysis
66.
cost analysis
67.
cost benefit analysis
68.
cost efficiency analysis
69.
cost-benefit analysis
70.
cost-effectiveness analysis
71.
costing analysis cataloging processes
72.
country analysis model
73.
coupled and decoupled analysis
74.
co-word analysis
75.
critical disclosure analysis
76.
cross-lagged analysis
77.
cross-language analysis
78.
cryoelectron microscopy single-particle analysis
79.
dairy product analysis
80.
data analysis
81.
data envelopment analysis
82.
defect and failure analysis
83.
dependency analysis
84.
descriptive sensory analysis
85.
determinacy analysis
86.
detrended fluctuation analysis (DFA)
87.
deviation analysis
88.
DFM analysis
89.
Differential Power Analysis (DPA)
90.
differential thermal analysis (DTA)
91.
digital image analysis
92.
discrete analysis
93.
discrete spectral analysis
94.
discriminant analysis
95.
dispersion analysis
96.
domain analysis
97.
domain analysis and engineering
98.
donor behavior analysis
99.
droplet analysis
100.
droplet digital image analysis
101.
DuPont analysis
102.
dynamic analysis
103.
dynamic handwriting analysis
104.
EBSD analysis
105.
economic analysis
106.
Economic growth and aggregate productivity regional government analysis
107.
EEG analysis
108.
efficiency analysis
109.
efficiency map analysis
110.
Eigenvalue analysis
111.
electric machine analysis computing
112.
electromagnetic analysis
113.
electron backscattered diffraction analysis
114.
elemental analysis
115.
ELF Binary Analysis
116.
empirical analysis
117.
energy system analysis
118.
Enrichment analysis
119.
enterprise analysis model (EAM)
120.
enterprise data analysis
121.
environmental analysis
122.
EOF analysis
123.
epistemological analysis
124.
error analysis
125.
event log analysis
126.
evolved gas analysis
127.
Evolved gas analysis (EGA)
128.
ex post analysis
129.
experimental analysis
130.
experimental modal analysis
131.
explicit analysis
132.
exploratory analysis
133.
exploratory data analysis
134.
factor analysis
135.
failure analysis
136.
Failure mode and effect analysis (FMEA)
137.
failure modes and effect analysis
138.
fast independent component analysis
139.
fault analysis
140.
fault analysis model
141.
Fault Tree Analysis
142.
FEA analysis
143.
feasibility analysis
144.
feature analysis
145.
FEM analysis
146.
financial statement analysis
147.
fingerprint analysis
148.
finite element (FE) analysis
149.
finite element analysis
150.
finite element analysis (FEA)
151.
finite-element (FE) analysis
152.
finite-element analysis
153.
flow analysis
154.
flow network analysis
155.
Flux balance analysis
156.
flux balance analysis biotechnological processes
157.
food analysis
158.
forensic analysis
159.
forensic soil analysis
160.
formal concept analysis
161.
Fourier analysis
162.
fractal analysis
163.
framing analysis
164.
free vibration analysis
165.
frequency analysis
166.
frequency domain analysis
167.
frequency response analysis
168.
frequency-domain analysis
169.
functional data analysis
170.
functional gene analysis
171.
functional institutional analysis
172.
fuzzy set qualitative comparative analysis (fsQCA)
173.
gait analysis
174.
gap analysis
175.
gate-level analysis
176.
GC/MS analysis
177.
geospatial analysis
178.
girder analysis
179.
GIS analysis
180.
grading analysis
181.
grain-size analysis
182.
grounding damage analysis
183.
harmonic analysis
184.
hierarchical cluster analysis (statistics)
185.
hierarchical timing analysis
186.
hierarchical two-level analysis
187.
high-speed thermogravimetric analysis
188.
high-temperature differential thermal analysis (HDTA)
189.
high-throughput analysis
190.
identity structure analysis
191.
Identity Structure Analysis (ISA)
192.
image analysis
193.
impact analysis
194.
index number analysis
195.
innovative support analysis
196.
input-output analysis
197.
institutional analysis
198.
integrated system of performance analysis
199.
international comparative analysis
200.
investment analysis
201.
investment impact analysis
202.
isogeometric analysis
203.
kinetic analysis
204.
Lagrangian analysis
205.
landscape analysis
206.
learning analysis
207.
life cycle analysis
208.
life cycle analysis (LCA)
209.
life cycle cost analysis (LCCA)
210.
lifetime analysis
211.
linguistic analysis
212.
link analysis
213.
literature analysis
214.
lithofacies analysis
215.
load-bearing analysis
216.
log file analysis
217.
logical analysis
218.
logico-phaneroscopical analysis
219.
long-term performance analysis
220.
Lyapunov analysis
221.
machinery utilization analysis
222.
macroeconomic analysis
223.
MALDI-TOF mass spectrometry analysis
224.
malware analysis
225.
map analysis
226.
market analysis
227.
market basket analysis
228.
mass analysis
229.
Material flow analysis
230.
mathematical analysis
231.
matrix analysis
232.
mediation analysis
233.
melissopalynological analysis
234.
meta-analysis
235.
metabolic control analysis
236.
metabolic flux analysis
237.
metagenome analysis
238.
Metagenomic analysis
239.
metallographic analysis
240.
metaphors in analysis
241.
meta-regression analysis
242.
method of analysis
243.
method of signature analysis of outgoing traffic
244.
MICMAC analysis
245.
microarray analysis
246.
microfacies analysis
247.
microscopy image analysis
248.
microstructural analysis
249.
milk analysis
250.
mixing analysis
251.
modal analysis
252.
Module Analysis
253.
Monetary policy analysis
254.
Monte Carlo analysis
255.
motion analysis
256.
motor current signature analysis
257.
multi scale analysis
258.
multi-country analysis
259.
multicriteria analysis
260.
multi-criteria analysis
261.
Multi-criteria decision analysis
262.
multifractal analysis
263.
multiphysics analysis
264.
Multiple criteria analysis
265.
multivariate analysis
266.
multivariate data analysis
267.
network analysis
268.
non-commutative complex analysis
269.
numerical analysis
270.
organic residue analysis
271.
package test analysis
272.
paper micro-zone analysis
273.
particle size analysis
274.
PCA analysis
275.
peptide analysis
276.
performance analysis
277.
performance analysis reconfigurable architectures
278.
PESTEL analysis
279.
phenotypic analysis
280.
phylogenetic analysis
281.
popularity analysis
282.
post-analysis of rules
283.
power system analysis computing
284.
predictive analysis
285.
principal component analysis
286.
principal component analysis (PCA)
287.
profitability analysis
288.
program analysis
289.
pulse analysis
290.
pulse wave analysis
291.
pulse waveform analysis
292.
qualitative analysis
293.
qualitative and quantitative analysis
294.
qualitative comparison analysis
295.
quantitative analysis
296.
quantitative chemical analysis
297.
quantitative metal analysis
298.
quantitative risk analysis
299.
quantitative XRD analysis
300.
quasi steady state (QSS) analysis
301.
quasi-static analysis
302.
Raman analysis
303.
ramp behavior analysis
304.
ramping behaviour analysis
305.
ratio analysis
306.
Real-time Analysis
307.
regression analysis
308.
Regression tree analysis
309.
reliability analysis
310.
risk analysis
311.
risk preference analysis
312.
robot-cell performance analysis
313.
robust stability analysis
314.
robustness analysis
315.
RTL analysis
316.
scenario analysis
317.
security log analysis
318.
self-analysis
319.
SEM analysis
320.
sensitivity analysis
321.
Sensors modeling and analysis
322.
sensory analysis
323.
sentiment analysis
324.
signal analysis
325.
similarity analysis
326.
simulation analysis
327.
Simultaneous thermogravimetry (TG) and differential thermal analysis (DTA)
328.
singular spectrum analysis (SSA)
329.
situational analysis
330.
sobol sensitivity analysis
331.
social network analysis
332.
social-economic analysis
333.
spatial analysis
334.
spatial data analysis
335.
spectral analysis
336.
spectrogram analysis
337.
spectrum analysis
338.
spore and pollen analysis
339.
stability analysis
340.
stable isotope analysis
341.
stakeholder analysis
342.
static analysis
343.
static timing analysis
344.
statistical analysis
345.
steady state analysis
346.
steady-state analysis
347.
steady‐state growth space analysis
348.
stedy-state analysis
349.
strength analysis
350.
string analysis
351.
structural analysis
352.
structural decomposition analysis
353.
structure computer analysis
354.
student data analysis
355.
suitability analysis
356.
surface wave analysis
357.
survival analysis
358.
SWOT analysis
359.
symbolic data analysis
360.
symmetry analysis
361.
synchronous reluctance motors thermal analysis
362.
system analysis
363.
system analysis and design
364.
system integrated analysis
365.
system-level analysis
366.
systems integrated analysis
367.
systems-theoretic process analysis (STPA)
368.
task analysis
369.
taste dilution analysis
370.
technical analysis
371.
technoeconomic analysis
372.
Techno-economic analysis
373.
technology analysis
374.
TEM and SEM analysis
375.
term-frequency analysis
376.
testability analysis
377.
texture profile analysis
378.
the accuracy of monitoring in analysis of impact impulses
379.
thematic analysis
380.
theoretical analysis
381.
thermal analysis
382.
thermal analysis tool
383.
thermodynamic analysis
384.
thermogravimetric analysis
385.
time analysis
386.
time domain analysis
387.
time series analysis
388.
timing analysis
389.
tolerance analysis
390.
topographic analysis
391.
training needs analysis
392.
Transdermal analysis patch
393.
transformer analysis
394.
transient analysis
395.
trend analysis
396.
uncertainty analysis
397.
urban analysis
398.
user click behaviour analysis
399.
value network analysis
400.
water analysis
401.
waveform analysis
402.
wavelet analysis
403.
wear analysis
404.
western blot analysis
405.
vibrational analysis
406.
wind analysis
407.
visco-thermal analysis
408.
visits registration and statistical analysis
409.
X-ray analysis
410.
X-ray crystallographic analysis
411.
X-ray line-profile analysis
412.
XRD structure analysis
413.
XYZ analysis
414.
(computational fluid dynamics) CFD analysis
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT