Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

software testing (keyword)

—

—

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