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: "searching publications on software testing"
  Abstract: This note concerns a search for publications in which the pragmatic concept of a test as conducted in the practice of software testing is formalized, a theory about software testing based on such a formalization is presented or it is demonstrated on the basis of such a theory that there are solid grounds to test software in cases where in principle other forms of analysis could be used. This note reports on the way in which the search has been carried out and the main outcomes of the search. The message of the note is that the fundamentals of software testing are not yet complete in some respects.

Connected through hyperedge HE-1 (induced by source paper "about instruction sequence testing"):
  with members:
    - "putting instruction sequences into effect"
    - "informatics perspectives on decision taking a case study on resolving process product ambiguity"
    - "thread algebra for poly threading"
    - "instruction sequence notations with probabilistic instructions"
    - "mechanistic behavior of single pass instruction sequences"
    - "thread extraction for polyadic instruction sequences"
    - "instruction sequences with indirect jumps"

Connected through hyperedge HE-2 (induced by source paper "decision taking as a service"):
  with members:
    - "instruction sequence processing operators"
    - "stratified outsourcing theory"
    - "informatics perspectives on decision taking a case study on resolving process product ambiguity"
    - "real islamic logic"
    - "proposition algebra"
    - "a static theory of promises"

Connected through hyperedge HE-3 (induced by source paper "informaticology combining computer science data science and fiction science"):
  with members:
    - "instruction sequence processing operators"
    - "decision taking as a service"
    - "four conceptions of instruction sequence faults"
    - "putting instruction sequences into effect"
    - "a survey of paraconsistent logics"

Connected through hyperedge HE-4 (induced by source paper "putting instruction sequences into effect"):
  with members:
    - "instruction sequence processing operators"
    - "on the expressiveness of single pass instruction sequences"
    - "indirect jumps improve instruction sequence performance"
    - "searching publications on operating systems"
    - "on the contribution of backward jumps to instruction sequence expressiveness"
    - "a progression ring for interfaces of instruction sequences threads and services"
    - "instruction sequences with dynamically instantiated instructions"
    - "machine structure oriented control code logic"

Connected through hyperedge HE-5 (induced by source paper "informatics perspectives on decision taking a case study on resolving process product ambiguity"):
  with members:
    - "instruction sequence processing operators"
    - "informaticology combining computer science data science and fiction science"
    - "putting instruction sequences into effect"
    - "stratified outsourcing theory"
    - "real islamic logic"
    - "proposition algebra"
    - "formaleuros formalcoins and virtual monies"
    - "informal control code logic"

Connected through hyperedge HE-6 (induced by source paper "four conceptions of instruction sequence faults"):
  with members:
    - "instruction sequence processing operators"
    - "about instruction sequence testing"
    - "putting instruction sequences into effect"
    - "informatics perspectives on decision taking a case study on resolving process product ambiguity"
    - "thread algebra for poly threading"
    - "on the contribution of backward jumps to instruction sequence expressiveness"
    - "thread extraction for polyadic instruction sequences"

Connected through hyperedge HE-7 (induced by source paper "stratified outsourcing theory"):
  with members:
    - "business mereology imaginative definitions of insourcing and outsourcing transformations"
    - "formaleuros formalcoins and virtual monies"
    - "searching publications on operating systems"
    - "machine structure oriented control code logic"

Connected through hyperedge HE-8 (induced by source paper "steering fragments of instruction sequences"):
  with members:
    - "instruction sequence processing operators"
    - "formaleuros formalcoins and virtual monies"
    - "informal control code logic"
    - "searching publications on operating systems"
    - "on the contribution of backward jumps to instruction sequence expressiveness"
    - "machine structure oriented control code logic"
    - "thread extraction for polyadic instruction sequences"

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)