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

mutation analysis (keyword)

types of item

keyword 443