• Publications
  • Influence
Purification and Cloning of a Broad Substrate Specificity Human Liver Carboxylesterase That Catalyzes the Hydrolysis of Cocaine and Heroin*
A human liver carboxylesterase (hCE-2) that catalyzes the hydrolysis of the benzoyl group of cocaine and the acetyl groups of 4-methylumbelliferyl acetate, heroin, and 6-monoacetylmorphine wasExpand
  • 196
  • 19
  • PDF
SEM: a System for Enumerating Models
TLDR
We describe SEM, a System for Enumerating finite Models of first-order many-sorted theories which outperforms any other finite model generation system on many test problems. Expand
  • 178
  • 15
  • PDF
Coronavirus Infections in the Central Nervous System and Respiratory Tract Show Distinct Features in Hospitalized Children
Background/Aims: Coronavirus (CoV) infections induce respiratory tract illnesses and central nervous system (CNS) diseases. We aimed to explore the cytokine expression profiles in hospitalizedExpand
  • 85
  • 10
  • PDF
Metabolic reprogramming of cancer-associated fibroblasts by IDH3α downregulation.
Cancer-associated fibroblasts (CAFs) provide critical metabolites for tumor growth and undergo metabolic reprogramming to support glycolysis. However, the molecular mechanisms responsible for thisExpand
  • 149
  • 9
Impact of the Mitogen-activated Protein Kinase Pathway on Parathyroid Hormone-related Protein Actions in Osteoblasts*
Parathyroid hormone-related protein (PTHrP) regulates proliferation and differentiation of osteoblastic cells via binding to the parathyroid hormone receptor (PTH-1R). The cAMP-dependent proteinExpand
  • 78
  • 9
Characterizing failure-causing parameter interactions by adaptive testing
TLDR
We propose a fault characterization method called faulty interaction characterization (FIC) and its binary search alternative FIC_BS to locate one failure-causing interaction in a single failing test case. Expand
  • 49
  • 9
Crystal Structure of HAb18G/CD147
CD147, a member of the immunoglobulin superfamily (IgSF), plays fundamental roles in intercellular interactions in numerous pathological and physiological processes. Importantly, our previous studiesExpand
  • 81
  • 8
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
TLDR
This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Expand
  • 105
  • 8
Characterizing and detecting resource leaks in Android applications
TLDR
We propose an automatic method for detecting resource leaks based on a modified Function Call Graph, which handles the features of event-driven mobile programming by analyzing the callbacks defined in Android framework. Expand
  • 80
  • 8
  • PDF
Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing
  • Jun Yan, J. Zhang
  • Computer Science
  • 30th Annual International Computer Software and…
  • 17 September 2006
TLDR
Combinatorial covering arrays have been used in several testing approaches. Expand
  • 66
  • 7
  • PDF