Author of the publication

Path-Based Approach to Integration Testing.

, , and . SSIRI, page 445-446. IEEE Computer Society, (2009)

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

Modeling and Verification of an Automatic Train Protection System., , , and . COMPSAC Workshops, page 226-231. IEEE Computer Society, (2010)Existence of the Solutions of Fuzzy Differential Equations with Parameters., , and . Inf. Sci., 99 (3-4): 205-217 (1997)Schedulability Analysis with CCSL Specifications., , , , and . APSEC (1), page 414-421. IEEE Computer Society, (2013)978-1-4799-2143-0.Ordinary Differential Equation-Based Deadlock Detection., , and . IEEE Trans. Systems, Man, and Cybernetics: Systems, 44 (10): 1435-1454 (2014)Petri net based test case generation for evolved specification., , , , and . SCIENCE CHINA Information Sciences, 59 (8): 080105:1-080105:25 (2016)A software cybernetics approach to self-tuning performance of on-line transaction processing systems., , and . Journal of Systems and Software, (2017)Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks., , and . IEEE Trans. Intelligent Transportation Systems, 17 (12): 3330-3343 (2016)A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences., , , and . Inf. Sci., (2016)Group Information Based Nonlinear Consensus for Multi-Agent Systems., , and . IEEE Access, (2019)Automatically Testing Web Services Choreography with Assertions., , , , , and . ICFEM, volume 6447 of Lecture Notes in Computer Science, page 138-154. Springer, (2010)