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