16725 search results - page 2938 / 3345 » Engineering Software Correctness |
157
click to vote
ICSM
2009
IEEE
16 years 24 days ago
2009
IEEE
Modeling the navigation structure of a dynamic web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt wi...
168
click to vote
ICST
2009
IEEE
16 years 24 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
150
click to vote
ICST
2009
IEEE
16 years 24 days ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
162
click to vote
ICFEM
2009
Springer
16 years 22 days ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
163
click to vote
PPDP
2009
Springer
16 years 21 days ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...