1782 search results - page 201 / 357 » Tool Support for Proof Engineering |
156
click to vote
ICSE
1987
IEEE-ACM
15 years 10 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
221
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
184
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
164
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
168
click to vote
TAICPART
2006
IEEE
16 years 14 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...