Abstract: The ability to detect errors is a crucial aspect of software testing, particularly for automated test data generation methods such as Concolic testing. This paper introduces a Concolic-based ...
Abstract: This paper introduces SIMSPIRE, a comprehensive simulator of the human respiratory system designed as a versatile tool for simulating various patient conditions. It can be used to model ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results