2441 search results - page 207 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
131
click to vote
EDO
2005
Springer
15 years 9 months ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...
153
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
134
click to vote
HYBRID
1995
Springer
15 years 7 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
132
Voted
DAC
2008
ACM
15 years 5 months ago
2008
ACM
This paper presents an automated analog synthesis tool for topology generation and subsequent circuit sizing. Though sizing is indispensable, the paper mainly concentrates on topo...
126
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...