Author of the publication

A transformation-based approach to testing concurrent programs using UML activity diagrams.

, , , , and . Softw., Pract. Exper., 46 (4): 551-576 (2016)

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 SiGe quadrature transmitter and receiver chipset for emerging high-frequency applications at 160GHz., , and . ISSCC, page 416-417. IEEE, (2010)Enterprise Service Oriented Architecture (ESOA) Adoption Reference.. IEEE SCC, page 512. IEEE Computer Society, (2006)Scenario-Oriented Testing for Web Service Compositions Using BPEL., , , and . QSIC, page 171-174. IEEE, (2012)Burst Time Prediction in Cascades., , , , and . AAAI, page 325-331. AAAI Press, (2015)A Simulation Environment for Subject-Specific Radio Channel Modeling in Wireless Body Sensor Networks., , , , and . BSN, page 23-28. IEEE Computer Society, (2009)Wavelet and PCA for Metabolic Network Comparison., , and . BIBM, page 633-638. IEEE Computer Society, (2011)Further Results on Global Asymptotic Regulation Control for a Class of Nonlinear Systems With iISS Inverse Dynamics., , and . IEEE Trans. Automat. Contr., 56 (4): 941-946 (2011)An Efficient Distributed Algorithm for Mining Association Rules., , and . FSKD (3), page 41-44. IEEE Computer Society, (2007)0-7695-2874-0.Accelerating Astronomical Image Subtraction on Heterogeneous Processors., , , and . e-Science, page 70-77. IEEE Computer Society, (2013)Research on Application of Fuzzy PID Controller in Two-Container Water Tank System Control.. MVHI, page 679-682. IEEE Computer Soceity, (2010)