Skip navigation
Statistics
Help
About OPUS
How to Deposit
Managing Copyright
Browse
UTS Organisational Groups
Browse Items by:
Issue Date
Author
Title
Type
ARC/NHRMC Funded
Search OPUS
OPUS at UTS
Search
All of OPUS
Faculty of Engineering and Information Technology
School of Computer Science
Current filters:
Title
Author
Subject
Date Issued
Has File(s)
File Name
File Description
Type
Copyright Status
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add Filter:
Title
Author
Subject
Date Issued
Has File(s)
File Name
File Description
Type
Copyright Status
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results
Customise results display
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Item hits:
Issue Date
Title
Author(s)
-
Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement
Sui, Y
;
Xue, J
2020
TCD: Statically Detecting Type Confusion Errors in C++ Programs
Zou, C
;
Sui, Y
;
Yan, H
;
Xue, J
2017-01-01
Incremental analysis for probabilistic programs
Zhang, J
;
Sui, Y
;
Xue, J
;
Ranzato, F
2019-08-12
Event trace reduction for effective bug replay of Android apps via differential GUI state analysis
Sui, Y
;
Zhang, Y
;
Zheng, W
;
Zhang, M
;
Xue, J
2021-01
A Novel Negative-Transfer-Resistant Fuzzy Clustering Model With a Shared Cross-Domain Transfer Latent Space and its Application to Brain CT Image Segmentation.
Jiang, Y
;
Gu, X
;
Wu, D
;
Hang, W
;
Xue, J
;
Qiu, S
;
Lin, C-T
2019-01-01
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
Yan, H
;
Chen, S
;
Sui, Y
;
Zhang, Y
;
Zou, C
;
Xue, J
2019-05-01
VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences
Xu, X
;
Sui, Y
;
Yan, H
;
Xue, J
2021-07-11
Runtime detection of memory errors with smart status
Chen, Z
;
Wang, C
;
Yan, J
;
Sui, Y
;
Xue, J
2016-12-01
Eliminating redundant bounds checks in dynamic buffer overflow detection using weakest preconditions
Sui, Y
;
Ye, D
;
Su, Y
;
Xue, J
2016-03-17
SVF: Interprocedural static value-flow analysis in LLVM
Sui, Y
;
Xue, J
Results 1-10 of 10 (Search time: 0.014 seconds).
previous
1
next
Discover
Author
9
Sui, Y
3
Yan, H
2
Zhang, Y
2
Zou, C
1
Chen, S
1
Chen, Z
1
Gu, X
1
Hang, W
1
Jiang, Y
1
Lin, C-T
.
next >
Subject
2
Artificial Intelligence & Image P...
1
01 Mathematical Sciences, 06 Biol...
1
0803 Computer Software, 0906 Elec...
1
Bioinformatics
1
Operations Research
Date issued
3
2019
2
2016
2
2021
1
2017
1
2020
Has File(s)
10
true
Type
7
Conference Proceeding
3
Journal Article
Copyright Status
5
Open Access
3
Closed Access
1
open_access
1
Recently Added