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