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