human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "automatic repair of buggy if conditions and missing preconditions with smt"
  Abstract: We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions. As input, it takes a program and a test suite which contains passing test cases modeling the expected behavior of the program and at least one failing test case embodying the bug to be repaired. It consists of collecting data from multiple instrumented test suite executions, transforming this data into a Satisfiability Modulo Theory (SMT) problem, and translating the SMT result -- if there exists one -- into a source code patch. Nopol repairs object oriented code and allows the patches to contain nullness checks as well as specific method calls.

Connected through hyperedge HE-1 (induced by source paper "automatic software repair a bibliography"):
  with members:
    - "automatic repair of real bugs in java a large scale experiment on the defects4j dataset"
    - "principles of antifragile software"
    - "automatic repair of infinite loops"
    - "mining software repair models for reasoning on the search space of automated program fixing"
    - "automatic repair of real bugs an experience report on the defects4j dataset"
    - "a critical review of automatic patch generation learned from human written patches essay on the problem statement and the evaluation of automatic software repair"
    - "do the fix ingredients already exist an empirical inquiry into the redundancy assumptions of program repair approaches"
    - "automated fixing of programs with contracts"

Connected through hyperedge HE-2 (induced by source paper "automatic repair of real bugs in java a large scale experiment on the defects4j dataset"):
  with members:
    - "nopol automatic repair of conditional statement bugs in java programs"
    - "an analysis of the search spaces for generate and validate patch generation systems"
    - "mining software repair models for reasoning on the search space of automated program fixing"
    - "a critical review of automatic patch generation learned from human written patches essay on the problem statement and the evaluation of automatic software repair"
    - "do the fix ingredients already exist an empirical inquiry into the redundancy assumptions of program repair approaches"
    - "test case purification for improving fault localization"
    - "automated fixing of programs with contracts"

Connected through hyperedge HE-3 (induced by source paper "cfaar control flow alteration to assist repair"):
  with members:
    - "nopol automatic repair of conditional statement bugs in java programs"
    - "precise condition synthesis for program repair"
    - "an analysis of the search spaces for generate and validate patch generation systems"
    - "automated fixing of programs with contracts"

Connected through hyperedge HE-4 (induced by source paper "nopol automatic repair of conditional statement bugs in java programs"):
  with members:
    - "automatic repair of real bugs in java a large scale experiment on the defects4j dataset"
    - "automatic repair of infinite loops"
    - "mining software repair models for reasoning on the search space of automated program fixing"
    - "automatic repair of real bugs an experience report on the defects4j dataset"
    - "dynamic analysis can be improved with automatic test suite refactoring"
    - "a critical review of automatic patch generation learned from human written patches essay on the problem statement and the evaluation of automatic software repair"
    - "do the fix ingredients already exist an empirical inquiry into the redundancy assumptions of program repair approaches"
    - "test case purification for improving fault localization"

Connected through hyperedge HE-5 (induced by source paper "dynamic patch generation for null pointer exceptions using metaprogramming"):
  with members:
    - "automatic software repair a bibliography"
    - "automatic repair of real bugs in java a large scale experiment on the defects4j dataset"
    - "nopol automatic repair of conditional statement bugs in java programs"
    - "an analysis of the search spaces for generate and validate patch generation systems"
    - "npefix automatic runtime repair of null pointer exceptions in java"

Connected through hyperedge HE-6 (induced by source paper "tortoise interactive system configuration repair"):
  with members:
    - "mu puppet a declarative subset of the puppet configuration language"
    - "programmatic and direct manipulation together at last"
    - "rehearsal a configuration verification tool for puppet"
    - "automated fixing of programs with contracts"
    - "automated feedback generation for introductory programming assignments"

Connected through hyperedge HE-7 (induced by source paper "acdc altering control dependence chains for automated patch generation"):
  with members:
    - "an analysis of the search spaces for generate and validate patch generation systems"
    - "automated fixing of programs with contracts"

Connected through hyperedge HE-8 (induced by source paper "production driven patch generation and validation"):
  with members:
    - "automatic software repair a bibliography"
    - "automatic repair of real bugs in java a large scale experiment on the defects4j dataset"
    - "production driven patch generation"
    - "nopol automatic repair of conditional statement bugs in java programs"
    - "banditrepair speculative exploration of runtime patches"
    - "an analysis of the search spaces for generate and validate patch generation systems"
    - "automatic repair of real bugs an experience report on the defects4j dataset"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.SE(Software Engineering)