606 search results - page 46 / 122 » A Comparative Study of Industrial Static Analysis Tools |
177
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
160
click to vote
WCRE
2008
IEEE
16 years 13 days ago
2008
IEEE
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
170
click to vote
WCRE
2006
IEEE
16 years 2 days ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
156
click to vote
SIGCOMM
2009
ACM
16 years 18 days ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
157
Voted
DBPL
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...