Apoptosis
发表于 2025-3-23 13:23:03
http://reply.papertrans.cn/88/8763/876219/876219_11.png
整体
发表于 2025-3-23 15:25:39
Cost-Aware Automatic Program Repair,oes not exceed a given repair budget. As part of our predicate abstractionbased solution framework, we present a sound and complete algorithm for repair of Boolean programs. We have developed a prototype tool based on SMT solving and used it successfully to repair diverse errors in benchmark C programs.
上腭
发表于 2025-3-23 21:31:57
A Decision Tree Abstract Domain for Proving Conditional Termination,g conditional termination of programs written in (a subset of) . and, using experimental evidence, we show that it performs well on a wide variety of benchmarks, it is competitive with the state of the art and is able to analyze programs that are out of the reach of existing methods.
胶状
发表于 2025-3-23 22:21:58
Block Me If You Can!,w experimentally the efficiency of the method, on various examples, including a fine-grained model of Szymanski’s mutual exclusion protocol, whose correctness, to the best of our knowledge, has not been proven automatically by any other existing methods.
absolve
发表于 2025-3-24 04:46:37
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions,uite of heuristically guided tactics. It is often able to automatically infer preconditions describing lists, trees, cyclic and composite structures which, in other tools, previously had to be supplied by hand.
为敌
发表于 2025-3-24 10:18:35
Verifying Recursive Programs Using Intraprocedural Analyzers,underlying program analyzer. Such function summaries enable our algorithm to check recursive programs. We implement a prototype using the recursion-free program analyzer . and compare it with other program analyzers on the benchmarks in the 2014 Competition on Software Verification.
Mammal
发表于 2025-3-24 13:48:09
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction,mating logical subtraction operation. Unlike general complementation, subtraction more easily allows for increased precision in case its arguments are related. The approach is not restricted to a specific abstract domain and we use it to analyze programs using the abstract domains of intervals and of 3-valued structures
有恶臭
发表于 2025-3-24 17:00:54
http://reply.papertrans.cn/88/8763/876219/876219_18.png
Aviary
发表于 2025-3-24 19:03:48
http://reply.papertrans.cn/88/8763/876219/876219_19.png
没有准备
发表于 2025-3-25 01:03:08
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions,s approach eases the design of the analysis as memory abstract domains can be re-used by applying our separating conjunction domain combinator. And more importantly, this combinator enables an analysis designer to easily create a combined domain that applies computationally-expensive abstract domains only where it is required.