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/163)
Export

export all inquiry results (4)
Save TXT fail

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