Titlebook: Structured Object-Oriented Formal Language and Method; 8th International Wo Zhenhua Duan,Shaoying Liu,Fumiko Nagoya Conference proceedings

投票

让步

0302-9743 lly reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain..978-3-030-13650-5978-3-030-13651-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

Instrumental

Jejune

镶嵌细工

Dataset Diversity for Metamorphic Testing of Machine Learning Software and provides a new way of generating follow-up test inputs. Behavioral oracle monitors changes of certain statistical indicators as training processes proceed and is a basis of metamorphic relations to be checked. The proposed method is illustrated with a case of software testing of neural network programs to classify handwritten numbers.

哺乳动物

Runtime Verification Method for Social Network Security Based on Source Code Instrumentationnd generate the execution trace of the system. The trace is dealt with by the monitor in real-time to check whether the system satisfies or violates the desired property. To illustrate the effectiveness of this method, a case study of an open-source social network system is provided.

META

lipids

Verification of SysML Activity Diagrams Using Hoare Logic and SOFLer’ need. We also propose a method to dealing with invocation, because invocation is very common in the model-driven development process. In this paper, we describe the principle of TBFV-M and present a case study to demonstrate its feasibility and usability. Finally, we conclude the paper and point out future research directions.

oxidize

ligature

State-of-the-Art and Future Trends of Blockchain Based on DAG Structuree of the next generation blockchain. Furthermore, two influential applications of DAG blockchain systems: IOTA and Byteball are introduced. Finally, Conclusion and forecast of blockchain are discussed.