Tiemoko Ballo
Using a modern fuzzing technique to validate the high-level logic of a safe Rust library.
Stay updated with breaking news from Program Under Test. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.
Using a modern fuzzing technique to validate the high-level logic of a safe Rust library.
Information is indispensable in modern society. People’s daily communication and work depend on information transmission. Unsafe storage or transmission of data may result in privacy and security problems. One way to attempt to prevent such issues is to use encryption algorithms to transform information into encrypted forms. Because the encryption steps of most encryption algorithms are complex, deciding the correctness of the encrypted output may take a long time in practice. This kind of problem is called the Test Oracle problem. In contrast to traditional software testing, Metamorphic Tes...