Juan Zhai - Citegraph

Author Info

Name	Affiliation	Papers
JUAN ZHAI	Nanjing Univ, Dept Comp Sci & Technol, State Key Lab Novel Software Technol, Nanjing 210093, Jiangsu, Peoples R China	22
Collaborators	Citations	PageRank
50	67	8.56
Referers	Referees	References
285	622	209

Search Limit

100622

Publications (22 rows)

Collaborators (50 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
BppAttack: Stealthy and Efficient Trojan Attacks against Deep Neural Networks via Image Quantization and Contrastive Adversarial Learning	0	0.34	2022
AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System	2	0.38	2021
ELISE: A Storage Efficient Logging System Powered by Redundancy Reduction and Representation Learning	0	0.34	2021
C2S: translating natural language comments to formal program specifications	4	0.40	2020
Correlations between deep neural network model coverage criteria and model quality	7	0.42	2020
Effective testing of Android apps using extended IFML models	0	0.34	2020
CPC: automatically classifying and propagating natural language comments via program analysis	1	0.35	2020
Preference-wise testing for Android applications.	2	0.38	2019
Extracting Mapping Relations for Mobile User Interface Transformation	0	0.34	2019
Trojaning Attack on Neural Networks.	24	0.73	2018
Dual-force: understanding WebView malware via cross-language forced execution.	1	0.36	2018
A Framework for Array Invariants Synthesis in Induction-Loop Programs	0	0.34	2017
LAMP: data provenance for graph based machine learning algorithms through derivative computation	5	0.43	2017
Mpi: Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning	5	0.40	2017
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java	0	0.34	2017
Automatic model generation from documentation for Java API functions.	11	0.57	2016
Precondition Calculation for Loops Iterating over Data Structures	0	0.34	2016
Automatic Invariant Synthesis for Arrays in Simple Programs	0	0.34	2016
Analyzing Inductively Defined Properties for Recursive Data Structures.	0	0.34	2015
Node-Set Analysis for Linked Recursive Data Structures	0	0.34	2015
Assertion-Directed Precondition Synthesis for Loops over Data Structures.	1	0.35	2015
Post-condition-Directed Invariant Inference for Loops over Data Structures	4	0.42	2014