Author of the publication

SymJS: automatic symbolic testing of JavaScript web applications.

, , and . SIGSOFT FSE, page 449-459. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

DFC: Towards Effective Feedback Flow Management for Datacenters., , , , and . GCC, page 98-103. IEEE Computer Society, (2010)The prediction of asphalt pavement permanent deformation by T-GM(1, 2) dynamic model., , , and . Int. J. Systems Science, 39 (10): 959-967 (2008)Non-Equidistance Grey Model Based on Grey Interval Weighting Accumulated Generating Operation., , and . MLMTA, page 180-188. CSREA Press, (2006)Integration and Application of Geographic Information System (GIS) and Spatial Analysis Model--A Case Study of Simulation for Soil Environment., and . CIMCA/IAWTIC/ISE, page 937-940. IEEE Computer Society, (2008)The Prediction of First Typhoon Using Hybrid Grey-Based Model., , and . SMC, page 752-757. IEEE, (2006)Performance Evaluation of 3D MIMO LTE-Advanced System., , , , and . VTC Fall, page 1-5. IEEE, (2013)Sorting of Noise Contribution Based on Partial Coherence Theory., , , , , , and . CISP-BMEI, page 1-5. IEEE, (2018)Rough Set Approximations in Formal Concept Analysis., , , and . Trans. Rough Sets, (2010)Compilation as Rewriting in Higher Order Logic., and . CADE, volume 4603 of Lecture Notes in Computer Science, page 19-34. Springer, (2007)Detecting Overlapping Communities in Knowledge Graphs: A Density Optimization Based Approach., , , , , and . ICBK, page 9-16. IEEE Computer Society, (2018)