投票
发表于 2025-3-25 06:28:08
http://reply.papertrans.cn/89/8804/880321/880321_21.png
让步
发表于 2025-3-25 11:23:06
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
发表于 2025-3-25 15:10:32
http://reply.papertrans.cn/89/8804/880321/880321_23.png
Jejune
发表于 2025-3-25 18:12:57
http://reply.papertrans.cn/89/8804/880321/880321_24.png
镶嵌细工
发表于 2025-3-25 20:47:30
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.
哺乳动物
发表于 2025-3-26 02:21:14
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
发表于 2025-3-26 05:58:24
http://reply.papertrans.cn/89/8804/880321/880321_27.png
lipids
发表于 2025-3-26 11:50:11
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
发表于 2025-3-26 15:37:36
http://reply.papertrans.cn/89/8804/880321/880321_29.png
ligature
发表于 2025-3-26 16:51:18
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.