If you made any changes in Pure these will be visible here soon.

Research Output 2000 2019

Filter
Conference article
2019
3 Downloads (Pure)

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Pham, L. H., Le, Q. L., Phan, Q-S., Sun, J. & Qin, S., 16 Jun 2019, (Accepted/In press) In : Lecture Notes in Computer Science. 17 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
Symbolic Execution
Separation Logic
Heap
Precondition
Numerics
2018

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG

Xu, Z., Ren, K., Qin, S. & Craciun, F., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 177-193

Research output: Contribution to journalConference articleResearchpeer-review

Data flow graphs
Flow graphs
Syntactics
Viruses
Learning systems

UTP Semantics for BigrTiMo

Xie, W., Zhu, H. & Qin, S., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 337-353

Research output: Contribution to journalConference articleResearchpeer-review

Semantics
Communication
Merging
Algebra
2014
18 Downloads (Pure)

Shape Analysis via Second-Order Bi-Abduction

Le, Q. L., Gherghina, C., Qin, S. & Chin, W-N., 2014, In : Lecture Notes in Computer Science. 8559, p. 52 68 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File