Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- static analysis 34 Treffer
- machine learning 14 Treffer
- concurrency bugs 12 Treffer
- deep learning 11 Treffer
- empirical study 10 Treffer
-
45 weitere Werte:
- fuzzing 10 Treffer
- distributed systems 9 Treffer
- cloud computing 8 Treffer
- dynamic analysis 6 Treffer
- program analysis 6 Treffer
- smart contract 6 Treffer
- symbolic execution 6 Treffer
- api misuse 5 Treffer
- atomicity violation 5 Treffer
- clone detection 5 Treffer
- concurrency 5 Treffer
- concurrency bug 5 Treffer
- fault injection 5 Treffer
- software reliability 5 Treffer
- software security 5 Treffer
- benchmark 4 Treffer
- concurrent program 4 Treffer
- data mining 4 Treffer
- ethereum 4 Treffer
- javascript 4 Treffer
- reliability 4 Treffer
- smt solver 4 Treffer
- static program analysis 4 Treffer
- testing 4 Treffer
- blockchain 3 Treffer
- code coverage 3 Treffer
- code embedding 3 Treffer
- code mining 3 Treffer
- data loss 3 Treffer
- data race 3 Treffer
- fault tolerance 3 Treffer
- hardware support 3 Treffer
- mpi 3 Treffer
- persistent memory 3 Treffer
- program invariant 3 Treffer
- program slicing 3 Treffer
- software quality 3 Treffer
- static code analysis 3 Treffer
- vulnerability 3 Treffer
- adaptive random testing 2 Treffer
- android apps 2 Treffer
- annotation 2 Treffer
- anomaly detection 2 Treffer
- api usage 2 Treffer
- bug characteristics 2 Treffer
Verlag
- institute of electrical and electronics engineers inc. 48 Treffer
- association for computing machinery 29 Treffer
- association for computing machinery, inc 29 Treffer
- ieee computer society 29 Treffer
- chinese academy of sciences 5 Treffer
-
33 weitere Werte:
- elsevier b.v. 4 Treffer
- springer verlag 4 Treffer
- elsevier inc. 3 Treffer
- gesellschaft fur informatik (gi) 3 Treffer
- john wiley and sons ltd 3 Treffer
- kluwer academic publishers 3 Treffer
- elsevier ltd 2 Treffer
- institute of electrical and electronics engineers 2 Treffer
- science press 2 Treffer
- springer 2 Treffer
- springer science and business media deutschland gmbh 2 Treffer
- academic press inc. 1 Treffer
- atlantis press 1 Treffer
- australian computer society 1 Treffer
- ceur-ws 1 Treffer
- chinese institute of electronics 1 Treffer
- higher education press 1 Treffer
- huazhong university of science and technology 1 Treffer
- institute of advanced scientific research, inc. 1 Treffer
- international educational data mining society 1 Treffer
- international workshop on computer science and engineering (wcse) 1 Treffer
- ismail saritas 1 Treffer
- knowledge systems institute graduate school 1 Treffer
- kohat university of science and technology 1 Treffer
- korean society for internet information 1 Treffer
- little lion scientific 1 Treffer
- mdpi ag 1 Treffer
- press of tsinghua university 1 Treffer
- research india publications 1 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 1 Treffer
- science in china press 1 Treffer
- springer science and business media b.v. 1 Treffer
- zhengzhou university 1 Treffer
Publikation
- proceedings - international conference on software engineering 12 Treffer
- acm sigplan notices 7 Treffer
- international conference on architectural support for programming languages and operating systems - asplos 7 Treffer
- lecture notes in computer science 6 Treffer
- acm international conference proceeding series 5 Treffer
-
45 weitere Werte:
- ieee transactions on software engineering 5 Treffer
- proceedings - international symposium on software reliability engineering, issre 5 Treffer
- ruan jian xue bao/journal of software 5 Treffer
- issta 2023 - proceedings of the 32nd acm sigsoft international symposium on software testing and analysis 4 Treffer
- empirical software engineering 3 Treffer
- esec/fse 2018 - proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering 3 Treffer
- ieee access 3 Treffer
- ieee transactions on dependable and secure computing 3 Treffer
- lecture notes in informatics (lni), proceedings - series of the gesellschaft fur informatik (gi) 3 Treffer
- proceedings of the acm conference on computer and communications security 3 Treffer
- proceedings of the acm on programming languages 3 Treffer
- proceedings of the acm sigsoft symposium on the foundations of software engineering 3 Treffer
- esec/fse 2020 - proceedings of the 28th acm joint meeting european software engineering conference and symposium on the foundations of software engineering 2 Treffer
- esec/fse 2023 - proceedings of the 31st acm joint meeting european software engineering conference and symposium on the foundations of software engineering 2 Treffer
- ieee international conference on program comprehension 2 Treffer
- ieee international conference on software quality, reliability and security, qrs 2 Treffer
- ieee international working conference on mining software repositories 2 Treffer
- ieee transactions on parallel and distributed systems 2 Treffer
- ieee transactions on reliability 2 Treffer
- information and software technology 2 Treffer
- international conference for high performance computing, networking, storage and analysis, sc 2 Treffer
- proceedings - 2019 ieee international conference on software maintenance and evolution, icsme 2019 2 Treffer
- proceedings - 2020 35th ieee/acm international conference on automated software engineering, ase 2020 2 Treffer
- proceedings - 2021 36th ieee/acm international conference on automated software engineering, ase 2021 2 Treffer
- proceedings - international computer software and applications conference 2 Treffer
- proceedings of the acm sigplan conference on programming language design and implementation (pldi) 2 Treffer
- proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla 2 Treffer
- qinghua daxue xuebao/journal of tsinghua university 2 Treffer
- software - practice and experience 2 Treffer
- 11th working conference on mining software repositories, msr 2014 - proceedings 1 Treffer
- 2011 international symposium on software testing and analysis, issta 2011 - proceedings 1 Treffer
- 2012 international symposium on software testing and analysis, issta 2012 - proceedings 1 Treffer
- 2013 8th international workshop on automation of software test, ast 2013 - proceedings 1 Treffer
- 2013 9th joint meeting of the european software engineering conference and the acm sigsoft symposium on the foundations of software engineering, esec/fse 2013 - proceedings 1 Treffer
- 2016 ieee/acis 17th international conference on software engineering, artificial intelligence, networking and parallel/distributed computing, snpd 2016 1 Treffer
- 2023 ieee 20th india council international conference, indicon 2023 1 Treffer
- acm sigplan/sigsoft workshop on program analysis for software tools and engineering 1 Treffer
- acm transactions on computer systems 1 Treffer
- acm transactions on sensor networks 1 Treffer
- acm transactions on storage 1 Treffer
- acm web conference 2023 - proceedings of the world wide web conference, www 2023 1 Treffer
- advances in computers 1 Treffer
- advances in intelligent systems and computing 1 Treffer
- aista 2021 - proceedings of the 1st acm international workshop on ai and software testing/analysis, co-located with ecoop/issta 2021 1 Treffer
- ase 2016 - proceedings of the 31st ieee/acm international conference on automated software engineering 1 Treffer
Sprache
224 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!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:
-
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!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:
-
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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
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:
-
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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: