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

mutation analysis (keyword)

types of item

keyword 466