18 citations · 18 across the 1 of their papers we have counts for
2 papers
cs.PL2022
A Formal Model of Checked C
Liyi Li, Yiyun Liu, Deena L. Postol +3
We present a formal model of Checked C, a dialect of C that aims to enforce spatial memory safety. Our model pays particular attention to the semantics of dynamically sized, potent…
cs.SE2012★ 18 cited
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
Leonidas Lampropoulos, Konstantinos Sagonas
With web services already being key ingredients of modern web systems, automatic and easy-to-use but at the same time powerful and expressive testing frameworks for web services ar…