Author of the publication

On the Value of Static Analysis for Fault Detection in Software.

, , , , , and . IEEE Trans. Software Eng., 32 (4): 240-253 (2006)

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

A Novel Design of Joint Detection for TD-SCDMA High Speed Data Services in Rapidly Time-varying Environments., , and . VTC Spring, page 1506-1509. IEEE, (2007)Capacity Analysis of Delay-Sensitive Services with Multi-User Packet in Forward Link of TDMA System., , , , and . VTC Fall, page 1132-1136. IEEE, (2007)Effect of Environmental Silicic Concentration on ATPases of Diatom Ditylum Brightwelli Plasma Membrane., , and . ESIAT (1), page 538-541. IEEE Computer Society, (2009)Switch Design to Enable Predictive Multiplexed Switching in Multiprocessor Networks., , , , , , , and . IPDPS, IEEE Computer Society, (2005)On the Value of Static Analysis for Fault Detection in Software., , , , , and . IEEE Trans. Software Eng., 32 (4): 240-253 (2006)Three-phase Magnitude-phase Detection Based on T/4 Time-lapse Elimination Method., , and . JSW, 9 (2): 523-529 (2014)Entropy Based Evaluation of Communication Predictability in Parallel Applications., , and . IEICE Transactions, 89-D (2): 469-478 (2006)Exploring Software Architecture Context., and . WICSA, page 123-126. IEEE Computer Society, (2015)Microwave Staring Correlated Imaging Based on Unsteady Aerostat Platform., , , , and . Sensors, 19 (12): 2825 (2019)On Novel Access and Scheduling Schemes for IoT Communications., , , , and . Mobile Information Systems, (2016)