659 search results - page 89 / 132 » Automatic Testing of Object-Oriented Software |
ASSETS
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
BMCBI
2006
13 years 7 months ago
2006
Background: Two-dimensional data colourings are an effective medium by which to represent three-dimensional data in two dimensions. Such "color-grid" representations hav...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
MSR
2011
ACM
12 years 10 months ago
2011
ACM
Studying the evolution of topics (collections of co-occurring words) in a software project is an emerging technique to automatically shed light on how the project is changing over...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...