2902 search results - page 410 / 581 » Software Product Lines |
195
click to vote
ECLIPSE
2005
ACM
15 years 9 months ago
2005
ACM
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...
185
click to vote
SMR
1998
15 years 6 months ago
1998
So-called little, or domain-specific languages (DSLs), have the potential to make software maintenance simpler: domain-experts can directly use the DSL to make required routine m...
210
Voted
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
326
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
179
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...