6197 search results - page 985 / 1240 » Sandbridge Software Tools |
178
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
172
click to vote
AGILEDC
2005
IEEE
16 years 8 days ago
2005
IEEE
Doing agile development in a relatively inelastic environment, where policies and procedures are virtually unchangeable, creates an impedance mismatch between the agile team and i...
303
click to vote
AADEBUG
2005
Springer
16 years 6 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
210
click to vote
AADEBUG
2005
Springer
16 years 6 days ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
166
click to vote
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...