Sciweavers

419 search results - page 59 / 84
» An Automated Approach for Identifying Potential Vulnerabilit...
Sort
View
KBSE
2003
IEEE
14 years 24 days ago
On the automatic evolution of an OS kernel using temporal logic and AOP
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
Rickard A. Åberg, Julia L. Lawall, Mario S&u...
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
14 years 14 days ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
ISSRE
2002
IEEE
14 years 13 days ago
Test Reuse in the Spreadsheet Paradigm
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
Marc Fisher II, Dalai Jin, Gregg Rothermel, Margar...
FASE
2005
Springer
14 years 1 months ago
Improving System Understanding via Interactive, Tailorable, Source Code Analysis
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
Vladimir Jakobac, Alexander Egyed, Nenad Medvidovi...
AMET
1998
Springer
13 years 11 months ago
Agent-Mediated Integrative Negotiation for Retail Electronic Commerce
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. Although shopping agents provide convenience for consume...
Robert H. Guttman, Pattie Maes