42 search results - page 3 / 9 » Empirical Validation of Component-based Software Systems Gen... |
ISSRE
2003
IEEE
13 years 10 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
LCPC
2005
Springer
13 years 10 months ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
ICST
2009
IEEE
13 years 3 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
ISSRE
2000
IEEE
13 years 9 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...