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/182)
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. multi-scenario testing
48. mutation testing
49. network-testing
50. non destructive testing
51. nondestructive testing
52. non-destructive testing
53. non-destructive testing (NDT)
54. On-site drug testing
55. on-site testing
56. pin on disc wear testing
57. PMU calibration testing
58. PMU testing
59. point-of-care testing
60. processor core testing
61. processor testing
62. real-time HiL testing
63. regression testing
64. RISC processor testing
65. robustness testing
66. safety and security testing
67. scenario testing
68. Scenario-Based Testing
69. scratch testing
70. security testing
71. shear testing
72. small-scale fire testing
73. stand-alone testing
74. stress-testing
75. substation testing methods
76. system testing
77. tensile testing
78. testing
79. testing methods
80. testing of digital devices
81. testing of generator
82. testing of phasor measurement units
83. two-dimensional array testing
84. ultrasonic testing
85. wafer testing
86. wear testing
87. vibration testing
88. virtual testing
89. advanced programming and software
90. agent software architecture
91. agent-oriented software engineering
92. Agile software engineering
93. AI based CAD software
94. analysis software
95. Anonymization software
96. ARIS software
97. Automated Synthesis of Software-based Self-test
98. bernese software
99. business software
100. CFD (computational fluid dynamics) software
101. client-vendor relationship in software development
102. communicating hardware/software systems
103. communicating software/hardware systems
104. computer aided software engineering
105. computer software
106. Computer software and hardware
107. COMSOL software
108. educational software
109. embedded software
110. energy simulation software
111. free software
112. GIS software
113. hardware/software co-design
114. hardware-software integration in robotics
115. interoperability and evolution of healthcare models and software systems
116. invasive software
117. large software projects
118. learning software agents
119. model-based software development
120. model-driven software engineering
121. ontology driven software development
122. ontology-based software engineering
123. open source software
124. optimization software
125. plagiarism software
126. public domain software
127. RETScreen software
128. self learning software
129. sensor software
130. simulation software "Delphin"
131. simulations with software
132. social software
133. software
134. software architecture
135. software architecture improvement
136. software based self-test
137. software companies
138. software complexity
139. software containers
140. software defined networking
141. software defined networking (SDN)
142. software defined networks (SDN)
143. software deﬁned radio
144. software defined radio (SDR)
145. software design
146. software development
147. software development concepts
148. software documentation
149. software engineering
150. software engineering education
151. Software engineering methodology evaluation
152. software engineering practises
153. software factory
154. software for measurements
155. software implementation
156. software level TMR
157. software modeling
158. software outsourcing
159. Software packages
160. software project management
161. software qualification
162. software quality
163. software quality attributes
164. software quality characteristics
165. software refactoring
166. software sector
167. software security
168. software security level
169. software security subcharacteristics
170. software tools for robot programming
171. software/hardware partitioning
172. software/hardware systems
173. software-based self-test
174. software-based self-test (SBST)
175. software-defined network
176. software-defined networking
177. software-defined networking (SDN)
178. SOLIDWORKS software
179. SysML modeling software
180. system-to-software integrity
181. 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