Sciweavers

443 search results - page 15 / 89
» Testing for Software Vulnerability Using Environment Perturb...
Sort
View
QSIC
2003
IEEE
14 years 28 days ago
Validating Use-Cases with the AsmL Test Tool
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...
XPU
2004
Springer
14 years 1 months ago
Going Interactive: Combining Ad-Hoc and Regression Testing
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
Michael Kölling, Andrew Patterson
IROS
2009
IEEE
230views Robotics» more  IROS 2009»
14 years 2 months ago
Stability and robustness analysis tools for marine robot localization and SLAM applications
— Our aim is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Moti...
Brendan Englot, Franz Hover
VL
2005
IEEE
142views Visual Languages» more  VL 2005»
14 years 1 months ago
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
Cesare Pautasso
ISPW
1994
IEEE
13 years 11 months ago
Data collection in a process-sensitive software engineering environment
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project emp...
P. Giese, Barbara Hoisl, Christopher M. Lott, H. D...