10 citations · 28 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 3 cited
Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
Long H. Pham, Quang Loc Le, Quoc-Sang Phan +2
Symbolic execution is a well established method for test input generation. Despite of having achieved tremendous success over numerical domains, existing symbolic execution techniq…
cs.AI2017★ 10 cited
Toward `verifying' a Water Treatment System
Jingyi Wang, Jun Sun, Yifan Jia +2
Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. In this work, we report o…