Shaobo He - Concepedia

Author

Shaobo He

University of Utah

Also Known As

He Shao-Bo, He Shaobo, He, Shaobo, S. He, Shaobo He

Publications

531

Citations

H-Index

Concepts

All Affiliations

University of Utah

About

Shaobo He is an author at University of Utah specializing in engineering, computer science, and software analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	400
2	Computer Science	6	6	207
3	Computer Engineering	2	2	94
4	Data Security	2	2	62
5	Complexity	1	1	14

Shaobo He

Publications

436

Citations

H-Index

Page 1

	Year	Citations
Automating regression test selection based on UML designs Lionel Briand, Yvan Labiche, Shaobo He Information and Software Technology EngineeringSoftware TestingTest AutomationSoftware EngineeringRegression Testing	2008	133
Complexity analysis of chaotic pseudo-random sequences based on spectral entropy algorithm Kehui Sun, Shaobo He, Yi He, Acta Physica Sinica Complexity AnalysisSpectral Entropy AlgorithmEngineeringChaos TheoryEntropy	2013	86
Solution of the fractional-order chaotic system based on Adomian decomposition algorithm and its complexity analysis Shaobo He, Kehui Sun, Huihai Wang Acta Physica Sinica Numerical AnalysisComplexity AnalysisAdomian Decomposition AlgorithmEngineeringFractional-order System	2014	60
SMACK software verification toolchain Montgomery Carter, Shaobo He, Jonathan Whitaker, Software MaintenanceProgram CheckingEngineeringVerificationComputer-aided Verification	2016	34
Application of FuzzyEn algorithm to the analysis of complexity of chaotic sequence Kehui Sun, Shaobo He, Linzi Yin, Acta Physica Sinica Fuzzy LogicEngineeringFuzzy ComputingFuzzy ModelingChaos Theory	2012	32
ct-fuzz: Fuzzing for Timing Leaks Shaobo He, Michael Emmi, Gabriela Ciocarlie EngineeringInformation LeakageVerificationSoftware EngineeringModel Checking	2020	28
Modified multiscale permutation entropy algorithm and its application for multiscroll chaotic systems Shaobo He, Kehui Sun, Huihai Wang Complexity Mmpe AlgorithmChaos TheoryEntropyHigh-dimensional Chaosτ Time Series	2014	26
Complexity analysis of chaotic sequence based on the intensive statistical complexity algorithm Kehui Sun, Shaobo He, Liyuan Sheng Acta Physica Sinica EngineeringInformation SecurityPseudo-random SequenceHigh-dimensional ChaosComputational Complexity	2011	14
Verifying Relative Safety, Accuracy, and Termination for Program Approximations Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamarić Journal of Automated Reasoning Program CheckingEngineeringProgram AnalysisSoftware TestingVerification	2017	13
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Proceedings of the ACM on Programming Languages	2024	10

Page 1