Sortiert nach
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
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.27-37
2017
- 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
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.6-10
2023
- 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
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
2009 International Symposium on Code Generation and Optimization, 2009, p.190-199
2009
- Link zum Volltext
SIGPLAN notices, 2014-12, Vol.49 (10), p.453-472
2014
Link zum Volltext
SIGPLAN notices, 2016-12, Vol.51 (10), p.359-377
2016
Link zum Volltext
SIGPLAN notices, 2013-04, Vol.48 (3), p.31-40
2013
Link zum Volltext
Proceedings of the twenty-second IEEE/ACM international conference on automated software engineering, 2007, p.571-572
2007
Link zum Volltext
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, 2012, p.286-289
2012
- Link zum Volltext
Proceedings of the 46th ACM Technical Symposium on computer science education, 2015, p.705-705
2015
Link zum Volltext
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on foundations of software engineering, 2011, p.480-483
2011
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 And Its Engineering -- Software Notations And Tools -- Compilers
- Software
- Software Engineering
- Software And Its Engineering
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Information Systems
- General And Reference -- Cross-Computing Tools And Techniques -- Performance
- Computer Science, Hardware & Architecture
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Static Analysis
- Information Systems -- Information Retrieval
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
Kollektion
- ACM Digital Library Complete
- IEEE/IET Electronic Library
- Ingenta
- EBSCOhost Business Source Ultimate
- Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- HEAL-Link subscriptions: Springer Book Series
- Springer Books
- Springer journals
Zeitschrift / Serie