Dacík, Tomáš
- RacerF: Lightweight Static Data Race Detection for C Code
2025/02/07 by Tomáš Dacík, Dacík, Tomáš, Tomáš Vojnar +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques