Arşiv ve Dokümantasyon Merkezi
Dijital Arşivi

Yazar "Şen, Alper." için M.S. Theses listeleme

Yazar "Şen, Alper." için M.S. Theses listeleme

Sırala: Sıra: Sonuçlar:

  • A static analyzer and bug prediction engine for smart contracts 
    Gül, Ahmet. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2021., 2021.)
    As blockchain solutions are becoming increasingly common, identifying potential bugs in smart contracts written in Solidity language is vital for these solutions to work accurately. To precisely detect these bugs, developers ...
  • Dynamic data race detection in concurrent programs 
    Kalacı, Önder. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2014., 2014.)
    Recent advances in hardware drive software to be more concurrent than ever. Concurrency in software is achieved by multithreading, which creates veri cation challenges. These challenges include problems such as deadlocks, ...
  • Heuristics for concolic sofware testing 
    Köroğlu, Yavuz. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2016., 2016.)
    Software testing is an essential part of the software development process. Concolic testing is an automated unit test generation technique which is a result of decades of study on making the automated testing scalable. ...
  • Improving robustness of deep learning systems with fast and customizable adversarial data generation 
    Arıcı, Mehmet Melih. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2021., 2021.)
    Deep Learning (DL) is the force behind the success of solving many complicated tasks in recent years. With the use of DL systems in safety-critical applications, it has become of great importance to make these systems ...
  • Mutation testing of concurrent programs 
    Köse, Mehmet. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2016., 2016.)
    As software testing becomes a more established discipline, the need for quality assurance of software test suites arises. It has been decades since mutation testing was rst introduced into the literature for this purpose. ...
  • Robustness and resilience of deep neural networks 
    Buldu, Abdullah Murat. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2022., 2022)
    Deep Neural Networks (DNN) are used extensively to solve challenging problems in computer vision, natural language processing, and speech recognition. However, recent studies such as adversarial attacks show that high ...
  • Service virtualization using recorded interactions 
    Enişer, Hasan Ferit. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2017., 2017.)
    Today’s enterprise software systems are much more complicated than the past. Increasing number of dependent applications and heterogeneous technologies makes testing of such systems challenging due to multiple reasons ...
  • System level synthetic benchmarks for multicore architectures 
    Kara, Gökçehan. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2014., 2014.)
    System-level benchmarks enable performance evaluation early in the design cycle of multi-core architectures. However, benchmark development is costly. Synthetic benchmarks have similar performance behavior as the originals ...
  • Verification of a multicore programming library 
    Deniz, Etem. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2011., 2011.)
    As the demand for high performance software is constantly increasing, the need to develop multicore software is increasing, too. This results in degraded reliability of software and increased veri cation e ort since multicore ...

Dijital Arşivde Ara


Göz at

Hesabım