Year of publication
Type of material
Licence
Language
1–20 of 120 hits
Sort by:
Sort by:
-
Proceedings of the 1st International Workshop on Test Oracles
TIBKAT | 2021|Keywords: Software verification and validation -
Quantum adiabatic machine learning
Online Contents | 2012|Keywords: Software verification and validation -
Using genetic algorithms for early schedulability analysis and stress testing in real-time systems
Online Contents | 2006|Keywords: Software verification and validation -
Using genetic algorithms for early schedulability analysis and stress testing in real-time systems
Online Contents | 2006|Keywords: Software verification and validation -
Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems
TIBKAT | 2023|Keywords: Software verification and validation -
Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation
TIBKAT | 2021|Keywords: Software verification and validation -
Proceedings of the IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems
TIBKAT | 2020|Keywords: Software verification and validation -
Proceedings of the 13th International Workshop on Automation of Software Test
TIBKAT | 2018|Keywords: Software verification and validation -
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems
TIBKAT | 2016|Keywords: Software verification and validation -
Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing
TIBKAT | 2019|Keywords: Software verification and validation -
umd-verification: Automation of Software Validation for the EGI Federated e-Infrastructure
Free accessBASE | 2018|Keywords: Software verification and validation -
Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test
TIBKAT | 2022|Keywords: Software verification and validation -
Towards model checking executable UML specifications in mCRL2
Online Contents | 2010|Keywords: Software verification and validation -
Proceedings of the 2020 9th International Conference on Software and Information Engineering (ICSIE)
TIBKAT | 2020Keywords: Software verification and validation -
Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
TIBKAT | 2020|Keywords: Software verification and validation -
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
TIBKAT | 2019|Keywords: Software verification and validation -
Implementation of cyber security for safety systems of nuclear facilities
Elsevier | 2015|Keywords: Software verification and validation -
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
TIBKAT | 2017|Keywords: Software verification and validation -
Property-Based Testing for Visualization Development
DataCite | 2021|Keywords: Software verification and validation -
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems
TIBKAT | 2021|Keywords: Software verification and validation
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.