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

mutation analysis (keyword)

types of item

keyword 458