Weifeng Xu

According to our database1, Weifeng Xu authored at least 44 papers between 2003 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

Model Checking for Turn-Based Probability Epistemic Game Structure.
Proceedings of the Human Centered Computing - 4th International Conference, 2018

Cubic Spline Smoothing Algorithm for General Aviation Track.
Proceedings of the Human Centered Computing - 4th International Conference, 2018

The Expansion of Source Code Abbreviations Using a Language Model.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
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

2016
Automated Integration Testing Using Logical Contracts.
IEEE Trans. Reliability, 2016

Testing Software Using Swarm Intelligence: A Bee Colony Optimization Approach.
EAI Endorsed Trans. Collaborative Computing, 2016

Unified discrete time optimal control for MEMS gyroscopes.
Proceedings of the 2016 American Control Conference, 2016

2015
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

2014
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

2013
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

2012
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

2011
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

2010
Building Customized Cushion Seats Using Stereo Visions for Disabled.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009
Tetris-XL: A performance-driven spill reduction technique for embedded VLIW processors.
TACO, 2009

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

2008
Testing Aspect-Oriented Programs with UML Design Models.
International Journal of Software Engineering and Knowledge Engineering, 2008

2007
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

2006
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

2005
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

2003
Adaptive Fault Recovery for Networked Reconfigurable Systems.
Proceedings of the 11th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2003), 2003


  Loading...