Model-guided Fuzzing of Distributed Systems

Autor: Gulcan, Ege Berkay, Ozkan, Burcu Kulahcioglu, Majumdar, Rupak, Nagendra, Srinidhi

We present a coverage-guided testing algorithm for distributed systems implementations. Our main innovation is the use of an abstract formal model of the system that is used to define coverage. Such abstract models are frequently developed in early p

Externí odkaz: http://arxiv.org/abs/2410.02307

Randomized Testing of Byzantine Fault Tolerant Algorithms

Autor: Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, Burcu Kulahcioglu Ozkan

Publikováno v: Proceedings of the ACM on Programming Languages, 7(OOPSLA(1))
Proceedings of the ACM on Programming Languages, 7(OOPSLA1):101, 757-788. Association for Computing Machinery (ACM)
Winter, L N, Buse, F, De Graaf, D, Von Gleissenthall, K & Kulahcioglu Ozkan, B 2023, ' Randomized Testing of Byzantine Fault Tolerant Algorithms ', Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA1, 101, pp. 757-788 . https://doi.org/10.1145/3586053

Byzantine fault-tolerant algorithms promise agreement on a correct value, even if a subset of processes can deviate from the algorithm arbitrarily. While these algorithms provide strong guarantees in theory, in practice, protocol bugs and implementat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1d6098ec2d252c1c1288fddc93ecbd9
http://resolver.tudelft.nl/uuid:2c31913f-2230-41fc-b5e2-fbeed13beea6

Verifying Weakly Consistent Transactional Programs Using Symbolic Execution

Autor: Burcu Kulahcioglu Ozkan

Publikováno v: Networked Systems ISBN: 9783030670863
NETYS

We present a method for verifying whether all executions of a set of transactions satisfy a given invariant when run on weakly consistent systems. Existing approaches check that all executions under weak consistency are equivalent to some serial exec

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::91e893c53f350de874f6760e9e557449
https://doi.org/10.1007/978-3-030-67087-0_17

Consistency-Aware Scheduling for Weakly Consistent Programs

Autor: Erdal Mutlu, Maryam Dabaghchian, Burcu Kulahcioglu Ozkan, Serdar Tasiran, Zvonimir Rakamarić

Publikováno v: ACM SIGSOFT Software Engineering Notes. 42:1-5

Modern geo-replicated data stores provide high availability by relaxing the underlying consistency requirements. Programs layered over such data stores are called weakly consistent programs. Due to the reduced consistency requirements, they exhibit h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6e4a8cc75fd6bb04b8fce23d25c4a9a9
https://doi.org/10.1145/3149485.3149493

Trace Aware Random Testing for Distributed Systems

Autor: Burcu Kulahcioglu Ozkan, Simin Oraee, Rupak Majumdar

Publikováno v: Proceedings of the ACM on Programming Languages

Distributed and concurrent applications often have subtle bugs that only get exposed under specific schedules. While these schedules may be found by systematic model checking techniques, in practice, model checkers do not scale to large systems. On t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c7e7fe25764714e4a86a1679515b5aa
https://hdl.handle.net/21.11116/0000-0005-D8F2-621.11116/0000-0009-1039-5