44 search results - page 2 / 9 » compsac 2007 |
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...