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

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (2/152)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

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
2

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 2, displaying 1 - 2

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

1. Department of Software Science, Tallinn University of Technology

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu