Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

software testing (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 4
Look more.. (3/189)
Export

export all inquiry results (4)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article 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

book article EST / book article ENG
2

book article EST / book article ENG

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolo; Voorneveld, Niels Frits WillemProceedings 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

book article EST / book article ENG
3

book article

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

book article
4

book article

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

book article

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

1. Testing and Calibration Centre of TUT
2. Department of Software Science

1. Department of Software Science, Tallinn University of Technology

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu