1088 search results - page 34 / 218 » Tools for support of automata-based programming |
163
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
CADE
2010
Springer
14 years 10 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
ISCA
2008
IEEE
15 years 4 months ago
2008
IEEE
Instruction-grain program monitoring tools, which check and analyze executing programs at the granularity of individual instructions, are invaluable for quickly detecting bugs and...
JSS
2010
14 years 8 months ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
128
click to vote
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...