Abstract. According to the problem that the accurate and efficiency of the software model, this paper proposes a new method to describe the software behavior. The method using program slicing to dynamic analysis the system calls of the running software, help the system to capture the key system calls. And then build a software model combining import system calls and its arguments. Experiments shows that it can construct the software model with high accuracy and can efficient detect the abnormal behavior
Program slicing, a program reduction technique, identifies codes that are related to a given functio...
When we debug and maintain large software, it is very important to localize the scope of our concern...
fdwyerhatcliffgcisksuedu Applying nitestate verication techniques eg model check ing to software r...
It is difficult to dynamically assess the runtime trustworthiness of a software program. Improperly ...
International audienceRecent research proposed efficient methods for software verification combining...
It is essential to ensure the correctness of software systems, especially for large and safety-criti...
Program slicing is a well known family of techniques used to identify code fragments which depend on...
The common and most often used models of software’s behavior are described and examined, advantages ...
Program understanding is an important aspect in Software Maintenance and Reengineering. Understandin...
In embedded control systems, the potential risks of software defects have been increasing because of...
Program slicing is a well known family of techniques used to identify code fragments which depend on...
This study explores the relationship between program slices and faults. The aim is to investigate wh...
Program slicing is a well known family of techniques used to identify code fragments which depend on...
A dynamic program slice is an executable part of a program whose behavior is identical, for the same...
We present conditioned slicing as a general slicing framework for program comprehension. A condition...
Program slicing, a program reduction technique, identifies codes that are related to a given functio...
When we debug and maintain large software, it is very important to localize the scope of our concern...
fdwyerhatcliffgcisksuedu Applying nitestate verication techniques eg model check ing to software r...
It is difficult to dynamically assess the runtime trustworthiness of a software program. Improperly ...
International audienceRecent research proposed efficient methods for software verification combining...
It is essential to ensure the correctness of software systems, especially for large and safety-criti...
Program slicing is a well known family of techniques used to identify code fragments which depend on...
The common and most often used models of software’s behavior are described and examined, advantages ...
Program understanding is an important aspect in Software Maintenance and Reengineering. Understandin...
In embedded control systems, the potential risks of software defects have been increasing because of...
Program slicing is a well known family of techniques used to identify code fragments which depend on...
This study explores the relationship between program slices and faults. The aim is to investigate wh...
Program slicing is a well known family of techniques used to identify code fragments which depend on...
A dynamic program slice is an executable part of a program whose behavior is identical, for the same...
We present conditioned slicing as a general slicing framework for program comprehension. A condition...
Program slicing, a program reduction technique, identifies codes that are related to a given functio...
When we debug and maintain large software, it is very important to localize the scope of our concern...
fdwyerhatcliffgcisksuedu Applying nitestate verication techniques eg model check ing to software r...