Sortiert nach
Formal aspects of computing, 2023-09, Vol.35 (3), p.1-26, Article 18
2023
Link zum Volltext
Proceedings of the 8th ACM SIGSOFT International Workshop on automated software testing, 2017, p.19-20
2017
Link zum Volltext
Communications of the ACM, 2000-09, p.10
2000
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
ACM transactions on computer systems, 2021-11, Vol.39 (1-4), p.1-38, Article 2
2021
Link zum Volltext
ACM computing surveys, 2015-01, Vol.47 (2), p.1-71
2015
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
2013 35th International Conference on Software Engineering (ICSE), 2013, p.562-571
2013
- 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
BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code
2012
- 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
2013 35th International Conference on Software Engineering (ICSE), 2013, p.742-751
2013
- 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
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
Proceedings of the 2014 ACM International Conference on object oriented programming systems languages & applications, 2014, p.453-472
2014
Link zum Volltext
1999 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.PR00425), 1999, p.128-138
1999
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Software Engineering
- Java
- Computer Science, Theory & Methods
- Software
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Computer Science, Information Systems
- Software And Its Engineering
- Software Engineering
- Computer Science, Hardware & Architecture
- Engineering
- Engineering, Electrical & Electronic
- General And Reference -- Cross-Computing Tools And Techniques -- Performance
- Static Analysis
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Exact Sciences And Technology
- Optimization
- Applied Sciences
Kollektion
- ACM Digital Library Complete
- IEEE/IET Electronic Library (IEL)
- IngentaConnect
- EZB Electronic Journals Library
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Standalone journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- HEAL-Link subscriptions: Springer Book Series
- Springer Books
- MIT Press
- MEDLINE
Zeitschrift / Serie
- Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Acm Transactions On Software Engineering And Methodology
- Software Engineering Notes
- Acm Sigsoft Software Engineering Notes
- Communications Of The Acm
- Proceedings Of Acm On Programming Languages
- Mobile Networks And Applications
- Acm Sigops Operating Systems Review
- Operating Systems Review
Neu hinzugefügt