3792 search results - page 276 / 759 » Techniques for Trusted Software Engineering |
158
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces an approach to web application regression testing, based upon repair of user session data. The approach is entirely automated. It consists of a white box exa...
154
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...
161
click to vote
SEFM
2007
IEEE
16 years 27 days ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
184
click to vote
ICESS
2007
Springer
16 years 23 days ago
2007
Springer
Compact code generation is very important for an embedded system that has to be implemented on a chip with a severely limited amount of size. Even though on-chip data memory optimi...
143
click to vote
AGILEDC
2006
IEEE
16 years 21 days ago
2006
IEEE
Using an experimental method, we found that customers, partnered with an IT professional, are able to use executable acceptance test (storytest)-based specifications to communicat...