human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "a survey of challenges for runtime verification from advanced application domains beyond software"):
  Abstract: Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification.

Includes members:
  Member "adventures in monitorability from branching to linear time and back again":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "four valued monitorability of omega regular languages")
  Member "after you please browser extensions order attacks and countermeasures":
    also connected through other hyperedges:
      (none)
  Member "selective monitoring":
    also connected through other hyperedges:
      (none)
  Member "monitoring data minimisation":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "tool support of formal methods for privacy by design")
  Member "on the monitoring of decentralized specifications semantics properties analysis and simulation":
    also connected through other hyperedges:
      (none)
  Member "an algebraic framework for runtime verification":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "online quantitative timed pattern matching with semiring valued weighted automata")
  Member "learning to protect communications with adversarial neural cryptography":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "recent advances of image steganography with generative adversarial networks")
  Member "a web based tool for analysing normative documents in english":
    also connected through other hyperedges:
      (none)

Question: Please tell me which class the source paper 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)