Travelled to:1 × Israel
1 × USA
Collaborated with:S.Chang A.Perkusich J.C.A.d.Figueiredo W.D.Ehrenberger Q.Hu L.M.0003 X.Xie Y.L.0003 J.Zhao A.Cimatti F.Giunchiglia P.Pecchiari B.Pietra J.Profeta D.Romano P.Traverso
Talks about:system (2) mutat (2) deep (2) characterist (1) framework (1) distribut (1) softwar (1) provabl (1) correct (1) verifi (1)
Person: Bing Yu
DBLP: Yu:Bing
Contributed to:
1997
1993
2019Wrote 3 papers:
- CAV-1997-CimattiGPPPRTY #certification #embedded #safety #verification
- A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (AC, FG, PP, BP, JP, DR, PT, BY), pp. 202–213.
- SEKE-1993-ChangPFYE #design #distributed #fault tolerance #information management #object-oriented #realtime
- The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics (SKC, AP, JCAdF, BY, WDE), pp. 36–45.
- ASE-2019-Hu0XY0Z #framework #learning #mutation testing #testing
- DeepMutation++: A Mutation Testing Framework for Deep Learning Systems (QH, LM0, XX, BY, YL0, JZ), pp. 1158–1161.