3792 search results - page 550 / 759 » Techniques for Trusted Software Engineering |
148
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
187
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
181
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
206
click to vote
ICESS
2007
Springer
16 years 23 days ago
2007
Springer
Recently, NAND flash memory has been used for a storage device in various mobile computing devices such as MP3 players, mobile phones and laptops because of its shock-resistant, lo...
186
click to vote
ICSE
2007
IEEE-ACM
16 years 23 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...