Results 1 - 10 of 1,215

Model checking and abstraction

by Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - ACM Transactions on Programming Languages and Systems , 1994
"... software developers are using the Java language as the language of choice on many applications. This is due to the effective use of the object-oriented (OO) paradigm to develop large software projects and the ability of the Java language to support the increasing use of web technologies in business ..."
Abstract - Cited by 742 (55 self) - Add to MetaCart
software developers are using the Java language as the language of choice on many applications. This is due to the effective use of the object-oriented (OO) paradigm to develop large software projects and the ability of the Java language to support the increasing use of web technologies in business

Finding bugs is easy

by David Hovemeyer, William Pugh - ACM SIGPLAN Notices , 2004
"... Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. While these techniques are valuable, they can be difficult to apply, and they aren’t always effective in finding real bugs. Bu ..."
Abstract - Cited by 351 (8 self) - Add to MetaCart
. Bug patterns are code idioms that are often errors. We have implemented automatic detectors for a variety of bug patterns found in Java programs. In this paper, we describe how we have used bug pattern detectors to find real bugs in several real-world Java applications and libraries. We have found

Toolkit Design for Interactive Structured Graphics

by Benjamin B. Bederson, Jesse Grosjean, Jon Meyer - IEEE Transactions on Software Engineering , 2004
"... In this paper, we analyze toolkit designs for building graphical applications with rich user interfaces, comparing polylithic and monolithic toolkit-based solutions. Polylithic toolkits encourage extension by composition and follow a design philosophy similar to 3D scene graphs supported by toolkits ..."
Abstract - Cited by 215 (9 self) - Add to MetaCart
In this paper, we analyze toolkit designs for building graphical applications with rich user interfaces, comparing polylithic and monolithic toolkit-based solutions. Polylithic toolkits encourage extension by composition and follow a design philosophy similar to 3D scene graphs supported

Towards seamless computing and metacomputing in Java

by Denis Caromel, Wilfried Klauser, Julien Vayssière - CONCURRENCY: PRACT. EXPER.,VOL.10(11–13), 1043–1061 (1998) , 1998
"... Due to its platform-independent execution model, its support for networking, multithreading and mobile code, Java has given hope that easy Internet-wide high-performance network computing was at hand. Numerous attempts have then been made at providing a framework for the development of such metacomp ..."
Abstract - Cited by 136 (18 self) - Add to MetaCart
mechanisms. We also present the metaobject protocol (MOP) Java/ / is built on and describe a distributed collaborative raytracing test application built using Java//.

Chianti: A tool for change impact analysis of java programs

by Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley - Conference on Object-Oriented Programming, Systems, Languages, and Applications , 2004
"... This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analyzes two versions of an application and decomposes their difference into a set of atomic changes. Change impact is then re ..."
Abstract - Cited by 148 (5 self) - Add to MetaCart
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analyzes two versions of an application and decomposes their difference into a set of atomic changes. Change impact

A Symbolic Execution Framework for JavaScript

by Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen Mccamant, Dawn Song - IEEE SYMPOSIUM ON SECURITY AND PRIVACY , 2010
"... As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In this paper, we describe the first system for exploring the execution space of JavaScript code using symbolic execution. To ..."
Abstract - Cited by 133 (12 self) - Add to MetaCart
As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In this paper, we describe the first system for exploring the execution space of JavaScript code using symbolic execution

Evolutionary testing of classes

by Paolo Tonella - In: ISSTA ’04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis , 2004
"... Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and imple-mented with several usage scenarios in mind, some of which possibly open and generic. Correspondingly, the unit test-ing of classes cannot make too strict assumptions on the actual method ..."
Abstract - Cited by 146 (2 self) - Add to MetaCart
invocation sequences, since these vary from application to application. In this paper, a genetic algorithm is exploited to automat-ically produce test cases for the unit testing of classes in a generic usage scenario. Test cases are described by chromo-somes, which include information on which objects

Design Checks for Java Accessibility

by Simon Harper, Ghazalah Khan, Robert Stevens
"... The accessibility of application components is key to enhancing the usability, ergo the user experience, of profoundly blind computer users. However, this accessibility is hampered when platform independent applications are developed because the normal operating system / application interface is abs ..."
Abstract - Add to MetaCart
(JFC) known as ‘Swing’. Based on faults, identified from conducting systematic testing of Swing applications, we have developed a web-based programming manual for writing accessible Java applications and checking their accessibility. Here, we present the major points from this manual as an abridged set

Swing Based Remote GUI Emulation

by Thomas Tilley, Peter Eklund , 2000
"... Window Toolkit (AWT) from IBM's alphaWorks [13] provides similar functionality to the remote GUI framework described in this paper. Based on a client-server model it allows a Java application to display its GUI remotely. Although it can be used without modifying the target code it is restricted ..."
Abstract - Add to MetaCart
Window Toolkit (AWT) from IBM's alphaWorks [13] provides similar functionality to the remote GUI framework described in this paper. Based on a client-server model it allows a Java application to display its GUI remotely. Although it can be used without modifying the target code

Robustness Testing of Java Server Applications

by Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott - IEEE Transactions on Software Engineering , 2004
"... This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web services using compiler-directed fault injection. The analysis allows compiler-generated instrumentation to guide the fault ..."
Abstract - Cited by 27 (1 self) - Add to MetaCart
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web services using compiler-directed fault injection. The analysis allows compiler-generated instrumentation to guide the fault
Results 1 - 10 of 1,215