Fingerprint Dive into the research topics where SCEDT School Executive Team is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Virtual reality Engineering & Materials Science
Planning Engineering & Materials Science
Engines Engineering & Materials Science
Specifications Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Semantics Engineering & Materials Science
Augmented reality Engineering & Materials Science
Experiments Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

Photo of Andrew Bingham

Andrew Bingham

Person: Senior Academic

20062006
Photo of Siobhan Fenton

Siobhan Fenton

Person: Senior Academic

Research Output 2000 2019

Bi-Abductive Inference for Shape and Ordering Properties

Curry, C., Le, Q. L. & Qin, S., 20 Jul 2019, (Accepted/In press) the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Data structures

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

Locating Vulnerabilities in Binaries via Memory Layout Recovering

Wang, H., Xie, X., Lin, S-W., Lin, Y., Li, Y., Qin, S., Liu, Y. & Liu, T., 26 Aug 2019, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Open Access
File
Data storage equipment
Binary codes
Semantics
Hardening
Recovery

Student theses

Web user requirements: a support framework for students

Author: Bingham, A., 1 Jun 2012

Supervisor: Griffiths, G. (Supervisor)

Student thesis: Doctoral Thesis

File

Reasoning About C11 Programs with Fences and Relaxed Atomics

Author: He, M., 16 Feb 2018

Supervisor: Qin, S. (Supervisor) & Ferreira, J. (Supervisor)

Student thesis: Doctoral Thesis