Author of the publication

Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection.

, and . COMPSAC Workshops, page 600-601. IEEE Computer Society, (2016)978-1-4673-8845-0.

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

Accuracy Graphs of Spectrum-Based Fault Localization Formulas., , , and . IEEE Trans. Reliability, 66 (2): 403-424 (2017)Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps., , , and . QRS, page 298-306. IEEE, (2016)How well does test case prioritization integrate with statistical fault localization?, , , , and . Inf. Softw. Technol., 54 (7): 739-758 (2012)Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs., and . IEEE Trans. Software Eng., 40 (3): 266-281 (2014)A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective., and . QSIC, page 35-44. IEEE, (2013)Testing pervasive software in the presence of context inconsistency resolution services., , and . ICSE, page 61-70. ACM, (2008)Optimal Multiresolution Polygonal Approximation., and . COCOON, volume 1276 of Lecture Notes in Computer Science, page 32-41. Springer, (1997)A web search-centric approach to recommender systems with URLs as minimal user contexts., , and . J. Syst. Softw., 84 (6): 930-941 (2011)XML-manipulating test case prioritization for XML-manipulating services., , , and . J. Syst. Softw., 84 (4): 603-619 (2011)Development of a broadband real-time fully-digital simulator for the study and control of large power systems., , , and . Math. Comput. Simul., 63 (3-5): 137-149 (2003)