Title | ||
---|---|---|
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types |
Abstract | ||
---|---|---|
Kotlin is a relatively new programming language from JetBrains: its development started in 2010 with release 1.0 done in early 2016. The Kotlin compiler, while slowly and steadily becoming more and more mature, still crashes from time to time on the more tricky input programs, not least because of the complexity of its features and their interactions. This makes it a great target for fuzzing, even... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/ICST49551.2021.00044 | 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) |
Keywords | DocType | ISSN |
compiler testing,program fuzzing,semantic fuzzing | Conference | 2381-2834 |
ISBN | Citations | PageRank |
978-1-7281-6836-4 | 0 | 0.34 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniil Stepanov | 1 | 0 | 0.34 |
Marat Akhin | 2 | 0 | 0.34 |
Mikhail A. Belyaev | 3 | 2 | 1.10 |