Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- machine learning 11 Treffer
- bug finding 7 Treffer
- bug prediction 7 Treffer
- static analysis 7 Treffer
- bug detection 6 Treffer
-
45 weitere Werte:
- bug localization 6 Treffer
- bug report 6 Treffer
- deep learning 6 Treffer
- software bugs 6 Treffer
- bug bounty 5 Treffer
- concurrency 5 Treffer
- model checking 5 Treffer
- sbse 5 Treffer
- benchmarking 4 Treffer
- bug 4 Treffer
- bugs 4 Treffer
- code metrics 4 Treffer
- program analysis 4 Treffer
- software testing 4 Treffer
- software validation 4 Treffer
- bug fixing 3 Treffer
- bug reports 3 Treffer
- competition 3 Treffer
- concurrency bugs 3 Treffer
- github 3 Treffer
- mechanism design 3 Treffer
- software engineering 3 Treffer
- software maintenance 3 Treffer
- software quality 3 Treffer
- software verification 3 Treffer
- symbolic execution 3 Treffer
- test coverage 3 Treffer
- test validation 3 Treffer
- test-case generation 3 Treffer
- automated debugging 2 Treffer
- automated testing 2 Treffer
- benchexec 2 Treffer
- bug classification 2 Treffer
- bug triage 2 Treffer
- bug triaging 2 Treffer
- counterexample explanation 2 Treffer
- crowdsourcing 2 Treffer
- data mining 2 Treffer
- decision tree 2 Treffer
- developer recommendation 2 Treffer
- empirical software engineering 2 Treffer
- entropy 2 Treffer
- event monitoring 2 Treffer
- fault attack 2 Treffer
- fault detection 2 Treffer
Verlag
Publikation
- computational science and its applications - iccsa 2021 - 21st international conference, proceedings 4 Treffer
- advances in artificial intelligence - 33rd canadian conference on artificial intelligence, canadian ai 2020, proceedings 2 Treffer
- computational science and its applications - 16th international conference, iccsa 2016, proceedings 2 Treffer
- computational science and its applications - iccsa 2015 - 15th international conference, proceedings 2 Treffer
- computer aided verification - 30th international conference, cav 2018, held as part of the federated logic conference, floc 2018, proceedings 2 Treffer
-
45 weitere Werte:
- computer security - 21st european symposium on research in computer security, esorics 2016, proceedings 2 Treffer
- dependable software engineering. theories, tools, and applications - 7th international symposium, setta 2021, proceedings 2 Treffer
- fundamental approaches to software engineering - 25th international conference, fase 2022, held as part of the european joint conferences on theory and practice of software, etaps 2022, proceedings 2 Treffer
- hardware and software: verification and testing - third international haifa verification conference, hvc 2007, proceedings 2 Treffer
- intelligent tutoring systems - 9th international conference, its 2008, proceedings 2 Treffer
- managing large-scale service deployment - 19th ifip/ieee international workshop on distributed systems: operations and management, dsom 2008, proceedings 2 Treffer
- product-focused software process improvement - 23rd international conference, profes 2022, proceedings 2 Treffer
- search based software engineering - 8th international symposium, ssbse 2016, proceedings 2 Treffer
- search-based software engineering - 7th international symposium, ssbse 2015, proceedings 2 Treffer
- software analysis, testing, and evolution - 8th international conference, sate 2018, proceedings 2 Treffer
- software quality - ecsq 2002 - quality connection - 7th european conference on software quality, proceedings 2 Treffer
- testing software and systems - 31st ifip wg 6.1 international conference, ictss 2019, proceedings 2 Treffer
- tools and algorithms for the construction and analysis of systems- 26th international conference, tacas 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, proceedings, part ii 2 Treffer
- 9th international conference on simulation of adaptive behavior, sab 2006, proceedings 1 Treffer
- a list of successes that can change the world - essays dedicated to philip wadler on the occasion of his 60th birthday 1 Treffer
- advanced computing, networking and security - international conference, adcons 2011, revised selected papers 1 Treffer
- advanced data mining and applications - 19th international conference, adma 2023, proceedings 1 Treffer
- advanced data mining and applications - 4th international conference, adma 2008, proceedings 1 Treffer
- advanced lectures on software engineering - laser summer school 2007/2008 1 Treffer
- advanced topics in exception handling techniques 1 Treffer
- advances in cryptology - crypto 2008 - 28th annual international cryptology conference, proceedings 1 Treffer
- advances in cryptology - eurocrypt 2020 - 39th annual international conference on the theory and applications of cryptographic techniques, proceedings 1 Treffer
- advances in information retrieval - 43rd european conference on ir research, ecir 2021, proceedings 1 Treffer
- algorithmic probability and friends: bayesian prediction and artificial intelligence - papers from the ray solomonoff 85th memorial conference 1 Treffer
- algorithms and architectures for parallel processing - 14th international conference, ica3pp 2014, proceedings 1 Treffer
- algorithms and architectures for parallel processing - 15th international conference, ica3pp 2015, proceedings 1 Treffer
- algorithms and architectures for parallel processing - ica3pp international workshops and symposiums, proceedings 1 Treffer
- ambient intelligence - european conference, ami 2009, proceedings 1 Treffer
- application and theory of petri nets and concurrency - 35th international conference, petri nets 2014, proceedings 1 Treffer
- artificial intelligence and computational intelligence - third international conference, aici 2011, proceedings 1 Treffer
- artificial intelligence and soft computing - 16th international conference, icaisc 2017, proceedings 1 Treffer
- artificial intelligence in education - 22nd international conference, aied 2021, proceedings 1 Treffer
- artificial intelligence xxxvii - 40th sgai international conference on artificial intelligence, ai 2020, proceedings 1 Treffer
- artificial intelligence: methodology, systems, and applications - 13th international conference, aimsa 2008, proceedings 1 Treffer
- artificial neural networks and machine learning - icann 2017 - 26th international conference on artificial neural networks, proceedings 1 Treffer
- artificial neural networks and machine learning - icann 2022 - 31st international conference on artificial neural networks, proceedings 1 Treffer
- automated reasoning - 5th international joint conference, ijcar 2010, proceedings 1 Treffer
- automated technology for verification and analysis- 17th international symposium, avta 2019, proceedings 1 Treffer
- big data analytics in astronomy, science, and engineering - 10th international conference on big data analytics, bda 2022, proceedings 1 Treffer
- computational intelligence in security for information systems - 4th international conference, cisis 2011, held at iwann 2011, proceedings 1 Treffer
- computational science and its applications - 12th international conference, iccsa 2012, proceedings 1 Treffer
- computational science and its applications - iccsa 2017 - 17th international conference, 2017 1 Treffer
- computational science and its applications - iccsa 2018 - 18th international conference, 2018, proceedings 1 Treffer
- computational science and its applications - iccsa 2019 - 19th international conference, 2019, proceedings 1 Treffer
- computational science and its applications - iccsa 2020 - 20th international conference, proceedings 1 Treffer
Sprache
244 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: