Sciweavers

3330 search results - page 297 / 666
» software 2010
Sort
View
158
Voted
ISSTA
2010
ACM
15 years 5 months ago
OCAT: object capture-based automated testing
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang
SIGSOFT
2010
ACM
15 years 1 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
SIGSOFT
2010
ACM
15 years 1 months ago
Locating need-to-translate constant strings in web applications
Software internationalization aims to make software accessible and usable by users all over the world. For a Java application that does not consider internationalization at the be...
Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu S...
ICAART
2010
INSTICC
16 years 29 days ago
A Pattern Approach to Modeling the Provider Selection Problem
This article introduces the notion of agreement patterns, which provide a framework for modelling reusable problem solution descriptions for agreement fulfilment. In particular, t...
José Javier Durán, Carlos Angel Igle...
CACM
2010
105views more  CACM 2010»
15 years 4 months ago
Automatic program repair with evolutionary computation
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
Westley Weimer, Stephanie Forrest, Claire Le Goues...