Symbolic path simulation is becoming an increasingly important component in many static
analysis tasks. The emergence of inter-procedural path-sensitive dataflow algorithms has …

Many white-box testing methods are based on the analysis of program paths. For these
methods, an important problem is to determine the feasibility of a given path, and find …

This study aims to improve an automated test case generation method to minimize a number
of test cases while maximizing an ability to identify critical domain specific requirements. It …

Automated generation of test data is an important and challenging activity in Model-based
Testing. This typically requires solving of constraints, written in Object Constraint Language …

Dynamic detection of program invariants is emerging as an important research area with
many challenging problems. Generating suitable test cases that support accurate detection …

The paper presents a novel approach for automated test data generation of imperative
programs containing integer, boolean and/or float variables. Our approach is based on …

Program slicing combined with constraint solving is a powerful tool for software analysis.
Path conditions are generated for a slice or chop, which---when solved for the input …

5,819,244 A 10, 1998 Smith 5,924,048 A 7, 1999 McCormacket al. 6,285,968 B1 9/2001
Motoyama et al. 6,292,763 B1 9, 2001 Dunbar et al. 6,430,993 B1 8, 2002 Seta 6,449,603 …

The invention relates to an evolutionary optimization method. First, an initial population of
individuals is set up and an original fitness function is applied. Then the offspring individuals …

Input validation is essential and critical in Web applications. It is the enforcement of
constraints that any input must satisfy before it is accepted to raise external effects. We have …