Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer software testing 12 Treffer
- software testing 10 Treffer
- software development tools 8 Treffer
- competition 6 Treffer
- technology transfer 6 Treffer
-
45 weitere Werte:
- test-case generation 6 Treffer
- comparative evaluation 4 Treffer
- contests 4 Treffer
- information sharing 4 Treffer
- international competition 4 Treffer
- model checking 4 Treffer
- software engineering 4 Treffer
- software tools 4 Treffer
- software verification 4 Treffer
- test-comp 4 Treffer
- adaptation 2 Treffer
- adaptive testing 2 Treffer
- artificial intelligence 2 Treffer
- benchmarking 2 Treffer
- bounded model checking 2 Treffer
- challenge 2 Treffer
- challenges 2 Treffer
- checkers 2 Treffer
- coevolution 2 Treffer
- competitions 2 Treffer
- computer software quality control 2 Treffer
- conference papers 2 Treffer
- construction 2 Treffer
- container 2 Treffer
- cooperative societies 2 Treffer
- coverage analysis 2 Treffer
- cyber-physical system 2 Treffer
- deductive verification 2 Treffer
- engineering systems 2 Treffer
- formal verification 2 Treffer
- fuzzing 2 Treffer
- linux operating systems 2 Treffer
- machine learning 2 Treffer
- natural language processing 2 Treffer
- plains 2 Treffer
- process control 2 Treffer
- process control systems 2 Treffer
- program analysis 2 Treffer
- quality assurance 2 Treffer
- quantitative analysis 2 Treffer
- random testing 2 Treffer
- reactive system 2 Treffer
- refinement 2 Treffer
- regression analysis 2 Treffer
- runtime analysis 2 Treffer
Sprache
10 Treffer
-
In: International Journal on Software Tools for Technology Transfer, Jg. 23 (2021-12-01), Heft 6, S. 829-832Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 23 (2021-12-01), Heft 6, S. 833-846Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 23 (2021-12-01), Heft 6, S. 847-851Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 23 (2021-06-01), Heft 3, S. 313-333Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 23 (2021-12-01), Heft 6, S. 879-881Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 23 (2021-12-01), Heft 6, S. 871-873Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 22 (2020-08-01), Heft 4, S. 457-476Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 22 (2020-12-01), Heft 6, S. 685-687Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 21 (2019-02-01), Heft 1, S. 1-29Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 24 (2022-08-01), Heft 4, S. 661-661Online academicJournalZugriff: