Gongjie Zhang

  • Citations Per Year
Learn More
Context: As a fault-based testing technique, mutation testing is effective at evaluating the quality of existing test suites. However, a large number of mutants result in the high computational cost in mutation testing. As a result, mutant reduction is of great importance to improve the efficiency of mutation testing. Objective: We aim to reduce mutants for(More)
With the process of non-functional properties research on real-time systems, resource estimation and analysis of real-time systems become a hotspot. Process Algebra is a formal method fitting for analyzing the functional properties of real-time systems, but it can not analyze the resource properties. Resource Timed Process Algebra (RTPA) proposed in this(More)
OBJECTIVE This study observed the curative effect of sustained negative pressure drainage application on treatment of severe maxillofacial and neck space infection. METHODS Incision and drainage were performed to treat 18 patients with severe maxillofacial and neck space infection. A small incision was made on the site of the most obvious swelling or(More)
  • 1