publié le: 2021
Static bug detection has shown its effectiveness in detecting well-defined memory errors, e.g., memory leaks, buffer overflows, and null dereference....
UI (User Interface) is an essential factor influencing users' perception of an app. However, it is hard for even professional designers to determine i...
Search-based techniques have been successfully used to automate test case generation. Such approaches allocate a fixed search budget to generate test...
Blockchain offers a distributed ledger to record data collected from Internet of Thing (IoT) devices as immutable and tamper-proof transactions and se...
A number of product-line analysis approaches lift analyses such as type checking, model checking, and theorem proving from the level of single program...
