human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Reliability demonstration for safety-critical systems"):
  Abstract: This paper suggests a new model for reliability demonstration of safety-critical systems, based on the TRW Software Reliability Theory. The paper describes the model, the test equipment required, and test strategies based on the various constraints occurring during software development. The paper also compares a new testing method, single risk sequential testing (SRST), with the common probability ratio sequential testing method (PRST), and concludes that: (i) SRST provides higher chances of success than PRST; (ii) SRST takes less time to complete than PRST; and (iii) SRST satisfies the consumer-risk criterion, whereas PRST provides a much smaller consumer-risk than the requirement.

Includes members:
  Member "An optimal statistical testing policy for software reliability demonstration of safety-critical systems":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science