4719 search results - page 417 / 944 » Newtonian program analysis |
168
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
and scenario evolution, in which concepts in the abstraction domain and scenarios in the detail domain iteratively evolve. This framework provides another facet of scenario-based r...
210
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
185
click to vote
WCET
2007
15 years 8 months ago
2007
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bou...
207
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
200
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...