631 search results - page 16 / 127 » Producing reliable software: an experiment |
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
CSMR
2000
IEEE
13 years 12 months ago
2000
IEEE
Better understanding manual reverse engineering can make it and any associated systems reengineering more effective. We reverse engineered a version of a system (referred to as &q...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
SEW
2005
IEEE
14 years 1 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...