414 search results - page 41 / 83 » Using Strongest Postconditions to Improve Software Quality |
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
CSMR
2010
IEEE
13 years 3 months ago
2010
IEEE
Rapidly changing technology is one of the key triggers of system evolution. Some examples are: physically relocating a data center; replacement of infrastructure such as migrating ...
AOSD
2007
ACM
14 years 21 days ago
2007
ACM
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
CGO
2009
IEEE
14 years 3 months ago
2009
IEEE
—Register allocation is an important component of every compiler and numerous studies have investigated ways to improve allocation quality or reduce allocation time. However, tec...
SCAM
2007
IEEE
14 years 3 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...