5159 search results - page 32 / 1032 » Structural Testing of Executables |
ICSM
2007
IEEE
14 years 5 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
AIPS
1994
14 years 9 days ago
1994
Protection monitors synthesized from plan causal structure provide execution systems with information necessary to detect potential failures early during execution. By detecting e...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
XPU
2005
Springer
14 years 4 months ago
2005
Springer
Executable acceptance testing allows both to specify customers’ expectations in the form of the tests and to compare those to actual results that the software produces. The resul...
CC
2005
Springer
14 years 4 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...