Technological trends are often short-lived and have no lasting effect. New programming languages show up every year, ...

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: To ensure the software quality, testing methods aim at both targets of achieving high code coverage and error detection capability. Among various testing ...