Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Software testing, verification & reliability, 2020-03, Vol.30 (2), p.n/a
2020
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.247-269
2017
Volltextzugriff (PDF)

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, p.157-166
2020
Volltextzugriff (PDF)

Information and software technology, 2011-11, Vol.53 (11), p.1263-1273
2011
Volltextzugriff (PDF)


Information and software technology, 2017-01, Vol.81, p.52-64
2017
Volltextzugriff (PDF)

Software, practice & experience, 2011-02, Vol.41 (2), p.155-166
2011
Volltextzugriff (PDF)

Software testing, verification & reliability, 2012-11, Vol.22 (7), p.507-526
2012
Volltextzugriff (PDF)

Lecture notes in computer science, 1999, p.146-162
1999
Volltextzugriff (PDF)

Conformance testing
Lecture notes in computer science, 2005, p.87-111
2005
Volltextzugriff (PDF)

2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2021, p.24-35
2021
Volltextzugriff (PDF)

2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2024, p.1-10
2024
Volltextzugriff (PDF)

2024 IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning (DeepTest), 2024, p.25-32
2024
Volltextzugriff (PDF)

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015, p.1-10
2015
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.1-21
2003
Volltextzugriff (PDF)

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2019, p.200-209
2019
Volltextzugriff (PDF)

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, p.62-73
2020
Volltextzugriff (PDF)

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2018, p.185-193
2018
Volltextzugriff (PDF)


2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2016, p.17-18
2016
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.108-125
2003
Volltextzugriff (PDF)


UML and Concurrency
Abstract State Machines 2003, 2003, p.151-166
2003
Volltextzugriff (PDF)

2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2015, p.80-89
2015
Volltextzugriff (PDF)
Aktive Filter
ThemaSoftware