1387 search results - page 81 / 278 » Next generation CiteSeer |
172
click to vote
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
132
click to vote
WSC
1998
15 years 5 months ago
1998
This paper discusses issues in modeling C4I and cognitive processes in next generation simulations and applications to Force XXI command and control. We propose a modification to ...
123
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
150
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
144
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a methodology that could be used by a utility to estimate the actual cost of congestion on its transmission system using limited, non-state estimator data. Th...