Shuang Liu

Orcid: 0000-0001-8766-7235

Affiliations:
  • Tianjin University, College of Intelligence and Computing, China
  • National University of Singapore, Singapore (PhD 2015)


According to our database1, Shuang Liu authored at least 41 papers between 2013 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Differential Testing of Machine Translators Based on Compositional Semantics.
IEEE Trans. Software Eng., December, 2023

A Survey on Automated Driving System Testing: Landscapes and Trends.
ACM Trans. Softw. Eng. Methodol., September, 2023

Enhancing RDF Verbalization with Descriptive and Relational Knowledge.
ACM Trans. Asian Low Resour. Lang. Inf. Process., June, 2023

Achieving High MAP-Coverage Through Pattern Constraint Reduction.
IEEE Trans. Software Eng., 2023

APPCorp: a corpus for Android privacy policy document structure analysis.
Frontiers Comput. Sci., 2023

Formalizing UML State Machines for Automated Verification - A Survey.
ACM Comput. Surv., 2023

MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

An Empirical Study on AST-level mutation-based fuzzing techniques for JavaScript Engines.
Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Regression Fuzzing for Deep Learning Systems.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
Fake news detection via knowledgeable prompt learning.
Inf. Process. Manag., 2022

Natural Test Generation for Precise Testing of Question Answering Software.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Reducing Malware labeling Efforts Through Efficient Prototype Selection.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

2021
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.
IEEE Trans. Software Eng., 2021

Have You been Properly Notified? Automatic Compliance Analysis of Privacy Policy Text with GDPR Article 13.
Proceedings of the WWW '21: The Web Conference 2021, 2021

A comprehensive study on learning-based PE malware family classification methods.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020
Automated synthesis of local time requirement for service composition.
Softw. Syst. Model., 2020

APPCorp: A Corpus for Android Privacy Policy Document Structure Analysis.
CoRR, 2020

Deep learning library testing via effective model generation.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Towards Generating Thread-Safe Classes Automatically.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

What Makes Open Source Software Projects Impactful: A Data-Driven Approach.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

IFIX: Fixing Concurrency Bugs While They Are Introduced.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019
LoopFix: an approach to automatic repair of buggy loops.
J. Syst. Softw., 2019

There is Limited Correlation between Coverage and Robustness for Deep Neural Networks.
CoRR, 2019

Attention-based recurrent neural network for influenza epidemic prediction.
BMC Bioinform., 2019

MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

TECCD: A Tree Embedding Approach for Code Clone Detection.
Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Adaptive Randomized Scheduling for Concurrency Bug Detection.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
PFix: fixing concurrency bugs based on memory access patterns.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Attention-Based Recurrent Multi-Channel Neural Network for Influenza Epidemic Prediction.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018

2017
JSFox: integrating static and dynamic type analysis of JavaScript programs.
Proceedings of the 39th International Conference on Software Engineering, 2017

Towards Solving Decision Making Problems Using Probabilistic Model Checking.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
Improving Quality of Use Case Documents through Learning and User Interaction.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Towards Using Concurrent Java API Correctly.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2014
Multiple sub-hyper-spheres support vector machine for multi-class classification.
Int. J. Wavelets Multiresolution Inf. Process., 2014

Automatic early defects detection in use case documents.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013
USMMC: a self-contained model checker for UML state machines.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

A Formal Semantics for Complete UML State Machines with Communications.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013


  Loading...