452 search results - page 4 / 91 » Symbolic Execution of Behavioral Requirements |
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
ENTCS
2008
14 years 10 months ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
COMPSAC
1996
IEEE
15 years 2 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...
IAW
2003
IEEE
15 years 3 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
102
click to vote
AGENTS
2001
Springer
15 years 3 months ago
2001
Springer
Autonomous robots, such as robot office couriers, need navigation routines that support flexible task execution and effective action planning. This paper describes XFRMLEARN, a s...