3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.PL2017★ 3 cited
Liveness-Driven Random Program Generation
Gergö Barany
Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing. However, existing…
cs.SE2017
Introducing Context Awareness in Unmodified, Context-unaware Software
Markus Raab, Gergö Barany
Software tends to be highly configurable, but most applications are hardly context aware. For example, a web browser provides many settings to configure printers and proxies, but n…
cs.PL2016★ 2 cited
Hybrid Information Flow Analysis for Programs with Arrays
Gergö Barany
Information flow analysis checks whether certain pieces of (confidential) data may affect the results of computations in unwanted ways and thus leak information. Dynamic informatio…