235 search results - page 2 / 47 » Test Generation Based on Symbolic Specifications |
ICSE
2009
IEEE-ACM
13 years 10 months ago
2009
IEEE-ACM
RTCSA
1999
IEEE
13 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
COMPSAC
1996
IEEE
13 years 10 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
ICST
2010
IEEE
13 years 4 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
KBSE
2007
IEEE
14 years 10 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...