Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- software 3 Treffer
- software verification 3 Treffer
- program analysis 2 Treffer
- software engineering 2 Treffer
- task analysis 2 Treffer
-
42 weitere Werte:
- automata 1 Treffer
- benchmark testing 1 Treffer
- cegar 1 Treffer
- code patterns 1 Treffer
- codes 1 Treffer
- complexity theory 1 Treffer
- computational modeling 1 Treffer
- computer science 1 Treffer
- concolic execution 1 Treffer
- decomposition 1 Treffer
- documentation 1 Treffer
- feeds 1 Treffer
- formal verification 1 Treffer
- fuzzing 1 Treffer
- java 1 Treffer
- machine learning 1 Treffer
- machine learning algorithms 1 Treffer
- model checking 1 Treffer
- monte carlo methods 1 Treffer
- monte carlo tree search 1 Treffer
- multi-threading 1 Treffer
- numerical models 1 Treffer
- parallel algorithm 1 Treffer
- property-based testing 1 Treffer
- quality assurance 1 Treffer
- regression 1 Treffer
- search algorithm 1 Treffer
- search engines 1 Treffer
- search problems 1 Treffer
- semantics 1 Treffer
- sensitivity 1 Treffer
- source code search 1 Treffer
- source code similarity 1 Treffer
- stack overflow 1 Treffer
- standards 1 Treffer
- syntactics 1 Treffer
- technological innovation 1 Treffer
- test pattern generators 1 Treffer
- testing 1 Treffer
- time factors 1 Treffer
- tools 1 Treffer
- uncertainty 1 Treffer
Publikation
- 2018 33rd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2018 33rd ieee/acm international conference on 1 Treffer
- 2018 ieee/acm 40th international conference on software engineering (icse), software engineering (icse), 2018 ieee/acm 40th international conference on, icse 1 Treffer
- 2018 ieee/acm 5th international workshop on crowd sourcing in software engineering (csi-se), crowd sourcing in software engineering (csi-se), 2018 ieee/acm 5th international workshop on, csi-se 1 Treffer
- 2020 35th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2020 35th ieee/acm international conference on, ase 1 Treffer
- 2022 ieee/acm 10th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2022 ieee/acm 10th international conference on, formalise 1 Treffer
- Ein weiterer Wert:
6 Treffer
-
In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022-05-01, S. 536-548Online KonferenzZugriff:
-
In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022-05-01, S. 113-123Online KonferenzZugriff:
-
In: 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020-09-01, S. 54-65Online KonferenzZugriff:
-
In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018-09-01, S. 634-644Online KonferenzZugriff:
-
In: 2018 IEEE/ACM 5th International Workshop on Crowd Sourcing in Software Engineering (CSI-SE), 2018-05-01, S. 1-8Online KonferenzZugriff:
-
In: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018-05-01, S. 1182-1193Online KonferenzZugriff: