Author of the publication

Corrections to "Detecting Bugs by Discovering Expectations and Their Violations".

, , , , , and . IEEE Trans. Software Eng., 46 (1): 113 (2020)

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

Taming Deadlocks in Multithreaded Programs., , and . QSIC, page 276-279. IEEE, (2013)Lock Trace Reduction for Multithreaded Programs., and . IEEE Trans. Parallel Distributed Syst., 24 (12): 2407-2417 (2013)An On-Chip Power-Supply Noise Analyzer With Compressed Sensing and Enhanced Quantization., , , , , and . IEEE J. Solid State Circuits, 57 (1): 302-311 (2022)Design of a digital management system for the sintering material ground., , , and . Int. J. Autom. Comput., 9 (6): 587-593 (2012)Latency optimization for D2D-enabled parallel mobile edge computing in cellular networks., , , and . EURASIP J. Wirel. Commun. Netw., 2021 (1): 133 (2021)Cognitive Diagnostic Computerized Adaptive Testing for Polytomously Scored Items., , , and . J. Classif., 37 (3): 709-729 (2020)A Study on Testing Autonomous Driving Systems., , and . QRS Companion, page 241-244. IEEE, (2020)FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries., , , , and . USENIX Security Symposium, page 2497-2512. USENIX Association, (2022)Trailer Tag Hitch: An Automatic Reverse Hanging System Using Fiducial Markers., , , , , and . ICCSIP, volume 1787 of Communications in Computer and Information Science, page 288-300. Springer, (2022)On the resource utilization and traffic distribution of multipath transmission control., , and . Perform. Evaluation, 68 (11): 1175-1192 (2011)