932 search results - page 139 / 187 » Software Reliability Engineering: A Roadmap |
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
106
click to vote
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
Since flash memory has many attractive characteristics such as high performance, non-volatility, low power consumption and shock resistance, it has been widely used as storage med...