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