224 citations
- Northumbria UniversityGB7 papers
- Durham UniversityGB4 papers
- Singapore University of Technology and DesignSG4 papers
- University of OxfordGB4 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT3 papers
- University of BirminghamGB3 papers
- University of CambridgeGB3 papers
- University of LisbonPT3 papers
- University of LiverpoolGB3 papers
- University of WuppertalDE3 papers
- Aalborg UniversityDK2 papers
- East China Normal UniversityCN2 papers
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…