5855 search results - page 100 / 1171 » Test generation and minimization with |
100
click to vote
CODES
2000
IEEE
15 years 5 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
104
click to vote
HICSS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper describes the uses and architecture of a network-centered computing-rich software platform called PowerWeb. PowerWeb was designed and built as a simulation environment ...
116
click to vote
DMIN
2006
15 years 2 months ago
2006
- Filtering the immense amount of data available electronically over the World Wide Web is an important task of search engines in data mining applications. Users when performing se...
110
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
127
click to vote
RSP
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...