Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
software testing (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
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..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(2/154)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article ENG
Inductive and coinductive predicate liftings for effectful programs
Veltri, Niccolò
;
Voorneveld, Niels F.W.
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
2021
/
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 modelling
Piho, Gunnar
;
Tepandi, Jaak
;
Parman, Marko
;
Puusep, Viljam
;
Roost, Mart
MIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings
2011
/
p. 576-581
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5967121
book article
Number of records 2, displaying
1 - 2
keyword
153
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.
integration testing
28.
laboratory scale testing
29.
load testing
30.
macro mechanical testing and green surface tribology
31.
material testing
32.
materials testing
33.
measurement and testing
34.
mechanical testing
35.
memory testing
36.
metamorphic testing
37.
microprocessor testing
38.
model based testing
39.
model-based mutation testing
40.
model-based testing
41.
mutation testing
42.
network-testing
43.
non destructive testing
44.
nondestructive testing
45.
non-destructive testing
46.
on-site testing
47.
pin on disc wear testing
48.
PMU calibration testing
49.
PMU testing
50.
point-of-care testing
51.
processor core testing
52.
processor testing
53.
real-time HiL testing
54.
regression testing
55.
RISC processor testing
56.
robustness testing
57.
scenario testing
58.
scratch testing
59.
security testing
60.
small-scale fire testing
61.
stand-alone testing
62.
stress-testing
63.
substation testing methods
64.
system testing
65.
tensile testing
66.
testing
67.
testing methods
68.
testing of digital devices
69.
testing of generator
70.
testing of phasor measurement units
71.
two-dimensional array testing
72.
wafer testing
73.
wear testing
74.
vibration testing
75.
virtual testing
76.
advanced programming and software
77.
agent software architecture
78.
agent-oriented software engineering
79.
Agile software engineering
80.
AI based CAD software
81.
analysis software
82.
Anonymization software
83.
ARIS software
84.
bernese software
85.
business software
86.
CFD (computational fluid dynamics) software
87.
client-vendor relationship in software development
88.
communicating hardware/software systems
89.
communicating software/hardware systems
90.
computer software
91.
COMSOL software
92.
educational software
93.
embedded software
94.
energy simulation software
95.
free software
96.
GIS software
97.
hardware/software co-design
98.
interoperability and evolution of healthcare models and software systems
99.
invasive software
100.
large software projects
101.
learning software agents
102.
model-based software development
103.
ontology driven software development
104.
ontology-based software engineering
105.
open source software
106.
optimization software
107.
plagiarism software
108.
public domain software
109.
RETScreen software
110.
self learning software
111.
sensor software
112.
simulation software "Delphin"
113.
simulations with software
114.
social software
115.
software
116.
software architecture
117.
software based self-test
118.
software companies
119.
software complexity
120.
software containers
121.
software defined networking
122.
software defined networking (SDN)
123.
software defined networks (SDN)
124.
software defined radio
125.
software design
126.
software development
127.
software development concepts
128.
software engineering
129.
software engineering education
130.
Software engineering methodology evaluation
131.
software engineering practises
132.
software factory
133.
software for measurements
134.
software implementation
135.
software level TMR
136.
software modeling
137.
software outsourcing
138.
Software packages
139.
software project management
140.
software qualification
141.
software quality
142.
software sector
143.
software/hardware partitioning
144.
software/hardware systems
145.
software-based self-test
146.
software-based self-test (SBST)
147.
software-defined network
148.
software-defined networking
149.
software-defined networking (SDN)
150.
SOLIDWORKS software
151.
SysML modeling software
152.
system-to-software integrity
153.
triptych software engineering
author
1
1.
Department of Software Science, Tallinn University of Technology
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT