Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- reliability 48 Treffer
- languages 24 Treffer
- verification 23 Treffer
- bugs 22 Treffer
- algorithms 20 Treffer
-
45 weitere Werte:
- performance 20 Treffer
- concurrency 15 Treffer
- static analysis 15 Treffer
- concurrency bugs 13 Treffer
- experimentation 13 Treffer
- design 12 Treffer
- testing 11 Treffer
- software 10 Treffer
- software testing 10 Treffer
- bug detection 9 Treffer
- compiler testing 9 Treffer
- empirical study 9 Treffer
- programs 9 Treffer
- debugging 8 Treffer
- measurement 8 Treffer
- automated testing 6 Treffer
- computer 6 Treffer
- computer science 6 Treffer
- computer.software_genre 6 Treffer
- security 6 Treffer
- system 6 Treffer
- bug localization 5 Treffer
- code 5 Treffer
- constraint solving 5 Treffer
- dynamic analysis 5 Treffer
- machine learning 5 Treffer
- 02 engineering and technology 4 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 4 Treffer
- 020207 software engineering 4 Treffer
- bug reports 4 Treffer
- deep learning 4 Treffer
- media_common 4 Treffer
- media_common.quotation_subject 4 Treffer
- metrics 4 Treffer
- models 4 Treffer
- random testing 4 Treffer
- specification 4 Treffer
- symbolic execution 4 Treffer
- systems 4 Treffer
- bug isolation 3 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- complexity 3 Treffer
- concurrency bug 3 Treffer
- concurrent programs 3 Treffer
Verlag
Publikation
- acm sigplan notices 73 Treffer
- acm transactions on software engineering and methodology 32 Treffer
- communications of the acm 19 Treffer
- acm computing surveys 5 Treffer
- acm transactions on storage 5 Treffer
-
14 weitere Werte:
- acm transactions on programming languages and systems 3 Treffer
- acm transactions on architecture and code optimization 2 Treffer
- acm transactions on computer systems 2 Treffer
- acm transactions on sensor networks 2 Treffer
- proceedings of the vldb endowment 2 Treffer
- sigplan notices 2 Treffer
- acm journal on emerging technologies in computing systems 1 Treffer
- acm sigcomm computer communication review 1 Treffer
- acm transactions on computing education 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- acm transactions on information and system security 1 Treffer
- acm transactions on privacy and security 1 Treffer
- formal aspects of computing 1 Treffer
- indrastra global 1 Treffer
Sprache
176 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
2021Online Elektronische Ressource
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff: