Sciweavers

4079 search results - page 402 / 816
» Differential Testing for Software
Sort
View
243
Voted
SOSP
2009
ACM
16 years 3 months ago
Automatically patching errors in deployed software
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman...
ICFEM
2009
Springer
16 years 21 days ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...
AUIC
2004
IEEE
15 years 10 months ago
What Makes a Good User Interface Pattern Language?
A developer of user interfaces (UI) should be able to employ a user interface pattern language to design acceptable user interfaces. But, what makes a good pattern language? Three...
Elisabeth G. Todd, Elizabeth A. Kemp, Chris Philli...
WSC
2004
15 years 7 months ago
Input Modeling Using Quantile Statistical Methods
This paper applies quantile data analysis to input modeling in simulation. We introduce the use of QIQ plots to identify suitable distributions fitting the data and comparison dis...
Abhishek Gupta, Emanuel Parzen
JSS
2006
97views more  JSS 2006»
15 years 6 months ago
An empirical study into class testability
In this paper we investigate factors of the testability of object-oriented software systems. The starting point is given by a study of the literature to obtain both an initial mod...
Magiel Bruntink, Arie van Deursen