According to our database1, Ning Shen authored at least 12 papers between 2003 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Automated Coverage-Based Testing of XACML Policies.
Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018
Automated Integration Testing Using Logical Contracts.
IEEE Trans. Reliability, 2016
Automated Fault Localization of XACML Policies.
Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, 2016
Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies.
International Journal of Software Engineering and Knowledge Engineering, 2015
Fault-Based Testing of Combining Algorithms in XACML3.0 Policies.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
Formalizing Semantic Differences between Combining Algorithms in XACML 3.0 Policies.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
E-science infrastructures for molecular modeling and parametrization.
J. Comput. Science, 2014
Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
Combined Three Feature Selection Mechanisms with LVQ Neural Network for Colon Cancer Diagnosis.
Proceedings of the Advances in Neural Networks - ISNN 2011, 2011
UAV attitude and position estimation for vision-based landing.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011
Linear Quadratic Control for Singulary Perturbed Systems with Actuator Failures: An LMI Approach.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006
A Knowledge Driven Approach in Leveraging Web Services Delivery.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003