Sciweavers

3201 search results - page 213 / 641
» High Quality Hatching
Sort
View
GI
2007
Springer
16 years 8 days ago
Industrial Requirements to Benefit from Test Automation Tools for GUI Testing
: In addition to the growing complexity of software systems, test effort takes increasing amounts of time and correspondingly more money. Testing costs may be reduced without compr...
Christof J. Budnik, Rajesh Subramanyan, Marlon Vie...
OSS
2007
Springer
16 years 7 days ago
Release Management in Free Software Projects: Practices and Problems
Abstract. Release management plays an important role in every software project since it is concerned with the delivery of a high quality product to end-users. This paper explores r...
Martin Michlmayr, Francis Hunt, David Probert
DATE
2006
IEEE
141views Hardware» more  DATE 2006»
16 years 5 days ago
Evaluating coverage of error detection logic for soft errors using formal methods
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
Udo Krautz, Matthias Pflanz, Christian Jacobi 0002...
FDL
2006
IEEE
16 years 5 days ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
ECBS
2005
IEEE
93views Hardware» more  ECBS 2005»
15 years 11 months ago
Embedded System Engineering Using C/C++ Based Design Methodologies
This paper analyzes and compares the effectiveness of various system level design methodologies in assessing performance of embedded computing systems from the earliest stages of ...
Claudio Talarico, Aseem Gupta, Ebenezer Peter, Jer...