Achieving high test coverage is important when developing blockchain smart contracts, but it
could be challenging without automated reasoning tools. In this paper, we present SolTG, an …

Blockchain technology and BPMN (Business Process Model and Notation) hold great
promise for revolutionizing a wide range of industries by improving transparency, security …

Test suite reduction methods are a current research topic. In particular, continuous practices
and regression testing demand minimizing the number of test cases. Recently, many smart …

This open access book constitutes the proceedings of the 36th International Conference on
Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July …

With the advent of blockchain networks, there has been a transition from traditional contracts
to Smart Contracts (SCs), which are crucial for maintaining trust within these networks …

Traditional CAD systems have expanded human capabilities in numerical calculations and
graphics processing, but they still have the following shortcomings without intelligent …

Because of the particularity of the diagnosis task, the software system is required to correctly
identify all possible fault types, especially to prevent misdiagnosis or missing diagnosis of …

It was our privilege to serve as the program chairs for CAV 2024, the 36th International
Conference on Computer-Aided Verification. CAV 2024 was held in Montreal, Canada, on …