5433 search results - page 114 / 1087 » Tool Support for Traceability-Adaptation |
137
click to vote
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
128
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
Web macros automate the interactions of end users with web sites and related information systems. Though web macro recorders and players have grown in sophistication over the past...
129
click to vote
CHINZ
2006
ACM
15 years 10 months ago
2006
ACM
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends exis...
131
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
131
click to vote
ITCC
2002
IEEE
15 years 9 months ago
2002
IEEE
Software tools used to administer databases are vendor specific, proprietary, and require extensive prior database knowledge on the part of the database professional. We present d...