Sciweavers

3544 search results - page 179 / 709
» Software Testing
Sort
View
147
Voted
ICTAC
2009
Springer
15 years 9 days ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
125
Voted
AGILEDC
2007
IEEE
15 years 9 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...
106
Voted
XPU
2009
Springer
15 years 9 months ago
A Survey on Industrial Software Engineering
In this paper, we present on-going work on data collected by a questionnaire surveying process practices, preferences, and methods in industrial software engineering. Key words: Ag...
Adnan Causevic, Iva Krasteva, Rikard Land, Abdulka...
ICSM
2006
IEEE
15 years 8 months ago
Model-Based Testing of Community-Driven Open-Source GUI Applications
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
Qing Xie, Atif M. Memon
148
Voted
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
15 years 8 months ago
Search Based Automatic Test-Data Generation at an Architectural Level
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
Yuan Zhan, John A. Clark