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. proximity analysis
330. pulse analysis
331. Pulse shape analysis
332. pulse wave analysis
333. pulse waveform analysis
334. qualitative analysis
335. qualitative and quantitative analysis
336. qualitative comparison analysis
337. qualitative network analysis
338. quantitative analysis
339. quantitative chemical analysis
340. quantitative metal analysis
341. quantitative risk analysis
342. quantitative XRD analysis
343. quasi steady state (QSS) analysis
344. quasi-static analysis
345. Raman analysis
346. ramp behavior analysis
347. ramping behaviour analysis
348. ratio analysis
349. Real-time Analysis
350. real-time vibration analysis
351. regression analysis
352. Regression tree analysis
353. reliability analysis
354. risk analysis
355. risk preference analysis
356. robot-cell performance analysis
357. robust stability analysis
358. robustness analysis
359. RTL analysis
360. scenario analysis
361. security analysis
362. security log analysis
363. self-analysis
364. SEM analysis
365. SEM-analysis
366. sensitivity analysis
367. Sensors modeling and analysis
368. sensory analysis
369. sentiment analysis
370. sequence analysis
371. signal analysis
372. similarity analysis
373. simulation analysis
374. simulation and analysis
375. Simultaneous thermogravimetry (TG) and differential thermal analysis (DTA)
376. single crystal analysis
377. singular spectrum analysis (SSA)
378. situational analysis
379. sobol sensitivity analysis
380. social network analysis
381. social-economic analysis
382. sociotechnical analysis
383. spatial analysis
384. spatial data analysis
385. spatio-temporal analysis
386. spectral analysis
387. spectrogram analysis
388. Spectrophotometric analysis
389. spectrum analysis
390. spore and pollen analysis
391. stability analysis
392. stable isotope analysis
393. stakeholder analysis
394. static analysis
395. static timing analysis
396. statistical analysis
397. steady state analysis
398. steady-state analysis
399. steady‐state growth space analysis
400. stedy-state analysis
401. strength analysis
402. string analysis
403. structural analysis
404. structural decomposition analysis
405. structure computer analysis
406. student data analysis
407. suitability analysis
408. surface wave analysis
409. survival analysis
410. SWOT analysis
411. symbolic data analysis
412. symmetry analysis
413. synchronous reluctance motors thermal analysis
414. system analysis
415. system analysis and design
416. system integrated analysis
417. system-level analysis
418. systems integrated analysis
419. systems-theoretic process analysis (STPA)
420. task analysis
421. taste dilution analysis
422. technical analysis
423. technoeconomic analysis
424. Techno-economic analysis
425. technology analysis
426. TEM and SEM analysis
427. TEM-analysis
428. term-frequency analysis
429. testability analysis
430. texture profile analysis
431. the accuracy of monitoring in analysis of impact impulses
432. thematic analysis
433. thematic content analysis
434. theoretical analysis
435. thermal analysis
436. thermal analysis tool
437. thermodynamic analysis
438. thermoeconomic analysis
439. thermogravimetric analysis
440. time analysis
441. time domain analysis
442. time series analysis
443. timing analysis
444. tolerance analysis
445. topographic analysis
446. training needs analysis
447. Transdermal analysis patch
448. transformer analysis
449. transient analysis
450. trend analysis
451. uncertainty analysis
452. urban analysis
453. user click behaviour analysis
454. value network analysis
455. water analysis
456. waveform analysis
457. wavelet analysis
458. weak signal analysis
459. wear analysis
460. western blot analysis
461. vibrational analysis
462. wind analysis
463. visco-thermal analysis
464. visits registration and statistical analysis
465. work analysis
466. X-ray analysis
467. X-ray crystallographic analysis
468. X-ray line-profile analysis
469. XRD structure analysis
470. XYZ analysis
471. (computational fluid dynamics) CFD analysis

mutation analysis (keyword)

types of item

keyword 471