According to our database1, Weifeng Xu authored at least 41 papers between 2003 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Statistical Unigram Analysis for Source Code Repository.
Int. J. Semantic Computing, 2018
Dominant-Set-Based Consensus For Fuzzy C-Means Clustering Ensemble.
Proceedings of the 2018 International Conference on Machine Learning and Cybernetics, 2018
The Expansion of Source Code Abbreviations Using a Language Model.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
Researches on the Analysis Framework of Application Layer Communication Protocol Based on SQLite.
Proceedings of the Human Centered Computing - Third International Conference, 2017
Exploring risk factors and predicting UPDRS score based on Parkinson's speech signals.
Proceedings of the 19th IEEE International Conference on e-Health Networking, 2017
Measurement of Source Code Readability Using Word Concreteness and Memory Retention of Variable Names.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Automated Integration Testing Using Logical Contracts.
IEEE Trans. Reliability, 2016
Unified discrete time optimal control for MEMS gyroscopes.
Proceedings of the 2016 American Control Conference, 2016
An Automated Test Generation Technique for Software Quality Assurance.
IEEE Trans. Reliability, 2015
A JVM-based Testing Harness for Improving Component Testability.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
Testing Software Using Swarm Intelligence: A Bee Colony Optimization Approach.
Proceedings of the BICT 2015, 2015
Rule-Based Test Input Generation from Bytecode.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014
A Design Method of the General Aviation Flight Plan Management Scheme Based on Quantitative Verification.
Proceedings of the Human Centered Computing - First International Conference, 2014
Automated Generation of Integration Test Sequences from Logical Contracts.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
Mining Auto-generated Test Inputs for Test Oracle.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013
Mining Test Oracles for Test Inputs Generated from Java Bytecode.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Automated Security Test Generation with Formal Threat Models.
IEEE Trans. Dependable Sec. Comput., 2012
Testing aspect-oriented programs with finite state machines.
Softw. Test., Verif. Reliab., 2012
Mining Executable Specifications of Web Applications from Selenium IDE Tests.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012
Annotating Resources in Sequence Diagrams for Testing Web Security.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012
Reduced-order active disturbance rejection control for multivariable chemical processes.
Proceedings of the Annual Meeting of the IEEE Industry Applications Society, 2012
A Case Study: Integrating a Game Application-driven Approach and Social Collaborations into Software Engineering Education.
Proceedings of the ICEIS 2011, 2011
Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
Reduced-order active disturbance rejection control for induction motors.
Proceedings of the IEEE International Conference on Control Applications, 2011
Building Customized Cushion Seats Using Stereo Visions for Disabled.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010
Tetris-XL: A performance-driven spill reduction technique for embedded VLIW processors.
Aspect-Oriented Modeling and Verification with Finite State Machines.
J. Comput. Sci. Technol., 2009
Automated Test Code Generation from Class State Models.
International Journal of Software Engineering and Knowledge Engineering, 2009
Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Testing Aspect-Oriented Programs with UML Design Models.
International Journal of Software Engineering and Knowledge Engineering, 2008
SynDB: a Synapse protein DataBase based on synapse ontology.
Nucleic Acids Research, 2007
Automated Test Code Generation from UML Protocol State Machines.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Tetris: a new register pressure control technique for VLIW processors.
Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007
Model Checking Aspect-Oriented Design Specification.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
Design-specific path delay testing in lookup-table-based FPGAs.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2006
State-based testing of integration aspects.
Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, 2006
State-based incremental testing of aspect-oriented programs.
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006
An energy-aware active smart card.
IEEE Trans. VLSI Syst., 2005
A State-Based Approach to Testing Aspect-Oriented Programs.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Adaptive Fault Recovery for Networked Reconfigurable Systems.
Proceedings of the 11th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2003), 2003