7167 search results - page 289 / 1434 » A Technique for Invariant Generation |
201
click to vote
SIGMOD
2010
ACM
16 years 8 days ago
2010
ACM
We demonstrate ProgXe, a practical approach to support MultiCriteria Decision Support (MCDS) applications that need to report results as they are being generated to enable the use...
193
Voted
VLSID
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper discusses a Genetic Algorithm-based method of generating test vectorsfor detecting faults in combinational circuits. The GA-based approach combines the merits of two te...
178
Voted
AIPS
2000
15 years 8 months ago
2000
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
207
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
213
click to vote
ENTCS
2007
15 years 7 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...