Sciweavers

3527 search results - page 3 / 706
» Test Automation in Practice
Sort
View
CORR
2008
Springer
179views Education» more  CORR 2008»
13 years 10 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
ACSAC
2001
IEEE
14 years 2 months ago
Practical Automated Filter Generation to Explicitly Enforce Implicit Input Assumptions
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
Valentin Razmov, Daniel R. Simon
AGILEDC
2008
IEEE
14 years 23 days ago
Automated Acceptance Testing: A Literature Review and an Industrial Case Study
Automated acceptance testing is a quite recent addition to testing in agile software development holding great promise of improving communication and collaboration. This paper sum...
Børge Haugset, Geir Kjetil Hanssen
IICAI
2007
14 years 5 days ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
AGILEDC
2007
IEEE
14 years 5 months ago
On the Sustained Use of a Test-Driven Development Practice at IBM
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...
Julio Cesar Sanchez, Laurie A. Williams, E. Michae...