Artikel dengan mandat akses publik - Cristian CadarPelajari lebih lanjut
Tersedia di suatu tempat: 43
Fuzzing: Challenges and Reflections
M Boehme, C Cadar, A Roychoudhury
IEEE Software 38 (3), 2021
Mandat: Australian Research Council, UK Engineering and Physical Sciences Research …
Chopped Symbolic Execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
ACM/IEEE 40th International Conference on Software Engineering, 2018
Mandat: UK Engineering and Physical Sciences Research Council
VARAN the Unbelievable: An Efficient N-version Execution Framework
P Hosek, C Cadar
Proceedings of the Twentieth International Conference on Architectural …, 2015
Mandat: UK Engineering and Physical Sciences Research Council
Shadow of a Doubt: Testing for Divergences Between Software Versions
H Palikareva, T Kuchta, C Cadar
International Conference on Software Engineering (ICSE 2016), 2016
Mandat: UK Engineering and Physical Sciences Research Council
Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing
T Kapus, C Cadar
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), 2017
Mandat: UK Engineering and Physical Sciences Research Council
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications
J Song, C Cadar, P Pietzuch
IEEE Transactions in Software Engineering, 695-709, 2014
Mandat: UK Engineering and Physical Sciences Research Council
Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software
P Marinescu, P Hosek, C Cadar
International Symposium on Software Testing and Analysis (ISSTA 2014), 93-104, 2014
Mandat: UK Engineering and Physical Sciences Research Council
Floating-Point Symbolic Execution: A Case Study in N-version Programming
D Liew, D Schemmel, C Cadar, A Donaldson, R Zähl, K Wehrle
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), 2017
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Targeted Program Transformations for Symbolic Execution
C Cadar
European Software Engineering Conference / Symposium on the Foundations of …, 2015
Mandat: UK Engineering and Physical Sciences Research Council
Compiler Fuzzing: How Much Does It Matter?
M Marcozzi, Q Tang, AF Donaldson, C Cadar
Proceedings of the ACM on Programming Languages (OOPSLA 2019), 2019
Mandat: UK Engineering and Physical Sciences Research Council
Accelerating array constraints in symbolic execution
DM Perry, A Mattavelli, X Zhang, C Cadar
International Symposium on Software Testing and Analysis (ISSTA 2017), 68-78, 2017
Mandat: UK Engineering and Physical Sciences Research Council
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution
L Pina, A Andronidis, M Hicks, C Cadar
International Conference on Architectural Support for Programming Languages …, 2019
Mandat: UK Engineering and Physical Sciences Research Council
SnapFuzz: High-Throughput Fuzzing of Network Applications
A Andronidis, C Cadar
International Symposium on Software Testing and Analysis (ISSTA 2022), 2022
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Shadow symbolic execution for testing software patches
T Kuchta, H Palikareva, C Cadar
ACM Transactions on Software Engineering and Methodology (TOSEM 2018) 27 (3 …, 2018
Mandat: UK Engineering and Physical Sciences Research Council
Analysing the Program Analyser
C Cadar, A Donaldson
International Conference on Software Engineering, Visions of 2025 and Beyond …, 2016
Mandat: UK Engineering and Physical Sciences Research Council
Just Fuzz It: Solving Floating-point Constraints Using Coverage-guided Fuzzing
D Liew, C Cadar, AF Donaldson, JR Stinnett
European Software Engineering Conference / ACM SIGSOFT Symposium on the …, 2019
Mandat: UK Engineering and Physical Sciences Research Council
A Segmented Memory Model for Symbolic Execution
T Kapus, C Cadar
European Software Engineering Conference / ACM SIGSOFT Symposium on the …, 2019
Mandat: UK Engineering and Physical Sciences Research Council
Symbolic crosschecking of data-parallel floating-point code
P Collingbourne, C Cadar, PHJ Kelly
IEEE Transactions in Software Engineering 40 (7), 710-737, 2014
Mandat: UK Engineering and Physical Sciences Research Council
On the Correctness of Electronic Documents: Studying, Finding, and Localizing Inconsistency Bugs in PDF Readers and Files
T Kuchta, T Lutellier, E Wong, L Tan, C Cadar
Empirical Software Engineering, 2018
Mandat: Natural Sciences and Engineering Research Council of Canada, UK Engineering …
Running Symbolic Execution Forever
F Busse, M Nowack, C Cadar
Symposium on Software Testing and Analysis (ISSTA’20), 2020
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer