• Publications
  • Influence
Optimization of Combinatorial Testing by Incremental SAT Solving
TLDR
We propose an approach for combinatorial testing that generates a set of test cases that is as small as possible, using incremental SAT solving. Expand
  • 33
  • 4
  • PDF
Innate type 2 immunity is associated with eosinophilic pleural effusion in primary spontaneous pneumothorax.
RATIONALE Eosinophilic pleural effusion (EPE) is characterized by greater than 10% eosinophilia and is frequently associated with air and/or blood in the pleural cavity. Primary spontaneousExpand
  • 33
  • 3
Greedy combinatorial test case generation using unsatisfiable cores
TLDR
Combinatorial testing aims at covering the interactions of parameters in a system under test, while some combinations may be forbidden by given constraints (forbidden tuples). Expand
  • 21
  • 3
  • PDF
Immunomodulatory Efficacy of Standardized Annona muricata (Graviola) Leaf Extract via Activation of Mitogen-Activated Protein Kinase Pathways in RAW 264.7 Macrophages
Annona muricata, commonly known as Graviola, has been utilized as a traditional medicine to treat various human diseases. The aim of this study was to examine the immune-enhancing activity ofExpand
  • 12
  • 2
  • PDF
Bioefficacy of Graviola leaf extracts in scavenging free radicals and upregulating antioxidant genes.
The aims of this study were to determine bioactive components of Graviola leaf extracts and to examine the radical scavenging capacity, gene expression and transcription factors of antioxidantExpand
  • 17
  • 1
Influence of flavonol-rich excipient food (onion peel and Dendropanax morbifera) on the bioavailability of green tea epicatechins in vitro and in vivo.
The impacts of onion peel (OP) and Dendropanax morbifera (DM), as excipient foods rich in flavonols, on the digestive recovery, intestinal absorption, and pharmacokinetics of GT epicatechins wereExpand
  • 8
  • 1
Role of Citrullinated Fibrinogen Peptides in the Activation of CD4 T Cells from Patients with Rheumatoid Arthritis
This study was conducted to determine whether CD4 T cell responses to citrullinated fibrinogen occur in patients with rheumatoid arthritis (RA), especially in HLA-DR4-positive subjects. WholeExpand
  • 5
  • 1
  • PDF
Using a Distributed Representation of Words in Localizing Relevant Files for Bug Reports
TLDR
This paper proposes an approach called DrewBL to efficiently localize faulty files for a given bug report using a natural language processing tool, word2vec. Expand
  • 12
  • 1
Model checking class specifications for Web applications
  • E. Choi, H. Watanabe
  • Computer Science
  • 12th Asia-Pacific Software Engineering Conference…
  • 15 December 2005
TLDR
We propose a method to verify the consistency between a class specification and a page flow diagram using model checking. Expand
  • 11
  • 1
Distance-Integrated Combinatorial Testing
TLDR
This paper proposes a novel approach to combinatorial test generation, which achieves an increase of not only the number of new combinations but also the distance between test cases. Expand
  • 4
  • 1
  • PDF