Titlebook: Dependable Software Engineering. Theories, Tools, and Applications; 9th International Sy Holger Hermanns,Jun Sun,Lei Bu Conference proceedi

FER

Congregate

态度暖昧

,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

,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

PHON

吞没

多嘴多舌

,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

,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 ..

沙文主义

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