Searching - TalTech Research Portal

display

sort
1

book article

Mutation analysis for systemC designs at TLMGuarnieri, Valerio; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, Hanno; Raik, Jaan; Jenihhin, Maksim; Ubar, Raimund-Johannes12th IEEE Latin American Test Workshop (LATW) : Porto de Galinhas, Brasil, 27-30 March 20112011 / [6] p https://ieeexplore.ieee.org/document/5985925

book article
2

journal article

On the reuse of TLM mutation analysis at RTLGuarnieri, Valerio; Hantson, Hanno; Raik, Jaan; Jenihhin, Maksim; Ubar, Raimund-JohannesJournal of electronic testing : theory and applications2012 / p. 435-448 : ill https://link.springer.com/article/10.1007/s10836-012-5303-6

journal article

Number of records 2, displaying 1 - 2

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

mutation analysis (keyword)

types of item

keyword 469