Sortiert nach
Formal aspects of computing, 2023-09, Vol.35 (3), p.1-26, Article 18
2023
Link zum Volltext
ACM transactions on software engineering and methodology, 2024-03, Vol.33 (3), p.1-30, Article 72
2024
Link zum Volltext
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.27-37
2017
- Link zum Volltext
ACM transactions on software engineering and methodology, 2022-04, Vol.31 (2), p.1-37, Article 35e
2022
Link zum Volltext
29th International Conference on Software Engineering (ICSE'07), 2007, p.96-105
2007
- Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.112-124
2020
- Link zum Volltext
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, p.590-601
2019
- Link zum Volltext
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.6-10
2023
- Link zum Volltext
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-28, Article 142
2020
Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, p.164-165
2021
- Link zum Volltext
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, p.560-571
2019
- Link zum Volltext
Proceedings of the 4th International Workshop on Genetic Improvement Workshop, 2018, p.37-44
2018
Link zum Volltext
2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP), 2018, p.11-12
2018
- Link zum Volltext
BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code
2012
Link zum Volltext
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, p.1015-1026
2020
Link zum Volltext
ACM transactions on programming languages and systems, 2001-11, Vol.23 (6), p.747-775
2001
Link zum Volltext
2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.540-544
2009
- Link zum Volltext
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023, p.526-537
2023
Link zum Volltext
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022, p.1-13
2022
Link zum Volltext
Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, 2023, p.17-21
2023
Link zum Volltext
Proceedings of the 2013 International Conference on Software Engineering, 2013, p.562-571
2013
Link zum Volltext
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2022, p.183-187
2022
Link zum Volltext
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014, p.166-177
2014
Link zum Volltext
ACM transactions on programming languages and systems, 1999-11, Vol.21 (6), p.1196-1250
1999
Link zum Volltext
2009 International Symposium on Code Generation and Optimization, 2009, p.190-199
2009
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Java
- Software
- Software Engineering
- Software And Its Engineering
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Hardware & Architecture
- Static Analysis
- Computer Science, Information Systems
- Computer Bugs
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Software And Its Engineering -- Software Creation And Management
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
Kollektion
- ACM Digital Library Complete
- IEEE Xplore (IEEE/IET Electronic Library - IEL)
- Ingenta
- EBSCOhost Business Source Ultimate
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Book Series
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- IngentaConnect Journals
Zeitschrift / Serie
- Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Acm Transactions On Software Engineering And Methodology
- Proceedings Of Acm On Programming Languages
- Communications Of The Acm
- Acm Sigplan Notices
- Acm Transactions On Internet Technology
- Acm Transactions On Embedded Computing Systems
- Formal Aspects Of Computing
- Acm Sigmod Record
Neu hinzugefügt