Sciweavers

3544 search results - page 161 / 709
» Software Testing
Sort
View
148
Voted
TSE
2011
144views more  TSE 2011»
14 years 9 months ago
Genetic Algorithms for Randomized Unit Testing
—Randomized testing is an effective method for testing software units. Thoroughness of randomized unit testing varies widely according to the settings of certain parameters, such...
James H. Andrews, Tim Menzies, Felix Chun Hang Li
APAQS
2001
IEEE
15 years 6 months ago
End-to-End Integration Testing
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
Raymond A. Paul
163
Voted
ICST
2009
IEEE
15 years 6 days ago
Euclide: A Constraint-Based Testing Framework for Critical C Programs
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
Arnaud Gotlieb
ICSE
2000
IEEE-ACM
15 years 6 months ago
Improvement of a configuration management system
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...
Frank Titze
ISSRE
2005
IEEE
15 years 8 months ago
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
Laya Madani, Catherine Oriat, Ioannis Parissis, Ju...