2026 search results - page 231 / 406 » Tools for Test Case Generation |
164
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
119
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Computational experiments are reported involving the concept of foreknowledge, an agent’s direct, unmediated and accurate, but possibly incomplete, awareness of its future includ...
152
click to vote
DIGITEL
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a collaborative game-based creativity support system, Idea Storming Cube, in support of creative thinking. It aims to make people form a creative and perspect...
126
click to vote
COMBINATORICS
2002
15 years 5 months ago
2002
Several authors have examined connections between permutations which avoid 132, continued fractions, and Chebyshev polynomials of the second kind. In this paper we prove analogues...
177
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...