10 citations · 28 across the 8 of their papers we have counts for
Showing cs.SEShow 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.SE2016★ 6 cited
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement
Jingyi Wang, Jun Sun, Shengchao Qin +1
Precisely modeling complex systems like cyber-physical systems is challenging, which often render model-based system verification techniques like model checking infeasible. To over…