Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

software testing (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 4
Vaata veel.. (2/180)
Ekspordi

ekspordi kõik päringu tulemused (4)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

FoREnSiC– an automatic debugging environment for C programsBloem, Roderick; Raik, Jaan; Repinski, UrmasEighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]2013 / p. 260-265 : ill https://doi.org/10.1007/978-3-642-39611-3_24 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
2

artikkel kogumikus EST / artikkel kogumikus ENG

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolò; Voorneveld, Niels F.W.Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
3

artikkel kogumikus

Iterative optimization of hyperparameter-based metamorphic transformationsSudheerbabu, Gaadha; Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)2024 / p. 13-20 https://doi.org/10.1109/ICSTW60967.2024.00016 Article at Scopus Article at WOS

artikkel kogumikus
4

artikkel kogumikus

Test driven domain modellingPiho, Gunnar; Tepandi, Jaak; Parman, Marko; Puusep, Viljam; Roost, MartMIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings2011 / p. 576-581 https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5967121

artikkel kogumikus

Kirjeid leitud 4, kuvan 1 - 4

1. software testing
2. software-in-the-loop (SIL) testing
3. accelerated testing
4. acoustomechanical testing
5. anaerobic testing
6. aspect-oriented testing
7. assessment and testing
8. at-speed testing
9. benchmark testing
10. Berridge testing
11. burst testing
12. cancer genomic testing
13. compliance testing
14. compositional testing
15. computer aided testing
16. cone heater testing
17. conformance testing
18. courses on electronic testing and design
19. cybersecurity testing
20. D. non-destructive testing
21. deformation testing
22. design field testing
23. destructive testing
24. eddy current testing
25. eddy current testing (ECT)
26. erosion testing
27. fabric testing
28. fatigue testing
29. fire testing
30. hierarchical testing
31. hypotheses testing
32. Implementation-Independent Testing of Microprocessors
33. integration testing
34. laboratory scale testing
35. load testing
36. macro mechanical testing and green surface tribology
37. material testing
38. materials testing
39. measurement and testing
40. mechanical testing
41. memory testing
42. metamorphic testing
43. microprocessor testing
44. model based testing
45. model-based mutation testing
46. model-based testing
47. mutation testing
48. network-testing
49. non destructive testing
50. nondestructive testing
51. non-destructive testing
52. non-destructive testing (NDT)
53. On-site drug testing
54. on-site testing
55. pin on disc wear testing
56. PMU calibration testing
57. PMU testing
58. point-of-care testing
59. processor core testing
60. processor testing
61. real-time HiL testing
62. regression testing
63. RISC processor testing
64. robustness testing
65. safety and security testing
66. scenario testing
67. scratch testing
68. security testing
69. shear testing
70. small-scale fire testing
71. stand-alone testing
72. stress-testing
73. substation testing methods
74. system testing
75. tensile testing
76. testing
77. testing methods
78. testing of digital devices
79. testing of generator
80. testing of phasor measurement units
81. two-dimensional array testing
82. ultrasonic testing
83. wafer testing
84. wear testing
85. vibration testing
86. virtual testing
87. advanced programming and software
88. agent software architecture
89. agent-oriented software engineering
90. Agile software engineering
91. AI based CAD software
92. analysis software
93. Anonymization software
94. ARIS software
95. Automated Synthesis of Software-based Self-test
96. bernese software
97. business software
98. CFD (computational fluid dynamics) software
99. client-vendor relationship in software development
100. communicating hardware/software systems
101. communicating software/hardware systems
102. computer aided software engineering
103. computer software
104. Computer software and hardware
105. COMSOL software
106. educational software
107. embedded software
108. energy simulation software
109. free software
110. GIS software
111. hardware/software co-design
112. hardware-software integration in robotics
113. interoperability and evolution of healthcare models and software systems
114. invasive software
115. large software projects
116. learning software agents
117. model-based software development
118. model-driven software engineering
119. ontology driven software development
120. ontology-based software engineering
121. open source software
122. optimization software
123. plagiarism software
124. public domain software
125. RETScreen software
126. self learning software
127. sensor software
128. simulation software "Delphin"
129. simulations with software
130. social software
131. software
132. software architecture
133. software architecture improvement
134. software based self-test
135. software companies
136. software complexity
137. software containers
138. software defined networking
139. software defined networking (SDN)
140. software defined networks (SDN)
141. software deﬁned radio
142. software defined radio (SDR)
143. software design
144. software development
145. software development concepts
146. software documentation
147. software engineering
148. software engineering education
149. Software engineering methodology evaluation
150. software engineering practises
151. software factory
152. software for measurements
153. software implementation
154. software level TMR
155. software modeling
156. software outsourcing
157. Software packages
158. software project management
159. software qualification
160. software quality
161. software quality attributes
162. software quality characteristics
163. software refactoring
164. software sector
165. software security
166. software security level
167. software security subcharacteristics
168. software tools for robot programming
169. software/hardware partitioning
170. software/hardware systems
171. software-based self-test
172. software-based self-test (SBST)
173. software-defined network
174. software-defined networking
175. software-defined networking (SDN)
176. SOLIDWORKS software
177. SysML modeling software
178. system-to-software integrity
179. triptych software engineering

1. Department of Software Science, Tallinn University of Technology

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu