CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Anastasios Andronidis, Cristian Cadar
Published in:
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Publisher:
Association for Computing Machinery
DOI:
10.1145/3533767.3534376
Author(s):
Even-Mendoza, K; Sharma, A; Donaldson, A; Cadar, C
Published in:
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Publisher:
ACM
DOI:
10.1145/3597926.3598130
Author(s):
Cristian Cadar, Daniel Schemmel, Arindam Sharma
Published in:
IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023
Publisher:
IEEE
DOI:
10.1109/formalise58978.2023.00012
Author(s):
Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar
Published in:
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Publisher:
ACM
DOI:
10.1145/3597926.3604921
Author(s):
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
Published in:
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Publisher:
ACM
DOI:
10.1145/3533767.3534384
Author(s):
Frank Busse, Martin Nowack, Cristian Cadar
Published in:
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Page(s) 63-74, ISBN 9781450380089
Publisher:
ACM
DOI:
10.1145/3395363.3397360
Author(s):
Cristian Cadar
Published in:
2nd International Fuzzing Workshop (FUZZING 2023), 2023
Publisher:
ACM
DOI:
10.1145/3605157.3607811
Author(s):
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
Published in:
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
Publisher:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.ecoop.2022.9
Author(s):
David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Published in:
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Page(s) 197-208, ISBN 9781450370431
Publisher:
ACM
DOI:
10.1145/3368089.3409698
Author(s):
Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
Published in:
2nd International Fuzzing Workshop (FUZZING 2023), 2023
Publisher:
ACM
DOI:
10.1145/3605157.3605170
Author(s):
Timotej Kapus, Frank Busse, Cristian Cadar
Published in:
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Page(s) 115-126, ISBN 9781450367684
Publisher:
ACM
DOI:
10.1145/3324884.3416589
Author(s):
Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Published in:
IEEE Software, Issue 38/3, 2021, Page(s) 79-86, ISSN 0740-7459
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/ms.2020.3016773
Author(s):
Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Published in:
Empirical Software Engineering, Issue 15737616, 2022, ISSN 1573-7616
Publisher:
Springer
DOI:
10.1007/s10664-022-10146-1
Author(s):
Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
Published in:
International Journal on Software Tools for Technology Transfer, 2022, ISSN 1433-2787
Publisher:
Springer
DOI:
10.1007/s10009-021-00644-w
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available