Zobrazeno 1 - 10
of 223
pro vyhledávání: '"XUANDONG LI"'
Publikováno v:
Meikuang Anquan, Vol 55, Iss 1, Pp 233-240 (2024)
Gas explosion accidents are the most serious type of accidents that cause losses in coal mines. In order to explore the pattern of unsafe actions related to such accidents and to regulate the behaviors of relevant work types in the operation process
Externí odkaz:
https://doaj.org/article/4357f366c8134f4eb834156b3cf3adb7
Publikováno v:
物联网学报, Vol 3, Pp 90-101 (2019)
The IFTTT style event-driven programming paradigm benefits normal users to build their own customized home automation Internet of things (IoT) system,meanwhile,it also brings serious safety and security risks.To handle this problem,Menshen was design
Externí odkaz:
https://doaj.org/article/dafc65aa8c9c41eab42038eb23473608
Publikováno v:
大数据, Vol 7, Pp 2021001-1 (2021)
A series of researches were conducted on the collection and organization of software engineering big data, software development knowledge representation and extraction, intelligent software development tools and service platforms. The purpose is to e
Externí odkaz:
https://doaj.org/article/e879f9f01a40422ab249517ad9179b80
Publikováno v:
大数据, Vol 7, Pp 2021004-1 (2021)
Bug triage aims to determine the priority and repair measures and is critical in ensuring software trustability. However, in the increasingly popular open-source projects, due to a large number of defects and lack of organization and management, it i
Externí odkaz:
https://doaj.org/article/b83aa1376459477082c0f9ae93f0119f
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-37
Preferences, the setting options provided by Android, are an essential part of Android apps. Preferences allow users to change app features and behaviors dynamically, and therefore their impacts need to be considered when testing the apps. Unfortunat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87f6493bc42192fe839a27261e092df2
https://doi.org/10.1145/3511804
https://doi.org/10.1145/3511804
Publikováno v:
Connection Science. 34:2822-2844
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0d7d4ba5a6739b9600f869bde5df9fc
https://doi.org/10.1080/09540091.2022.2151567
https://doi.org/10.1080/09540091.2022.2151567
Publikováno v:
Software and Systems Modeling. 21:1321-1338
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de5a73af33a22106e0369264fb9b3801
https://doi.org/10.1007/s10270-022-00980-8
https://doi.org/10.1007/s10270-022-00980-8
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:238-251
Cyber-physical systems (CPS) integrate discrete computations with continuous physical processes and can be highly nonlinear and nondeterministic. Unlike the verification of CPS, which is difficult to handle, the falsification of CPS fulfills certain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::88eb5e3793b960e4c888c2470e1133e2
https://doi.org/10.1109/tcad.2021.3056360
https://doi.org/10.1109/tcad.2021.3056360
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software
Publikováno v:
IEEE Transactions on Software Engineering. 48:346-363
Interrupt-driven programs are widely deployed in safety-critical embedded systems to perform hardware and resource dependent data operation tasks. The frequent use of interrupts in these systems can cause race conditions to occur due to interactions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f34aee07be8468a19722f1362dbf7f6
https://doi.org/10.1109/tse.2020.2989171
https://doi.org/10.1109/tse.2020.2989171
Publikováno v:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0a8e8b337e6b5e0ba6a511003bd8d469
https://doi.org/10.1145/3551349.3556941
https://doi.org/10.1145/3551349.3556941