標(biāo)題: Titlebook: Dependable Software Engineering. Theories, Tools, and Applications; 9th International Sy Holger Hermanns,Jun Sun,Lei Bu Conference proceedi [打印本頁(yè)] 作者: DEIFY 時(shí)間: 2025-3-21 19:26
書目名稱Dependable Software Engineering. Theories, Tools, and Applications影響因子(影響力)
書目名稱Dependable Software Engineering. Theories, Tools, and Applications影響因子(影響力)學(xué)科排名
書目名稱Dependable Software Engineering. Theories, Tools, and Applications網(wǎng)絡(luò)公開(kāi)度
書目名稱Dependable Software Engineering. Theories, Tools, and Applications網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Dependable Software Engineering. Theories, Tools, and Applications被引頻次
書目名稱Dependable Software Engineering. Theories, Tools, and Applications被引頻次學(xué)科排名
書目名稱Dependable Software Engineering. Theories, Tools, and Applications年度引用
書目名稱Dependable Software Engineering. Theories, Tools, and Applications年度引用學(xué)科排名
書目名稱Dependable Software Engineering. Theories, Tools, and Applications讀者反饋
書目名稱Dependable Software Engineering. Theories, Tools, and Applications讀者反饋學(xué)科排名
作者: 贊美者 時(shí)間: 2025-3-21 21:41
978-981-99-8663-7The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapor作者: 多余 時(shí)間: 2025-3-22 03:30
Dependable Software Engineering. Theories, Tools, and Applications978-981-99-8664-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: VEN 時(shí)間: 2025-3-22 07:33 作者: noxious 時(shí)間: 2025-3-22 11:16 作者: 鎮(zhèn)痛劑 時(shí)間: 2025-3-22 15:50
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265725.jpg作者: 鎮(zhèn)痛劑 時(shí)間: 2025-3-22 20:46
Phase Transitions in Surface Filmse in regexes that counts the number of matchings of sub-patterns. The state-of-the-art string solvers are incapable of solving string constraints with regex-counting and string-length efficiently, especially when the counting and length bounds are large. In this work, we propose an automata-theoreti作者: –LOUS 時(shí)間: 2025-3-22 21:59 作者: BRAND 時(shí)間: 2025-3-23 04:31
Springer Series in Chemical Physicstwork robustness. To improve the scalability of neural network verification while approaching completeness, researchers have adopted the branch-and-bound (BaB) framework. Better branching can reduce the number of branches to explore and plays an important role in BaB verification methods. In this pa作者: 符合國(guó)情 時(shí)間: 2025-3-23 07:58
Springer Series in Chemical Physicsaddition, existing methods often overlook log event structural relationships, causing instability. In this work, we propose AdvGraLog, a Generative Adversarial Network (GAN) model based on log graph representation, to detect anomalies when the reconstruction error of discriminator is terrible. We co作者: arthrodesis 時(shí)間: 2025-3-23 13:05 作者: ESPY 時(shí)間: 2025-3-23 14:17 作者: dithiolethione 時(shí)間: 2025-3-23 20:15 作者: Pastry 時(shí)間: 2025-3-24 02:05
Victor Korotkikh,Galina Korotkikhefficiently and effectively detect crash bugs in Android apps. However, it faces challenges in reproducing the crash bugs it detects. To deeply understand the symptoms and root causes of these challenges, we conducted a comprehensive study on the reproducibility issues of . with Android apps. We foc作者: Lasting 時(shí)間: 2025-3-24 05:36
Victor Korotkikh,Galina Korotkikhftware complexity by enabling automated model creation and transformation. Consequently, many software development firms are actively seeking integrated development platforms (IDP) to enhance automation within their software production processes. However, the adoption of MDE and the utilisation of I作者: climax 時(shí)間: 2025-3-24 08:14 作者: FIR 時(shí)間: 2025-3-24 11:44 作者: 大洪水 時(shí)間: 2025-3-24 16:28
Ali Hussein Samadi,Masoumeh Alipourianrators, which limits their usage in related scenes. To address the problem, we comprehensively model the operators of regexes and apply the modeling method to solve regex crossword puzzles. Firstly, to solve the challenges of comprehensive modeling of regexes, we propose an over-approximate modeling作者: 好色 時(shí)間: 2025-3-24 21:07
Nezameddin Faghih,Mahshid Sazegars of labeled data to train detection models. On the one hand, a major assumption is that the training and test data follow an identical distribution. However, vulnerabilities in different software projects may exhibit various distributions due to their application scenarios, coding habits, and other作者: averse 時(shí)間: 2025-3-25 00:54
Yu. Z. Miropol’sky,O. D. Shishkina areas has raised public concerns about their correctness and robustness. To provide testing evidence for the dependable behavior of Deep Neural Networks (DNNs), various DL coverage criteria have been proposed. These coverage criteria are often “ad-hoc” in terms of granularity for different tasks, b作者: 滋養(yǎng) 時(shí)間: 2025-3-25 06:26
Yu. Z. Miropol’sky,O. D. Shishkinaalence definition without substitution or name swapping. Furthermore, we provide structural and rule induction principles that encapsulate the Barendregt Variable Convention, enabling formal proofs mirroring informally-styled ones. These principles are leveraged to establish foundational results suc作者: HARP 時(shí)間: 2025-3-25 10:07 作者: 符合規(guī)定 時(shí)間: 2025-3-25 14:20
https://doi.org/10.1007/978-94-017-1325-2 effective in the domain of spacecraft rendezvous, owing to its high performance in complex continuous control tasks and low online storage and computation cost. However, the lack of safety guarantees during the learning process restricts the application of RL to safety-critical control systems with作者: 者變 時(shí)間: 2025-3-25 18:10
Akira Takeishi,Tsuyoshi Numagamie at the core of the abstract interpretation framework, and the numerical abstract domains aiming at analyzing numerical properties have received extensive attention. The template constraint matrix domain (also called the template polyhedra domain) is widely used due to its configurable constraint m作者: Anecdote 時(shí)間: 2025-3-25 20:05 作者: Allodynia 時(shí)間: 2025-3-26 00:17
,String Constraints with?Regex-Counting and?String-Length Solved More Efficiently,e in regexes that counts the number of matchings of sub-patterns. The state-of-the-art string solvers are incapable of solving string constraints with regex-counting and string-length efficiently, especially when the counting and length bounds are large. In this work, we propose an automata-theoreti作者: 沙草紙 時(shí)間: 2025-3-26 08:18
,Reachability Based Uniform Controllability to?Target Set with?Evolution Function,ving from the initial set can enter into the target set. For this purpose, we first introduce the evolution function (EF) for exactly describing the reachable set and give an over-approximation of the reachable set with high precision using the series representation of the evolution function. Subseq作者: BRINK 時(shí)間: 2025-3-26 08:30 作者: 羅盤 時(shí)間: 2025-3-26 14:05
,Graph-Based Log Anomaly Detection via?Adversarial Training,addition, existing methods often overlook log event structural relationships, causing instability. In this work, we propose AdvGraLog, a Generative Adversarial Network (GAN) model based on log graph representation, to detect anomalies when the reconstruction error of discriminator is terrible. We co作者: patriarch 時(shí)間: 2025-3-26 20:27 作者: coltish 時(shí)間: 2025-3-26 23:03
,SeHBPL: Behavioral Semantics-Based Patch Presence Test for?Binaries,ed to their software, organizations can better understand their exposure to potential threats. Many schemes for patch presence testing have be proposed. However, they did not consider the challenges brought about by various compilation options, they are not practical when testing patch presence for 作者: Psychogenic 時(shí)間: 2025-3-27 04:07
,Session Types with?Multiple Senders Single Receiver, from communication errors such as deadlocks. Session types are a typing discipline for enforcing safe structured interactions between multiple participants. However, each typed interaction is restricted to having one fixed sender and one fixed receiver. In this paper, we extend session types with e作者: Ethics 時(shí)間: 2025-3-27 08:58 作者: etidronate 時(shí)間: 2025-3-27 12:08 作者: 安慰 時(shí)間: 2025-3-27 16:03 作者: 磨坊 時(shí)間: 2025-3-27 21:23 作者: 滔滔不絕地講 時(shí)間: 2025-3-28 00:12 作者: 地殼 時(shí)間: 2025-3-28 03:51 作者: eustachian-tube 時(shí)間: 2025-3-28 06:52 作者: paltry 時(shí)間: 2025-3-28 14:09 作者: 都相信我的話 時(shí)間: 2025-3-28 14:51 作者: neoplasm 時(shí)間: 2025-3-28 22:17 作者: 胰島素 時(shí)間: 2025-3-29 02:30 作者: 有權(quán)威 時(shí)間: 2025-3-29 03:14
,Deducing Matching Strings for?Real-World Regular Expressions,is insufficient. For example, existing works lack support for some important features such as lookbehind, are not resilient to subtle semantic differences (such as partial/full matching), fall short of Unicode support, leading to loss of test coverage or missed bugs. To address these challenges, in 作者: 專橫 時(shí)間: 2025-3-29 08:28
,String Constraints with?Regex-Counting and?String-Length Solved More Efficiently,ic, which the off-the-shelf SMT solvers can then solve. To improve the performance further, we also propose techniques to reduce the sizes of automata. We implement the algorithms and validate our approach on 48,843 benchmark instances. The experimental results show that our approach can solve more 作者: insincerity 時(shí)間: 2025-3-29 12:39
,Reachability Based Uniform Controllability to?Target Set with?Evolution Function,It is worth noting that both of the heuristic algorithms may suffer from the risk of local optima. To avoid the potential dilemma, we additionally propose a reference trajectory based algorithm for further improvement. Finally, we use some benchmarks with comparisons to show the efficiency of our ap作者: bromide 時(shí)間: 2025-3-29 17:39
,Graph-Based Log Anomaly Detection via?Adversarial Training,eriority of our proposed method over baseline approaches in real-world datasets. Supplementary experiments further validate the effectiveness of our model in handling imbalanced log data and augmenting model robustness.作者: invulnerable 時(shí)間: 2025-3-29 22:43 作者: BROTH 時(shí)間: 2025-3-30 03:34 作者: HACK 時(shí)間: 2025-3-30 07:46 作者: FER 時(shí)間: 2025-3-30 08:39 作者: Congregate 時(shí)間: 2025-3-30 14:38 作者: 態(tài)度暖昧 時(shí)間: 2025-3-30 18:49
,Leveraging TLA, Specifications to?Improve the?Reliability of?the?ZooKeeperCoordination Service, of the ZooKeeper implementation. The formal specifications help eliminate the ambiguities in the protocol design and provide comprehensive system documentation. They also help find critical deep bugs in system implementation, which are beyond the reach of state-of-the-art testing techniques. Our sp作者: overture 時(shí)間: 2025-3-30 23:05
,Modeling Regex Operators for?Solving Regex Crossword Puzzles,es website, and compare our algorithm with five state-of-the-art tools. Experiment results show that our algorithm can solve 97.76% rectangular puzzles and 98.95% hexagonal puzzles in an acceptable running time, which are 19.06% and 65.27% higher than the highest success rates of other methods respe作者: Genteel 時(shí)間: 2025-3-31 01:45 作者: PHON 時(shí)間: 2025-3-31 05:12 作者: 吞沒(méi) 時(shí)間: 2025-3-31 12:44 作者: 多嘴多舌 時(shí)間: 2025-3-31 16:58
,An Abstract Domain of?Linear Templates with?Disjunctive Right-Hand-Side Intervals,cting analysis). Experimental results of our prototype are encouraging: In practice, the new abstract domain can find interesting non-convex invariants that are out of the expressiveness of the classic template constraint matrix abstract domain.作者: Hormones 時(shí)間: 2025-3-31 19:02
,Deducing Matching Strings for?Real-World Regular Expressions,strings for regexes, which randomly generates matching strings from the input regex effectively. We evaluate . against nine related state-of-the-art tools. The evaluation results show the high effectiveness and efficiency of ..作者: 沙文主義 時(shí)間: 2025-3-31 22:56
Phase Transitions in Surface Filmsic, which the off-the-shelf SMT solvers can then solve. To improve the performance further, we also propose techniques to reduce the sizes of automata. We implement the algorithms and validate our approach on 48,843 benchmark instances. The experimental results show that our approach can solve more 作者: AMBI 時(shí)間: 2025-4-1 03:42
Surface-Enhanced Raman ScatteringIt is worth noting that both of the heuristic algorithms may suffer from the risk of local optima. To avoid the potential dilemma, we additionally propose a reference trajectory based algorithm for further improvement. Finally, we use some benchmarks with comparisons to show the efficiency of our ap作者: 祖?zhèn)髫?cái)產(chǎn) 時(shí)間: 2025-4-1 09:20 作者: Magnitude 時(shí)間: 2025-4-1 12:16
MicroRNAs and Their Role in Viral Infection . based on behavioral semantics, and test patch presence by generating a behavioral semantics signature of the patch and searching for it in the target binary.. is tested with 6,912 binaries corresponding to 91 vulnerabilities and achieves high accuracy and precision, outperforming the state-of-the作者: 易怒 時(shí)間: 2025-4-1 14:34 作者: GUEER 時(shí)間: 2025-4-1 18:30
Victor Korotkikh,Galina Korotkikhyed it 200 times using .’s replay function and calculated the success rate. Through manual analysis of screen recording files, log files of event handlers, and the source code of the apps, we pinpointed five root causes contributing to .’s reproducibility issues: Injection Failure, Event Ambiguity,
