4895 search results - page 381 / 979 » Tools for Grammar Engineering |
224
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
191
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
207
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...
180
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
217
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...