Sortiert nach
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, p.13-24
2019
- Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.1011-1023
2020
- Link zum Volltext
2022
- Link zum Volltext
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1488-1509, Article 167
2023
Link zum Volltext
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1706-1717
2022
Link zum Volltext
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018, p.424-425
2018
- Link zum Volltext
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, p.453-464
2019
- Link zum Volltext
Journal of computers, 2014-08, Vol.9 (8), p.1809-1809
2014
Link zum Volltext
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023, p.1295-1306
2023
Link zum Volltext
Software engineering notes, 2022-02, Vol.43 (4), p.56-60
2022
Link zum Volltext
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018, p.424-425
2018
Link zum Volltext
Software engineering notes, 2021-09, Vol.44 (4), p.16-16
2021
Link zum Volltext
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018, p.27-37
2018
Link zum Volltext
2013 International Conference on Electrical Information and Communication Technology (EICT), 2014, p.1-5
2014
Link zum Volltext
Software engineering notes, 2020-04, Vol.45 (2), p.20-22
- Artho, Cyrille
- Phan, Quoc-Sang
- Aldous, Peter
- Almaawi, Alyas
- Bang, Lucas
- Berglund, Lasse
- Bultan, Tevfik
- Chen, Zhenbang
- Converse, Hayes
- Dong, Wei
- Eiers, William
- Gligoric, Milos
- Goldsmith, Simon
- Grunske, Lars
- Hooker, Joshua
- Kadron, Ismet Burak
- Kehrer, Timo
- Khurshid, Sarfraz
- Le, Xuan-Bach D.
- Lo, David
- Mercer, Eric
- Misailovic, Sasa
- Namakonov, Egor
- Lam Nguyen, Hoang
- Noller, Yannic
- Ogles, Benjamin
- Padhye, Rohan
- Parizek, Pavel
- Păsăreanu, Corina S.
- Powell, S. Jacob
- Saha, Seemanta
- Sen, Koushik
- Sherman, Elena
- Storey, Kyle
- Tang, Minxing
- Visser, Willem
- Wang, Ji
- Yu, Hengbiao
2020
Link zum Volltext
2012 15th International Conference on Computer and Information Technology (ICCIT), 2012, p.452-457
2012
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Model Counting
- Analytical Models
- Computational Modeling
- Computer Security
- Engineering
- Engineering, Electrical & Electronic
- Fault Tolerance
- Optimization
- Quantitative Program Analysis
- Side Channel Analysis
- Static Analysis
- Syntactics
- Abstracts
- Algorithm Design And Analysis
- Automata
Kollektion
Zeitschrift / Serie