Sciweavers

2527 search results - page 260 / 506
» A UML-Based Approach to System Testing
Sort
View
ICDE
2000
IEEE
189views Database» more  ICDE 2000»
16 years 5 months ago
Image Database Retrieval with Multiple-Instance Learning Techniques
In this paper, we develop and test an approach to retrieving images from an image database based on content similarity. First, each picture is divided into many overlapping region...
Cheng Yang, Tomás Lozano-Pérez
ICSE
2005
IEEE-ACM
16 years 4 months ago
Helping users avoid bugs in GUI applications
In this paper, we propose a method to help users avoid bugs in GUI applications. In particular, users would use the application normally and report bugs that they encounter to pre...
Amir Michail, Tao Xie
AINA
2009
IEEE
15 years 11 months ago
Quantifying Artifacts of Virtualization: A Framework for Mirco-Benchmarks
One of the novel benefits of virtualization is the ability to emulate many hosts with a single physical machine. This approach is often used to support at-scale testing for large...
Chris Matthews, Yvonne Coady, Stephen Neville
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
15 years 10 months ago
Software-friendly HW/SW co-simulation: an industrial case study
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
Juanjo Noguera, Luis Baldez, Narcis Simon, Lluis A...
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 9 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...