|
Volumn 6956 LNCS, Issue , 2011, Pages 1-4
|
Search-based program analysis
|
Author keywords
program analysis; specifications; test case generation
|
Indexed keywords
DYNAMIC TECHNIQUES;
FAULT LOCALIZATION;
PROGRAM ANALYSIS;
SEARCH-BASED;
SOFTWARE BEHAVIOR;
SPECIFICATION MINING;
STATIC TECHNIQUES;
TEST CASE GENERATION;
UNDER-APPROXIMATION;
BEHAVIORAL RESEARCH;
SOFTWARE ENGINEERING;
SPECIFICATIONS;
STATIC ANALYSIS;
DYNAMIC ANALYSIS;
|
EID: 80052877926
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/978-3-642-23716-4_1 Document Type: Conference Paper |
Times cited : (3)
|
References (5)
|