Sciweavers

659 search results - page 16 / 132
» Automatic Testing of Object-Oriented Software
Sort
View
IUI
2000
ACM
13 years 12 months ago
Requirements elicitation for an intelligent software test environment for the physically challenged
This paper is about the elicitation of the requirements for an intelligent interface for a software test development environment that will accommodate the physically challenged (P...
Warren Moseley
PLDI
2012
ACM
11 years 10 months ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
ECOOPW
2006
Springer
13 years 11 months ago
Program Analysis for Security and Privacy
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
Marco Pistoia, Francesco Logozzo
CSMR
2008
IEEE
14 years 2 months ago
Automatic Support for the Migration Towards Aspects
Aspect Oriented Programming (AOP) has been proposed as a new programming paradigm. The originality in AOP is the aspect, a single modularization unit for all those functionalities...
Mariano Ceccato
JUCS
2007
80views more  JUCS 2007»
13 years 7 months ago
Higher-Order Lazy Functional Slicing
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
Nuno F. Rodrigues, Luís Soares Barbosa