3792 search results - page 577 / 759 » Techniques for Trusted Software Engineering |
182
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
Test suite augmentation techniques are used in regression testing to help engineers identify code elements affected by changes, and generate test cases to cover those elements. R...
145
click to vote
IJSM
2007
15 years 6 months ago
2007
Computer-Aided Geometric Design modelers are now based on powerful mathematical curve and surface models, but there is still a considerable need for efficient tools to handle, ana...
182
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Continuously running systems require kernel software updates applied to them without downtime. Facilitating fast reboots, or delaying an update may not be a suitable solution in m...
200
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
192
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...