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/184)
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, 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

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. 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. 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