Browse by IITH Authors
Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Biswas, Ranadeep and Kakwani, Diptanshu and Vedurada, Jyothi and et al, . (2021) MonkeyDB: effectively testing correctness under weak isolation levels. Proceedings of the ACM on Programming Languages, 5 (OOPSLA). pp. 1-27. ISSN 2475-1421
Agarwal, Udit and Deligiannis, Pantazis and Huang, Cheng and Jung, Kumseok and Lal, Akash and Naseer, Immad and Parkinson, Matthew and Thangamani, Arun and Vedurada, Jyothi and et al, . (2021) Nekara: Generalized Concurrency Testing. In: 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, 15 November 2021through 19 November 2021, Virtual, Online.